tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ stdenv, fetchurl, autoreconfHook, sqlite }:
2
3stdenv.mkDerivation rec {
4 name = "mps-${version}";
5 version = "1.117.0";
6
7 src = fetchurl {
8 url = "https://www.ravenbrook.com/project/mps/release/${version}/mps-kit-${version}.tar.gz";
9 sha256 = "04ix4l7lk6nxxk9sawpnxbybvqb82lks5606ym10bc1qbc2kqdcz";
10 };
11
12 nativeBuildInputs = [ autoreconfHook ];
13 buildInputs = [ sqlite ];
14
15 # needed for 1.116.0 to build with gcc7
16 NIX_CFLAGS_COMPILE = [
17 "-Wno-implicit-fallthrough"
18 "-Wno-error=clobbered"
19 ];
20
21
22 meta = {
23 description = "A flexible memory management and garbage collection library";
24 homepage = "https://www.ravenbrook.com/project/mps";
25 license = stdenv.lib.licenses.sleepycat;
26 platforms = stdenv.lib.platforms.linux;
27 maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
28 };
29}