diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2018-03-19 23:55:59 +0100 |
---|---|---|
committer | Daiderd Jordan <daiderd@gmail.com> | 2018-03-20 00:00:42 +0100 |
commit | 031492cbfe2f2768c9b271c194c74e3f75e7316c (patch) | |
tree | 96823bb34c7dbc0a682478431bc212c9d6eacb20 /pkgs/development/web/kore | |
parent | 5873a3418b0fdd0df60931403023fd2b9f73e461 (diff) | |
download | nixlib-031492cbfe2f2768c9b271c194c74e3f75e7316c.tar nixlib-031492cbfe2f2768c9b271c194c74e3f75e7316c.tar.gz nixlib-031492cbfe2f2768c9b271c194c74e3f75e7316c.tar.bz2 nixlib-031492cbfe2f2768c9b271c194c74e3f75e7316c.tar.lz nixlib-031492cbfe2f2768c9b271c194c74e3f75e7316c.tar.xz nixlib-031492cbfe2f2768c9b271c194c74e3f75e7316c.tar.zst nixlib-031492cbfe2f2768c9b271c194c74e3f75e7316c.zip |
kore: fix clang build
/cc ZHF #36454
Diffstat (limited to 'pkgs/development/web/kore')
-rw-r--r-- | pkgs/development/web/kore/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/web/kore/default.nix b/pkgs/development/web/kore/default.nix index 3da932b6b179..b0dc2ba041af 100644 --- a/pkgs/development/web/kore/default.nix +++ b/pkgs/development/web/kore/default.nix @@ -20,8 +20,9 @@ stdenv.mkDerivation rec { makeFlags = [ "PREFIX=$(out)" ]; - # added to fix build w/gcc7 - NIX_CFLAGS_COMPILE = stdenv.lib.optionals stdenv.isLinux [ "-Wno-error=pointer-compare" ]; + # added to fix build w/gcc7 and clang5 + NIX_CFLAGS_COMPILE = stdenv.lib.optionalString stdenv.cc.isGNU "-Wno-error=pointer-compare" + + stdenv.lib.optionalString stdenv.cc.isClang " -Wno-error=unknown-warning-option"; enableParallelBuilding = true; |