From 95491128cf6d8fdf54dd245a33eb588483fe0124 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Tue, 27 Aug 2013 13:03:37 +0200 Subject: [PATCH] gprolog: update to version 1.4.4, clean up installation layout, update license information --- .../development/compilers/gprolog/default.nix | 23 +++++++++++-------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/pkgs/development/compilers/gprolog/default.nix b/pkgs/development/compilers/gprolog/default.nix index bbc273365b9..00c5ef36a38 100644 --- a/pkgs/development/compilers/gprolog/default.nix +++ b/pkgs/development/compilers/gprolog/default.nix @@ -1,25 +1,28 @@ { stdenv, fetchurl }: stdenv.mkDerivation rec { - name = "gprolog-1.4.1"; + name = "gprolog-1.4.4"; src = fetchurl { urls = [ "mirror://gnu/gprolog/${name}.tar.gz" "http://www.gprolog.org/${name}.tar.gz" ]; - sha256 = "e2819ed9c426138d3191e4d97ae5121cf97e132eecf102400f87f1e372a05b72"; + sha256 = "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q"; }; - 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}"; + preConfigure = '' + cd src + configureFlagsArray=( + "--with-install-dir=$out" + "--without-links-dir" + "--with-examples-dir=$out/share/${name}/examples" + "--with-doc-dir=$out/share/${name}/doc" + ) + ''; postInstall = '' - ln -vs "$out/share/${name}/include" "$out/include" - ln -vs "$out/share/${name}/lib" "$out/lib" + mv -v $out/[A-Z]* $out/gprolog.ico $out/share/${name}/ ''; doCheck = true; @@ -27,7 +30,7 @@ stdenv.mkDerivation rec { meta = { homepage = "http://www.gnu.org/software/gprolog/"; description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains"; - license = "GPLv2+"; + license = stdenv.lib.licenses.lgpl3Plus; longDescription = '' GNU Prolog is a free Prolog compiler with constraint solving