From 70ecb51beb9b0de2eb29abe469fe4c0567d02f60 Mon Sep 17 00:00:00 2001 From: Nathan van Doorn Date: Thu, 20 Sep 2018 11:45:16 +0100 Subject: [PATCH] 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. (cherry picked from commit c8598daad4dee3d15e312608b56ce50532830c90) Signed-off-by: Austin Seipp --- pkgs/development/haskell-modules/configuration-nix.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index d363d2e87b69..3d46dec1e17a 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -510,4 +510,10 @@ self: super: builtins.intersectAttrs super { LDAP = dontCheck (overrideCabal super.LDAP (drv: { librarySystemDepends = drv.librarySystemDepends or [] ++ [ pkgs.cyrus_sasl.dev ]; })); + + # 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''; + }); }