From 18ab125e83b690cd154b3255d7ee5b9494e8f771 Mon Sep 17 00:00:00 2001
From: Franz Pletz <fpletz@fnordicwalking.de>
Date: Tue, 5 Nov 2019 02:01:18 +0100
Subject: [PATCH] minisatUnstable: fix build with gcc9

---
 pkgs/applications/science/logic/minisat/unstable.nix | 2 ++
 1 file changed, 2 insertions(+)

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 ];