diff options
author | Ludovic Courtès <ludo@gnu.org> | 2009-02-19 13:32:07 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2009-02-19 13:32:07 +0000 |
commit | 4373d12cb47d89dcdeeb351c829eb55642d7bc26 (patch) | |
tree | 3ce37e70e1671244b49b32436c902dfcef6e3f05 /pkgs/development/compilers/gprolog | |
parent | de6ec5e1f1a397f552aa807b670f13cd757b204c (diff) |
Add GNU Prolog.
svn path=/nixpkgs/trunk/; revision=14122
Diffstat (limited to 'pkgs/development/compilers/gprolog')
-rw-r--r-- | pkgs/development/compilers/gprolog/default.nix | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/pkgs/development/compilers/gprolog/default.nix b/pkgs/development/compilers/gprolog/default.nix new file mode 100644 index 0000000000000..d4d348f179eca --- /dev/null +++ b/pkgs/development/compilers/gprolog/default.nix @@ -0,0 +1,57 @@ +{ stdenv, fetchurl }: + +stdenv.mkDerivation rec { + name = "gprolog-1.3.1"; + + src = fetchurl { + urls = [ + "mirror://gnu/gprolog/${name}.tar.gz" + "http://www.gprolog.org/${name}.tar.gz" + ]; + sha256 = "05n3k0yynzvpc1ir1nw5bwm6m3ail0a0r1vqdsh4fii3kndiacrw"; + }; + + configurePhase = "cd src ;" + + "./configure --prefix=$out " + + "--with-install-dir=$out/share/${name} " + + "--with-examples-dir=$out/share/doc/${name}/examples " + + "--with-doc-dir=$out/share/doc/${name}"; + + doCheck = true; + + postInstall = '' + ln -vs "$out/share/${name}/include" "$out/include" + ''; + + meta = { + homepage = http://www.gnu.org/software/gprolog/; + + description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains"; + + longDescription = '' + GNU Prolog is a free Prolog compiler with constraint solving + over finite domains developed by Daniel Diaz. + + GNU Prolog accepts Prolog+constraint programs and produces + native binaries (like gcc does from a C source). The obtained + executable is then stand-alone. The size of this executable can + be quite small since GNU Prolog can avoid to link the code of + most unused built-in predicates. The performances of GNU Prolog + are very encouraging (comparable to commercial systems). + + Beside the native-code compilation, GNU Prolog offers a + classical interactive interpreter (top-level) with a debugger. + + The Prolog part conforms to the ISO standard for Prolog with + many extensions very useful in practice (global variables, OS + interface, sockets,...). + + GNU Prolog also includes an efficient constraint solver over + Finite Domains (FD). This opens contraint logic programming to + the user combining the power of constraint programming to the + declarativity of logic programming. + ''; + + license = "GPLv2+"; + }; +} |