diff options
| author | Marc Weber <marco-oweber@gmx.de> | 2008-03-13 01:13:53 +0000 |
|---|---|---|
| committer | Marc Weber <marco-oweber@gmx.de> | 2008-03-13 01:13:53 +0000 |
| commit | 9d5e5ddc9e0acf2f21445441ebd401f2e279fe64 (patch) | |
| tree | ad8da8b3294aed49532b71f606815241886c4783 /pkgs | |
| parent | 6ea7522ba23129e47069913a79c51b7471d23cab (diff) | |
| download | nixlib-9d5e5ddc9e0acf2f21445441ebd401f2e279fe64.tar nixlib-9d5e5ddc9e0acf2f21445441ebd401f2e279fe64.tar.gz nixlib-9d5e5ddc9e0acf2f21445441ebd401f2e279fe64.tar.bz2 nixlib-9d5e5ddc9e0acf2f21445441ebd401f2e279fe64.tar.lz nixlib-9d5e5ddc9e0acf2f21445441ebd401f2e279fe64.tar.xz nixlib-9d5e5ddc9e0acf2f21445441ebd401f2e279fe64.tar.zst nixlib-9d5e5ddc9e0acf2f21445441ebd401f2e279fe64.zip | |
yap prolog system added
svn path=/nixpkgs/trunk/; revision=11090
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/compilers/yap/default.nix | 17 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 21 insertions, 0 deletions
diff --git a/pkgs/development/compilers/yap/default.nix b/pkgs/development/compilers/yap/default.nix new file mode 100644 index 000000000000..27075d1cca63 --- /dev/null +++ b/pkgs/development/compilers/yap/default.nix @@ -0,0 +1,17 @@ +args: +args.stdenv.mkDerivation rec { + name = "Yap-5.1.1"; + + src = args.fetchurl { + url = "http://downloads.sourceforge.net/yap/${name}.tar.gz"; + sha256 = "0bajxmlla9gay4m4l7y7x6qldxzi0jcq2ykgpjk9liky7g5kbnya"; + }; + + buildInputs =(with args; []); + + meta = { + description = "Yap Prolog System is a ISO-compatible high-performance Prolog compiler"; + homepage = http://yap.sourceforge.net/; + license = "artistic"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 441b7db017f4..8a28e08bbe52 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -1606,6 +1606,10 @@ rec { inherit stdenv binutils; }; + # prolog + yap = import ../development/compilers/yap { + inherit fetchurl stdenv; + }; ### DEVELOPMENT / INTERPRETERS |