diff options
author | Peter Simons <simons@cryp.to> | 2009-12-09 14:07:09 +0000 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2009-12-09 14:07:09 +0000 |
commit | abebc10cf1d3d0101ed678b0c96420f0770b686a (patch) | |
tree | 3b4a31067f430ee26d93dc3d0610ca92c779be4c /pkgs/development/compilers/swi-prolog | |
parent | 13b91e2ca85f315ded18af02889a80fb3943792e (diff) | |
download | nixpkgs-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar nixpkgs-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.gz nixpkgs-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.bz2 nixpkgs-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.lz nixpkgs-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.xz nixpkgs-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.zst nixpkgs-abebc10cf1d3d0101ed678b0c96420f0770b686a.zip |
pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 and enabled GUI support
svn path=/nixpkgs/trunk/; revision=18853
Diffstat (limited to 'pkgs/development/compilers/swi-prolog')
-rw-r--r-- | pkgs/development/compilers/swi-prolog/default.nix | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix index da61adb2299..7690c980f5d 100644 --- a/pkgs/development/compilers/swi-prolog/default.nix +++ b/pkgs/development/compilers/swi-prolog/default.nix @@ -1,13 +1,17 @@ -{ stdenv, fetchurl }: +{ stdenv, fetchurl, gmp, readline, openssl, libjpeg, unixODBC, zlib, libXinerama, libXft, libXpm, libSM, libXt }: stdenv.mkDerivation { - name = "swi-prolog-5.6.51"; + name = "swi-prolog-5.6.64"; src = fetchurl { - url = "http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-5.6.51.tar.gz"; - sha256 = "d43862606284e659ec3acba9cddea53b772f9afb67d12aa36391d26fe1a05ad8"; + url = "http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-5.6.64.tar.gz"; + sha256 = "b0e70c3c02b7753ed440359746e7729d21c93e42689c1f0f32b148167b1b2c66"; }; + buildInputs = [gmp readline openssl libjpeg unixODBC libXinerama libXft libXpm libSM libXt zlib]; + configureFlags = "--with-world --enable-gmp --enable-shared"; + makeFlags = "world"; + meta = { homepage = http://www.swi-prolog.org/; description = "A Prolog compiler and interpreter"; |