gprolog: update to version 1.4.4, clean up installation layout, update license information
This commit is contained in:
parent
757568b8fe
commit
95491128cf
@ -1,25 +1,28 @@
|
|||||||
{ stdenv, fetchurl }:
|
{ stdenv, fetchurl }:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "gprolog-1.4.1";
|
name = "gprolog-1.4.4";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
urls = [
|
urls = [
|
||||||
"mirror://gnu/gprolog/${name}.tar.gz"
|
"mirror://gnu/gprolog/${name}.tar.gz"
|
||||||
"http://www.gprolog.org/${name}.tar.gz"
|
"http://www.gprolog.org/${name}.tar.gz"
|
||||||
];
|
];
|
||||||
sha256 = "e2819ed9c426138d3191e4d97ae5121cf97e132eecf102400f87f1e372a05b72";
|
sha256 = "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q";
|
||||||
};
|
};
|
||||||
|
|
||||||
configurePhase = "cd src ;"
|
preConfigure = ''
|
||||||
+ "./configure --prefix=$out "
|
cd src
|
||||||
+ "--with-install-dir=$out/share/${name} "
|
configureFlagsArray=(
|
||||||
+ "--with-examples-dir=$out/share/doc/${name}/examples "
|
"--with-install-dir=$out"
|
||||||
+ "--with-doc-dir=$out/share/doc/${name}";
|
"--without-links-dir"
|
||||||
|
"--with-examples-dir=$out/share/${name}/examples"
|
||||||
|
"--with-doc-dir=$out/share/${name}/doc"
|
||||||
|
)
|
||||||
|
'';
|
||||||
|
|
||||||
postInstall = ''
|
postInstall = ''
|
||||||
ln -vs "$out/share/${name}/include" "$out/include"
|
mv -v $out/[A-Z]* $out/gprolog.ico $out/share/${name}/
|
||||||
ln -vs "$out/share/${name}/lib" "$out/lib"
|
|
||||||
'';
|
'';
|
||||||
|
|
||||||
doCheck = true;
|
doCheck = true;
|
||||||
@ -27,7 +30,7 @@ stdenv.mkDerivation rec {
|
|||||||
meta = {
|
meta = {
|
||||||
homepage = "http://www.gnu.org/software/gprolog/";
|
homepage = "http://www.gnu.org/software/gprolog/";
|
||||||
description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains";
|
description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains";
|
||||||
license = "GPLv2+";
|
license = stdenv.lib.licenses.lgpl3Plus;
|
||||||
|
|
||||||
longDescription = ''
|
longDescription = ''
|
||||||
GNU Prolog is a free Prolog compiler with constraint solving
|
GNU Prolog is a free Prolog compiler with constraint solving
|
||||||
|
Loading…
x
Reference in New Issue
Block a user