1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 15:41:40 +00:00
nixpkgs/pkgs/development/libraries/mps/default.nix
2019-01-10 18:25:41 +01:00

30 lines
836 B
Nix

{ stdenv, fetchurl, autoreconfHook, sqlite }:
stdenv.mkDerivation rec {
name = "mps-${version}";
version = "1.117.0";
src = fetchurl {
url = "https://www.ravenbrook.com/project/mps/release/${version}/mps-kit-${version}.tar.gz";
sha256 = "04ix4l7lk6nxxk9sawpnxbybvqb82lks5606ym10bc1qbc2kqdcz";
};
nativeBuildInputs = [ autoreconfHook ];
buildInputs = [ sqlite ];
# needed for 1.116.0 to build with gcc7
NIX_CFLAGS_COMPILE = [
"-Wno-implicit-fallthrough"
"-Wno-error=clobbered"
];
meta = {
description = "A flexible memory management and garbage collection library";
homepage = "https://www.ravenbrook.com/project/mps";
license = stdenv.lib.licenses.sleepycat;
platforms = stdenv.lib.platforms.linux;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
};
}