diff options
author | Nathan van Doorn <nathan@myrtlesoftware.com> | 2018-09-20 11:45:16 +0100 |
---|---|---|
committer | Nathan van Doorn <nathan@myrtlesoftware.com> | 2018-09-20 11:45:16 +0100 |
commit | c8598daad4dee3d15e312608b56ce50532830c90 (patch) | |
tree | ac37daf14f2c2b5026c688bfcae9e6d1080ed05e /pkgs/development/haskell-modules | |
parent | 0e1f3ef01afcbb4cf66ebb766bd096033eacc633 (diff) | |
download | nixpkgs-c8598daad4dee3d15e312608b56ce50532830c90.tar nixpkgs-c8598daad4dee3d15e312608b56ce50532830c90.tar.gz nixpkgs-c8598daad4dee3d15e312608b56ce50532830c90.tar.bz2 nixpkgs-c8598daad4dee3d15e312608b56ce50532830c90.tar.lz nixpkgs-c8598daad4dee3d15e312608b56ce50532830c90.tar.xz nixpkgs-c8598daad4dee3d15e312608b56ce50532830c90.tar.zst nixpkgs-c8598daad4dee3d15e312608b56ce50532830c90.zip |
haskellPackages.sbv: fix location of z3 executable
A lot of the functionality of the z3 library depends on it being able to find the z3 executable on $PATH. Hard-coding it here means it will never be unable to find it and z3 doesn't need to pollute $PATH.
Diffstat (limited to 'pkgs/development/haskell-modules')
-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 d016bd6ce8d..a516b764510 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''; + }); } |