Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow use of a url and subdir in [sources] #4039

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

tecosaur
Copy link
Contributor

@tecosaur tecosaur commented Oct 7, 2024

Monorepos exist, so we shouldn't complain when somebody tries to combine the url and subdir parameters.

I think this is all that's needed to close #4026. These additions are just from looking through #3783 for suspicious omissions.

Monorepos exist, so we shouldn't complain when somebody tries to combine
the url and subdir parameters.
@KristofferC
Copy link
Member

This might be all that is needed but would be good with a test to confirm.

@tecosaur
Copy link
Contributor Author

tecosaur commented Oct 7, 2024

I notice in the tests in test/sources.jl https://github.com/JuliaLang/Example.jl is used, and that actually exists. Is https://github.com/JuliaLang/ExampleMonorepo.jl needed or similar?

@fatteneder
Copy link
Member

duplicate of #3826?

@tecosaur
Copy link
Contributor Author

Huh, looks a bit like it. I assumed no fix was around from the state of #4026.

@IanButterworth IanButterworth mentioned this pull request Oct 20, 2024
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

sources section of Project.toml does not support subdir
3 participants