about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/compilers/yap/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/yap/default.nix')
-rw-r--r--nixpkgs/pkgs/development/compilers/yap/default.nix27
1 files changed, 27 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/compilers/yap/default.nix b/nixpkgs/pkgs/development/compilers/yap/default.nix
new file mode 100644
index 000000000000..3ad0bc25787e
--- /dev/null
+++ b/nixpkgs/pkgs/development/compilers/yap/default.nix
@@ -0,0 +1,27 @@
+{ stdenv, fetchurl, readline, gmp, zlib }:
+
+stdenv.mkDerivation rec {
+  version = "6.3.3";
+  name = "yap-${version}";
+
+  src = fetchurl {
+    url = "https://www.dcc.fc.up.pt/~vsc/Yap/${name}.tar.gz";
+    sha256 = "0y7sjwimadqsvgx9daz28c9mxcx9n1znxklih9xg16k6n54v9qxf";
+  };
+
+  buildInputs = [ readline gmp zlib ];
+
+  configureFlags = [ "--enable-tabling=yes" ];
+
+  NIX_CFLAGS_COMPILE = [ "-fpermissive" ];
+
+  meta = {
+    homepage = http://www.dcc.fc.up.pt/~vsc/Yap/;
+    description = "A ISO-compatible high-performance Prolog compiler";
+    license = stdenv.lib.licenses.artistic2;
+
+    maintainers = [ stdenv.lib.maintainers.peti ];
+    platforms = stdenv.lib.platforms.linux;
+    broken = !stdenv.is64bit;   # the linux 32 bit build fails.
+  };
+}