diff options
author | maralorn <malte.brandy@maralorn.de> | 2021-12-15 18:12:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-15 18:12:12 +0100 |
commit | 52e7900640b28d13fb8996a38ffa368ea089d1eb (patch) | |
tree | 99ce16895d48e25bd4ea2453a1376510db29ef4c | |
parent | 3253c2c9636d4213df47e94fd19b259fba43f323 (diff) | |
parent | cd600120e3ddcd45435d620b2075025d88824607 (diff) | |
download | nixpkgs-52e7900640b28d13fb8996a38ffa368ea089d1eb.tar nixpkgs-52e7900640b28d13fb8996a38ffa368ea089d1eb.tar.gz nixpkgs-52e7900640b28d13fb8996a38ffa368ea089d1eb.tar.bz2 nixpkgs-52e7900640b28d13fb8996a38ffa368ea089d1eb.tar.lz nixpkgs-52e7900640b28d13fb8996a38ffa368ea089d1eb.tar.xz nixpkgs-52e7900640b28d13fb8996a38ffa368ea089d1eb.tar.zst nixpkgs-52e7900640b28d13fb8996a38ffa368ea089d1eb.zip |
Merge pull request #150855 from arcz/sbv-aarch64
haskellPackages.sbv: fix build on aarch64
-rw-r--r-- | pkgs/development/haskell-modules/configuration-nix.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index df3c42b5de3..19ceea97874 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -502,12 +502,15 @@ self: super: builtins.intersectAttrs super { postPatch = '' sed -i -e 's|"abc"|"${pkgs.abc-verifier}/bin/abc"|' Data/SBV/Provers/ABC.hs sed -i -e 's|"boolector"|"${pkgs.boolector}/bin/boolector"|' Data/SBV/Provers/Boolector.hs - sed -i -e 's|"cvc4"|"${pkgs.cvc4}/bin/cvc4"|' Data/SBV/Provers/CVC4.hs sed -i -e 's|"yices-smt2"|"${pkgs.yices}/bin/yices-smt2"|' Data/SBV/Provers/Yices.hs sed -i -e 's|"z3"|"${pkgs.z3}/bin/z3"|' Data/SBV/Provers/Z3.hs - + '' + (if pkgs.stdenv.isAarch64 then '' + sed -i -e 's|\[abc, boolector, cvc4, mathSAT, yices, z3, dReal\]|[abc, boolector, yices, z3]|' SBVTestSuite/SBVConnectionTest.hs + '' + else '' + sed -i -e 's|"cvc4"|"${pkgs.cvc4}/bin/cvc4"|' Data/SBV/Provers/CVC4.hs sed -i -e 's|\[abc, boolector, cvc4, mathSAT, yices, z3, dReal\]|[abc, boolector, cvc4, yices, z3]|' SBVTestSuite/SBVConnectionTest.hs - ''; + ''); }) super.sbv; # The test-suite requires a running PostgreSQL server. |