minisat: fix build with gcc9

2019-11-04 23:07:58 +01:00
parent 0b6bb60f62
commit 6c3f824540
1 changed files with 2 additions and 0 deletions
@@ -13,6 +13,8 @@ stdenv.mkDerivation rec {
    [ ./darwin.patch ]
    ++ stdenv.lib.optionals stdenv.cc.isClang [ ./clang.diff ];

+  NIX_CFLAGS_COMPILE = "-fpermissive";
+
  buildInputs = [ zlib ];

  preBuild = "cd simp";