public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

mps: 1.116.0 -> 1.117.0

Browse Source
This commit is contained in:
Herwig Hochleitner 2018-10-24 22:18:27 +02:00
parent 28ba2d3379
commit 5d4f0de689
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/libraries/mps/default.nix
View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "mps-${version}"; name = "mps-${version}";
version = "1.116.0"; version = "1.117.0";
src = fetchurl { src = fetchurl {
url = "https://www.ravenbrook.com/project/mps/release/${version}/mps-kit-${version}.tar.gz"; url = "https://www.ravenbrook.com/project/mps/release/${version}/mps-kit-${version}.tar.gz";
sha256 = "1k7vnanpgawnj84x2xs6md57pfib9p7c3acngqzkl3c2aqw8qay0"; sha256 = "04ix4l7lk6nxxk9sawpnxbybvqb82lks5606ym10bc1qbc2kqdcz";
}; };
nativeBuildInputs = [ autoreconfHook ]; nativeBuildInputs = [ autoreconfHook ];
@ -15,6 +15,7 @@ stdenv.mkDerivation rec {
# needed for 1.116.0 to build with gcc7 # needed for 1.116.0 to build with gcc7
NIX_CFLAGS_COMPILE = [ NIX_CFLAGS_COMPILE = [
"-Wno-implicit-fallthrough" "-Wno-implicit-fallthrough"
"-Wno-error=clobbered"
]; ];