diff options
author | Bas van Dijk <v.dijk.bas@gmail.com> | 2018-09-20 14:03:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-20 14:03:36 +0200 |
commit | b2042983ef013465473d30c50697fe628fd80283 (patch) | |
tree | b50a299c6cfdbf22d6f75876f620e205316dd06f | |
parent | 05659962cd8c04a9e8bf05b298b735f5747bf12c (diff) | |
parent | c8598daad4dee3d15e312608b56ce50532830c90 (diff) | |
download | nixlib-b2042983ef013465473d30c50697fe628fd80283.tar nixlib-b2042983ef013465473d30c50697fe628fd80283.tar.gz nixlib-b2042983ef013465473d30c50697fe628fd80283.tar.bz2 nixlib-b2042983ef013465473d30c50697fe628fd80283.tar.lz nixlib-b2042983ef013465473d30c50697fe628fd80283.tar.xz nixlib-b2042983ef013465473d30c50697fe628fd80283.tar.zst nixlib-b2042983ef013465473d30c50697fe628fd80283.zip |
Merge pull request #46956 from Taneb/sbv-fix-z3
haskellPackages.sbv: fix location of z3 executable
-rw-r--r-- | pkgs/development/haskell-modules/configuration-nix.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index d016bd6ce8d6..a516b7645104 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -511,4 +511,10 @@ self: super: builtins.intersectAttrs super { # Doctests hang only when compiling with nix. # https://github.com/cdepillabout/termonad/issues/15 termonad = dontCheck super.termonad; + + # Expects z3 to be on path so we replace it with a hard + sbv = overrideCabal super.sbv (drv: { + postPatch = '' + sed -i -e 's|"z3"|"${pkgs.z3}/bin/z3"|' Data/SBV/Provers/Z3.hs''; + }); } |