about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
diff options
context:
space:
mode:
authorFranz Pletz <fpletz@fnordicwalking.de>2019-11-05 02:01:18 +0100
committerFranz Pletz <fpletz@fnordicwalking.de>2019-11-05 02:01:18 +0100
commit18ab125e83b690cd154b3255d7ee5b9494e8f771 (patch)
treeb14fc78f55b6070ab96ecda58cc33e3cc709c2f5 /pkgs/applications/science/logic
parentd98aee819fd2a7593f26ec7a65deff379c0f4554 (diff)
downloadnixlib-18ab125e83b690cd154b3255d7ee5b9494e8f771.tar
nixlib-18ab125e83b690cd154b3255d7ee5b9494e8f771.tar.gz
nixlib-18ab125e83b690cd154b3255d7ee5b9494e8f771.tar.bz2
nixlib-18ab125e83b690cd154b3255d7ee5b9494e8f771.tar.lz
nixlib-18ab125e83b690cd154b3255d7ee5b9494e8f771.tar.xz
nixlib-18ab125e83b690cd154b3255d7ee5b9494e8f771.tar.zst
nixlib-18ab125e83b690cd154b3255d7ee5b9494e8f771.zip
minisatUnstable: fix build with gcc9
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r--pkgs/applications/science/logic/minisat/unstable.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/minisat/unstable.nix b/pkgs/applications/science/logic/minisat/unstable.nix
index ef46c694acb7..99df32c93639 100644
--- a/pkgs/applications/science/logic/minisat/unstable.nix
+++ b/pkgs/applications/science/logic/minisat/unstable.nix
@@ -10,6 +10,8 @@ stdenv.mkDerivation {
     sha256 = "091hf3qkm197s5r7xcr3m07xsdwyz2rqk1hc9kj0hn13imz09irq";
   };
 
+  NIX_CFLAGS_COMPILE = "-fpermissive";
+
   buildInputs = [ zlib ];
   nativeBuildInputs =  [ cmake ];