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
tamarin-prover: fix ghc 8.4 build #46597
Conversation
See https://hydra.nixos.org/build/81125645 `tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and uses stack lts-12.1 now), but it's not released yet: tamarin-prover/tamarin-prover@a08f6e4 The build is divided in several derivations, therefore the patch had to be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to ensure that the patch applies properly during the `patchPhase'. Addresses NixOS#45960
No attempt on aarch64-linux (full log) The following builds were skipped because they don't evaluate on aarch64-linux: tamarin-prover Partial log (click to expand)
|
Success on x86_64-linux (full log) Attempted: tamarin-prover Partial log (click to expand)
|
Let's check darwin just to make sure |
Success on x86_64-linux (full log) Attempted: tamarin-prover Partial log (click to expand)
|
No attempt on aarch64-linux (full log) The following builds were skipped because they don't evaluate on aarch64-linux: tamarin-prover Partial log (click to expand)
|
Success on x86_64-darwin (full log) Attempted: tamarin-prover Partial log (click to expand)
|
See https://hydra.nixos.org/build/81125645 `tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and uses stack lts-12.1 now), but it's not released yet: tamarin-prover/tamarin-prover@a08f6e4 The build is divided in several derivations, therefore the patch had to be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to ensure that the patch applies properly during the `patchPhase'. Addresses #45960 (cherry picked from commit 2cfc0bb)
backported: 3625ce7 |
Motivation for this change
See https://hydra.nixos.org/build/81125645
`tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and
uses stack lts-12.1 now), but it's not released yet:
tamarin-prover/tamarin-prover@a08f6e4
The build is divided in several derivations, therefore the patch had to
be splitted and rebased for
lib/term',
lib/theory' andlib/utils' to ensure that the patch applies properly during the
patchPhase'.Addresses #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)