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

Store url in SetupSource #322

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

Store url in SetupSource #322

wants to merge 1 commit into from

Conversation

Keno
Copy link
Contributor

@Keno Keno commented Sep 20, 2023

Otherwise the wizard needs to keep a separate 1-1 mapping of the urls, which is somewhat silly.

Keno added a commit to JuliaPackaging/BinaryBuilder.jl that referenced this pull request Sep 20, 2023
Goes with JuliaPackaging/BinaryBuilderBase.jl#322.
Part of the problem with the current setup is that the WizardState doesn't
actually round trip properly, because the cache for archive downloads gets
deleted. It could be reconstituted from source_urls of course, but it would
be cleaner to just do that on-demand with the SetupSource (though this
commit doesn't do that yet).
Copy link
Member

@giordano giordano left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It'd be good to bump the minor version of this package so that we can require that in JuliaPackaging/BinaryBuilder.jl#1293

Keno added a commit to JuliaPackaging/BinaryBuilder.jl that referenced this pull request Sep 20, 2023
Goes with JuliaPackaging/BinaryBuilderBase.jl#322.
Part of the problem with the current setup is that the WizardState doesn't
actually round trip properly, because the cache for archive downloads gets
deleted. It could be reconstituted from source_urls of course, but it would
be cleaner to just do that on-demand with the SetupSource (though this
commit doesn't do that yet).
Otherwise the wizard needs to keep a separate 1-1 mapping of the urls,
which is somewhat silly.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants