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 | |
parent | 13b91e2ca85f315ded18af02889a80fb3943792e (diff) | |
download | nixlib-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar nixlib-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.gz nixlib-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.bz2 nixlib-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.lz nixlib-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.xz nixlib-abebc10cf1d3d0101ed678b0c96420f0770b686a.tar.zst nixlib-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')
-rw-r--r-- | pkgs/development/compilers/swi-prolog/default.nix | 12 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 5 |
2 files changed, 11 insertions, 6 deletions
diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix index da61adb22996..7690c980f5d9 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"; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 73f0fe29e021..69d3466f7175 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2178,7 +2178,7 @@ let strategoPackages018 = import ../development/compilers/strategoxt/0.18.nix { inherit fetchurl stdenv pkgconfig aterm getopt jdk makeStaticBinaries ncurses; - readline = readline5; + readline = readline5; }; metaBuildEnv = import ../development/compilers/meta-environment/meta-build-env { @@ -2186,7 +2186,8 @@ let }; swiProlog = import ../development/compilers/swi-prolog { - inherit fetchurl stdenv; + inherit fetchurl stdenv gmp readline openssl libjpeg unixODBC zlib; + inherit (xlibs) libXinerama libXft libXpm libSM libXt; }; tinycc = import ../development/compilers/tinycc { |