mps: 1.114.0 -> 1.115.0, fix build

See https://hydra.nixos.org/build/37204553/log/raw
This commit is contained in:
Joachim Fasting 2016-07-06 12:23:02 +02:00
parent 5aa2023d37
commit 09e1b26c79
No known key found for this signature in database
GPG Key ID: 4330820E1E04DCF4

View File

@ -2,18 +2,15 @@
stdenv.mkDerivation rec {
name = "mps-${version}";
version = "1.114.0";
version = "1.115.0";
src = fetchurl {
url = "http://www.ravenbrook.com/project/mps/release/${version}/mps-kit-${version}.tar.gz";
sha256 = "1gb0rdd42ib0fai2jwm2gyii8pk59i1rhblnpdzbdj8cj5g0b30h";
sha256 = "156xdl16r44nn8svnrgfaklwrgpc3y0rxzqyp0jbdp55c6rlfl6l";
};
buildInputs = [ autoreconfHook sqlite ];
# Fix a slightly annoying build failure in 'make install'
patchPhase = "substituteInPlace ./Makefile.in --replace /hot/Release /hot";
meta = {
description = "A flexible memory management and garbage collection library";
homepage = "http://www.ravenbrook.com/project/mps";