diff options
author | Peter Simons <simons@cryp.to> | 2014-01-13 17:10:11 +0100 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2014-01-13 17:10:11 +0100 |
commit | 471f0e7b363ca0ef725512b36613b92c1da94ed4 (patch) | |
tree | 80775cba34e09adc504ba9422c53ddae15283fa9 /pkgs | |
parent | 5ef34645f37f714734cee791b69ac0793bd559d6 (diff) | |
download | nixlib-471f0e7b363ca0ef725512b36613b92c1da94ed4.tar nixlib-471f0e7b363ca0ef725512b36613b92c1da94ed4.tar.gz nixlib-471f0e7b363ca0ef725512b36613b92c1da94ed4.tar.bz2 nixlib-471f0e7b363ca0ef725512b36613b92c1da94ed4.tar.lz nixlib-471f0e7b363ca0ef725512b36613b92c1da94ed4.tar.xz nixlib-471f0e7b363ca0ef725512b36613b92c1da94ed4.tar.zst nixlib-471f0e7b363ca0ef725512b36613b92c1da94ed4.zip |
swi-prolog: update to version 6.6.1
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/swi-prolog/default.nix | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix index a2dae290f447..61655e1bd1f7 100644 --- a/pkgs/development/compilers/swi-prolog/default.nix +++ b/pkgs/development/compilers/swi-prolog/default.nix @@ -1,29 +1,32 @@ -{ stdenv, fetchurl, gmp, readline, openssl, libjpeg, unixODBC, zlib, - libXinerama, libXft, libXpm, libSM, libXt, freetype, pkgconfig, - fontconfig }: +{ stdenv, fetchurl, gmp, readline, openssl, libjpeg, unixODBC, zlib +, libXinerama, libXft, libXpm, libSM, libXt, freetype, pkgconfig +, fontconfig +}: let - version = "6.4.1"; + version = "6.6.1"; in stdenv.mkDerivation { name = "swi-prolog-${version}"; src = fetchurl { url = "http://www.swi-prolog.org/download/stable/src/pl-${version}.tar.gz"; - sha256 = "1szqqwypqfd0qr3sk0qlip1ar22kpqgba6b44klmr1aag0lrahs8"; + sha256 = "033b7z60jd1907p9idaa3xzbid2aadhqcdwsa2g9c1c7q8fj1gy8"; }; - buildInputs = [gmp readline openssl libjpeg unixODBC libXinerama - libXft libXpm libSM libXt zlib freetype pkgconfig fontconfig]; + buildInputs = [ gmp readline openssl libjpeg unixODBC libXinerama + libXft libXpm libSM libXt zlib freetype pkgconfig fontconfig ]; + configureFlags = "--with-world --enable-gmp --enable-shared"; - makeFlags = "world"; + + buildFlags = "world"; meta = { homepage = http://www.swi-prolog.org/; description = "A Prolog compiler and interpreter"; license = "LGPL"; - platforms = stdenv.lib.platforms.unix; + hydraPlatforms = stdenv.lib.platforms.linux; maintainers = [ stdenv.lib.maintainers.simons ]; }; } |