picosat: fixup include for unistd.h

2018-02-13 09:44:32 -06:00
parent 46cbded0de
commit 36b2706916
1 changed files with 4 additions and 0 deletions
@@ -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 = ''