Merge #36645: mps: fix build with gcc7

This commit is contained in:
Vladimír Čunát 2018-03-09 20:37:33 +01:00
commit 897cecfb13
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

@ -12,6 +12,12 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ autoreconfHook ];
buildInputs = [ sqlite ];
# needed for 1.116.0 to build with gcc7
NIX_CFLAGS_COMPILE = [
"-Wno-implicit-fallthrough"
];
meta = {
description = "A flexible memory management and garbage collection library";
homepage = "https://www.ravenbrook.com/project/mps";