diff options
author | Peter Simons <simons@cryp.to> | 2012-10-24 18:28:36 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2012-10-24 18:28:36 +0200 |
commit | b170bb0bf06b824920a1c3311de31f0563a8d480 (patch) | |
tree | a2edbceabaeafefb95a5f7b80dfb61525ec5c4fb | |
parent | 7b0d9ecdd5cb61c6f06373b3a509e94bb73ba158 (diff) |
gprolog: update to version 1.4.1
-rw-r--r-- | pkgs/development/compilers/gprolog/default.nix | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/pkgs/development/compilers/gprolog/default.nix b/pkgs/development/compilers/gprolog/default.nix index f7a64da730969..3e667f7900317 100644 --- a/pkgs/development/compilers/gprolog/default.nix +++ b/pkgs/development/compilers/gprolog/default.nix @@ -1,14 +1,14 @@ { stdenv, fetchurl }: stdenv.mkDerivation rec { - name = "gprolog-1.4.0"; + name = "gprolog-1.4.1"; src = fetchurl { urls = [ "mirror://gnu/gprolog/${name}.tar.gz" "http://www.gprolog.org/${name}.tar.gz" ]; - sha256 = "1l66k66ryfw1nfi2wlvsyq4cmr6mm95f4iay1fxdk3hdk3fjyjl0"; + sha256 = "e2819ed9c426138d3191e4d97ae5121cf97e132eecf102400f87f1e372a05b72"; }; configurePhase = "cd src ;" @@ -17,16 +17,18 @@ stdenv.mkDerivation rec { + "--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" + ln -vs "$out/share/${name}/lib" "$out/lib" ''; - meta = { - homepage = http://www.gnu.org/software/gprolog/; + doCheck = true; + enableParallelBuilding = true; + meta = { + homepage = "http://www.gnu.org/software/gprolog/"; description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains"; + license = "GPLv2+"; longDescription = '' GNU Prolog is a free Prolog compiler with constraint solving @@ -52,8 +54,6 @@ stdenv.mkDerivation rec { declarativity of logic programming. ''; - license = "GPLv2+"; - maintainers = [ stdenv.lib.maintainers.simons ]; platforms = stdenv.lib.platforms.gnu; }; |