From 6c3f824540ce27903617be3c81dea8d4b2df5b3e Mon Sep 17 00:00:00 2001
From: Franz Pletz <fpletz@fnordicwalking.de>
Date: Mon, 4 Nov 2019 23:07:58 +0100
Subject: [PATCH] minisat: fix build with gcc9

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

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