diff options
author | Will Dietz <w@wdtz.org> | 2017-10-17 20:41:37 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-02-13 09:44:32 -0600 |
commit | 36b27069167a9f64cae4162145bf7f1462a53a7b (patch) | |
tree | 2810b52922f3fb3cfdc7eaa556f9c49283534d84 /pkgs/applications/science/logic/picosat | |
parent | 46cbded0def3ad36b567bf2b81771196a9173dbc (diff) | |
download | nixpkgs-36b27069167a9f64cae4162145bf7f1462a53a7b.tar nixpkgs-36b27069167a9f64cae4162145bf7f1462a53a7b.tar.gz nixpkgs-36b27069167a9f64cae4162145bf7f1462a53a7b.tar.bz2 nixpkgs-36b27069167a9f64cae4162145bf7f1462a53a7b.tar.lz nixpkgs-36b27069167a9f64cae4162145bf7f1462a53a7b.tar.xz nixpkgs-36b27069167a9f64cae4162145bf7f1462a53a7b.tar.zst nixpkgs-36b27069167a9f64cae4162145bf7f1462a53a7b.zip |
picosat: fixup include for unistd.h
Diffstat (limited to 'pkgs/applications/science/logic/picosat')
-rw-r--r-- | pkgs/applications/science/logic/picosat/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/picosat/default.nix b/pkgs/applications/science/logic/picosat/default.nix index e026cfad218..cd672ed00e7 100644 --- a/pkgs/applications/science/logic/picosat/default.nix +++ b/pkgs/applications/science/logic/picosat/default.nix @@ -9,6 +9,10 @@ stdenv.mkDerivation rec { sha256 = "0m578rpa5rdn08d10kr4lbsdwp4402hpavrz6n7n53xs517rn5hm"; }; + prePatch = '' + substituteInPlace picosat.c --replace "sys/unistd.h" "unistd.h" + ''; + configurePhase = "./configure.sh --shared --trace"; installPhase = '' |