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

* Add swi-prolog without any options.

Browse Source 
svn path=/nixpkgs/trunk/; revision=11003
This commit is contained in:
Nicolas Pierron 2008-03-06 21:53:54 +00:00
parent ddda0112e5
commit aec4356a10
3 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/swi-prolog/5.6.51.nix Normal file
View File

@ -0,0 +1,4 @@
args: import ./default.nix {
args = args;
sha256 = "d43862606284e659ec3acba9cddea53b772f9afb67d12aa36391d26fe1a05ad8";
}

16
pkgs/development/compilers/swi-prolog/default.nix Normal file
View File

@ -0,0 +1,16 @@
{args, sha256}: with args;
stdenv.mkDerivation {
name = "swi-prolog-${version}";
src = fetchurl {
url = "http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-${version}.tar.gz";
inherit sha256;
};
meta = {
homepage = http://www.swi-prolog.org/;
description = "A Prolog compiler and interpreter.";
license = "LGPL";
};
}

6
pkgs/top-level/all-packages.nix
View File

@ -1684,6 +1684,12 @@ rec {
inherit fetchurl pkgconfig stdenv aterm sdf strategoxt;
};
swiPrologFun = lib.sumArgs (selectVersion ../development/compilers/swi-prolog "5.6.51") {
inherit fetchurl stdenv;
};
swiProlog = swiPrologFun null;
transformers = import ../development/compilers/transformers {
inherit fetchurl pkgconfig sdf;
aterm = aterm23x;