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
gildas: add alternative url for the source code #46145
Conversation
For each new release, the upstream developers of Gildas move the source code of the previous release to a different directory. Add this directory to the list of url to avoid build failure at each new release.
@GrahamcOfBorg build gildas |
Success on x86_64-darwin (full log) Attempted: gildas Partial log (click to expand)
|
Success on x86_64-linux (full log) Attempted: gildas Partial log (click to expand)
|
Success on aarch64-linux (full log) Attempted: gildas Partial log (click to expand)
|
[detached HEAD 0ba0f15] gildas: add alternative url for the source code (#46145) |
For each new release, the upstream developers of Gildas move the source code of the previous release to a different directory. Add this directory to the list of url to avoid build failure at each new release. (cherry picked from commit 5b58c6a)
Thanks @Mic92 |
Motivation for this change
For each new release, the upstream developers of Gildas move the source code of the previous release to a different directory. Add this directory to the list of url to avoid build failure at each new
release.
Please cherry-pick to 18.09 when merging.
/cc #45960
Things done
sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)nix path-info -S
before and after)