blob: 59f33db68cbdabd7b996cdf40f6ac3142797aa59 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
{ lib, stdenv, fetchurl }:
stdenv.mkDerivation rec {
name = "gprolog-1.4.5";
src = fetchurl {
urls = [
"mirror://gnu/gprolog/${name}.tar.gz"
"http://www.gprolog.org/${name}.tar.gz"
];
sha256 = "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z";
};
hardeningDisable = lib.optional stdenv.isi686 "pic";
patchPhase = ''
sed -i -e "s|/tmp/make.log|$TMPDIR/make.log|g" src/Pl2Wam/check_boot
'';
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 = ''
mv -v $out/[A-Z]* $out/gprolog.ico $out/share/${name}/
'';
doCheck = true;
meta = {
homepage = "https://www.gnu.org/software/gprolog/";
description = "GNU Prolog, a free Prolog compiler with constraint solving over finite domains";
license = lib.licenses.lgpl3Plus;
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.
'';
maintainers = [ lib.maintainers.peti ];
platforms = lib.platforms.gnu ++ lib.platforms.linux;
};
}
|