diff options
Diffstat (limited to 'pkgs/development/compilers/yap/default.nix')
-rw-r--r-- | pkgs/development/compilers/yap/default.nix | 22 |
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; }; } |