about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/libraries/mps
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/mps')
-rw-r--r--nixpkgs/pkgs/development/libraries/mps/default.nix30
1 files changed, 30 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/mps/default.nix b/nixpkgs/pkgs/development/libraries/mps/default.nix
new file mode 100644
index 000000000000..81b102d9bc36
--- /dev/null
+++ b/nixpkgs/pkgs/development/libraries/mps/default.nix
@@ -0,0 +1,30 @@
+{ lib, stdenv, fetchurl, autoreconfHook, sqlite }:
+
+stdenv.mkDerivation rec {
+  pname = "mps";
+  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 = toString [
+    "-Wno-implicit-fallthrough"
+    "-Wno-error=clobbered"
+    "-Wno-error=cast-function-type"
+  ];
+
+
+  meta = {
+    description = "A flexible memory management and garbage collection library";
+    homepage    = "https://www.ravenbrook.com/project/mps";
+    license     = lib.licenses.sleepycat;
+    platforms   = lib.platforms.linux;
+    maintainers = [ lib.maintainers.thoughtpolice ];
+  };
+}