public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update SWI Prolog

Browse Source 
svn path=/nixpkgs/trunk/; revision=24966
This commit is contained in:
Michael Raskin 2010-12-04 11:16:39 +00:00
parent 64ed7e705d
commit 0141bfec63
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/development/compilers/swi-prolog/default.nix
View File

@ -1,11 +1,12 @@
{ stdenv, fetchurl, gmp, readline, openssl, libjpeg, unixODBC, zlib, libXinerama, libXft, libXpm, libSM, libXt }: { stdenv, fetchurl, gmp, readline, openssl, libjpeg, unixODBC, zlib, libXinerama, libXft, libXpm, libSM, libXt }:
stdenv.mkDerivation { stdenv.mkDerivation rec {
name = "swi-prolog-5.6.64"; version = "5.10.2";
name = "swi-prolog-${version}";
src = fetchurl { src = fetchurl {
url = "http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-5.6.64.tar.gz"; url = "http://www.swi-prolog.org/download/stable/src/pl-${version}.tar.gz";
sha256 = "b0e70c3c02b7753ed440359746e7729d21c93e42689c1f0f32b148167b1b2c66"; sha256 = "1a3ebbcd649f429a41b64561d38423692e00524c29227432d0eb5a0e24e2a4c9";
}; };
buildInputs = [gmp readline openssl libjpeg unixODBC libXinerama libXft libXpm libSM libXt zlib]; buildInputs = [gmp readline openssl libjpeg unixODBC libXinerama libXft libXpm libSM libXt zlib];