summary refs log tree commit diff
path: root/pkgs/development/compilers/yap/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/yap/default.nix')
-rw-r--r--pkgs/development/compilers/yap/default.nix22
1 files changed, 15 insertions, 7 deletions
diff --git a/pkgs/development/compilers/yap/default.nix b/pkgs/development/compilers/yap/default.nix
index f9a48468df31..a29c0de65b87 100644
--- a/pkgs/development/compilers/yap/default.nix
+++ b/pkgs/development/compilers/yap/default.nix
@@ -1,16 +1,24 @@
-{ stdenv, fetchurl }:
-        
+{ stdenv, fetchurl, readline, gmp, zlib }:
+
 stdenv.mkDerivation rec {
-  name = "yap-5.1.1";
+  version = "6.2.2";
+  name = "yap-${version}";
 
   src = fetchurl {
-    url = "mirror://sourceforge/yap/Yap-5.1.1.tar.gz";
-    sha256 = "0bajxmlla9gay4m4l7y7x6qldxzi0jcq2ykgpjk9liky7g5kbnya";
+    url = "http://www.dcc.fc.up.pt/~vsc/Yap/${name}.tar.gz";
+    sha256 = "0l6p0vy667wws64cvwf74ssl6h9gypjzrsl3b2d32hs422186pzi";
   };
 
-  meta = { 
+  buildInputs = [ readline gmp zlib ];
+
+  configureFlags = "--enable-tabling=yes";
+
+  meta = {
+    homepage = "http://www.dcc.fc.up.pt/~vsc/Yap/";
     description = "Yap Prolog System is a ISO-compatible high-performance Prolog compiler";
-    homepage = http://yap.sourceforge.net/;
     license = "artistic";
+
+    maintainers = [ stdenv.lib.maintainers.simons ];
+    platforms = stdenv.lib.platforms.linux;
   };
 }