@@ -1,12 +1,13 @@
11{ lib, stdenv, fetchurl }:
22
33stdenv.mkDerivation rec {
4− name = "gprolog-1.5.0";
4+ pname = "gprolog";
5+ version = "1.5.0";
56
67 src = fetchurl {
78 urls = [
8− "mirror://gnu/gprolog/${name}.tar.gz"
9− "http://www.gprolog.org/${name}.tar.gz"
9+ "mirror://gnu/gprolog/gprolog-${version}.tar.gz"
10+ "http://www.gprolog.org/gprolog-${version}.tar.gz"
1011 ];
1112 sha256 = "sha256-ZwZCtDwPqifr1olh77F+vnB2iPkbaAlWbd1gYTlRLAE=";
1213 };
@@ -22,13 +23,13 @@ stdenv.mkDerivation rec {
2223 configureFlagsArray=(
2324 "--with-install-dir=$out"
2425 "--without-links-dir"
25− "--with-examples-dir=$out/share/${name}/examples"
26− "--with-doc-dir=$out/share/${name}/doc"
26+ "--with-examples-dir=$out/share/gprolog-${version}/examples"
27+ "--with-doc-dir=$out/share/gprolog-${version}/doc"
2728 )
2829 '';
2930
3031 postInstall = ''
31− mv -v $out/[A-Z]* $out/gprolog.ico $out/share/${name}/
32+ mv -v $out/[A-Z]* $out/gprolog.ico $out/share/gprolog-${version}/
3233 '';
3334
3435 doCheck = true;