From 41cdea68dae91aeba626a532a3ebd9d3ba91d861 Mon Sep 17 00:00:00 2001
From: xeji <xeji@cat3.de>
Date: Sat, 10 Mar 2018 18:02:05 +0100
Subject: [PATCH] kore: fix build with gcc7

---
 pkgs/development/web/kore/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/web/kore/default.nix b/pkgs/development/web/kore/default.nix
index eac2046a233d..9049376a1f65 100644
--- a/pkgs/development/web/kore/default.nix
+++ b/pkgs/development/web/kore/default.nix
@@ -20,6 +20,9 @@ stdenv.mkDerivation rec {
 
   makeFlags = [ "PREFIX=$(out)" ];
 
+  # added to fix build w/gcc7
+  NIX_CFLAGS_COMPILE = [ "-Wno-error=pointer-compare" ];
+
   enableParallelBuilding = true;
 
   meta = with stdenv.lib; {