mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 22:50:49 +00:00
Code Issues Wiki Activity

pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 and enabled GUI support

Browse source 
svn path=/nixpkgs/trunk/; revision=18853
This commit is contained in:
Peter Simons 2009-12-09 14:07:09 +00:00
parent 13b91e2ca8
commit abebc10cf1
2 changed files with 11 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
pkgs/development/compilers/swi-prolog/default.nix
View file

@ -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";

5
pkgs/top-level/all-packages.nix
View file

@ -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 {