boolector: fix missing stdint.h include

2017-10-17 23:39:19 -05:00 · 2017-10-17 23:39:19 -05:00 · 9138d055bf
commit 9138d055bf
parent 81eef05f86
1 changed files with 4 additions and 0 deletions
--- a/pkgs/applications/science/logic/boolector/default.nix
+++ b/pkgs/applications/science/logic/boolector/default.nix
@ -8,6 +8,10 @@ stdenv.mkDerivation rec {
    sha256 = "0mdf7hwix237pvknvrpazcx6s3ininj5k7vhysqjqgxa7lxgq045";
  };

+  prePatch = ''
+    sed -i -e 's@mv lingeling\* lingeling@\0 \&\& sed -i -e "1i#include <stdint.h>" lingeling/lglib.h@' makefile
+  '';
+
  installPhase = ''
    mkdir $out
    mv boolector/bin $out