mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 23:20:55 +00:00
Code Issues Wiki Activity

Merge pull request #46956 from Taneb/sbv-fix-z3

Browse source 
haskellPackages.sbv: fix location of z3 executable
This commit is contained in:
Bas van Dijk 2018-09-20 14:03:36 +02:00 committed by GitHub
parent 05659962cd c8598daad4
commit b2042983ef
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/haskell-modules/configuration-nix.nix
View file

@ -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'';
});
}