diff options
author | Franz Pletz <fpletz@fnordicwalking.de> | 2019-11-04 23:07:58 +0100 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2019-11-04 23:07:58 +0100 |
commit | 6c3f824540ce27903617be3c81dea8d4b2df5b3e (patch) | |
tree | 87e3f3f0c4e88597f9cdef2d2baf38024d7c7bc0 /pkgs/applications/science/logic | |
parent | 0b6bb60f62a4f103d07faea7d83ea293730db195 (diff) | |
download | nixlib-6c3f824540ce27903617be3c81dea8d4b2df5b3e.tar nixlib-6c3f824540ce27903617be3c81dea8d4b2df5b3e.tar.gz nixlib-6c3f824540ce27903617be3c81dea8d4b2df5b3e.tar.bz2 nixlib-6c3f824540ce27903617be3c81dea8d4b2df5b3e.tar.lz nixlib-6c3f824540ce27903617be3c81dea8d4b2df5b3e.tar.xz nixlib-6c3f824540ce27903617be3c81dea8d4b2df5b3e.tar.zst nixlib-6c3f824540ce27903617be3c81dea8d4b2df5b3e.zip |
minisat: fix build with gcc9
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/minisat/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/minisat/default.nix b/pkgs/applications/science/logic/minisat/default.nix index 34051a1da404..0c4a8a156ed4 100644 --- a/pkgs/applications/science/logic/minisat/default.nix +++ b/pkgs/applications/science/logic/minisat/default.nix @@ -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"; |