Update to 1.4.2, based on patches by Mayuresh in PR 47325. Set LICENSE while here. Change in GNU Prolog version 1.4.2: * fix a bug in the x86/NetBSD port * fix a bug in the compiler for byte-code with op/3 directive * fix a bug in the debugger * modify decompose_file_name/4 (fix problems under windows) * add built-in is_absolute_file_name/1 and is_relative_file_name/1 * modify the compiler include/1 directive handling (if the file to include is not found, seach in directories of parent includers) * modify atom table management (its size can be defined via env. var MAX_ATOM) * fix a bug with soft-call inside a meta-call * implement term_hash/2 and term_hash/4. Bacward incompatibility: new_atom/3 and and atom_hash/2 no longer exists. * fix some little bugs with 64 bits (e.g. stream id) * modify the FD solver to handle very long computations * fix a bug in the compiler (unification with fresh vars in the body) * fix a bug with *-> containing ! in the test part (! was not local to the test) * fix a bug to configure with sigaction on old linux kernels * fix some problems/bugs on 64 bits machine Change in GNU Prolog version 1.4.1: * improve signal handling * add an option --wam-comment to gplc and pl2wam * fix multifile directive (works now with an empty predicate as required by ISO) * fix absolute_file_name to expand ~ using HOMEDRIVE and HOMEPATH under windows if HOME is not defined * improve listing/0-1 output * add soft cut control construct and its associated operator *-> * improve the top-level results in case of cyclic terms * fix arithmetic evaluable functor ^/2 to work with floats * increase maximum number of variables in a term * add write_term option variable_names * add built-in predicates between/3 and succ/2 * fix bug in the DCG expander * fix bug in member/2 * recognize escape sequence \s (space) and \e (escape) if strict_iso is off * add error detection in length/2 if given length is negative * add built-in predicates maplist/2-5 * fix a regression bug in the FD solver about sparse domains * increase size of FD internal stacks and fix memory leak * port to x86_64/Darwin (Mac OS X) - many thanks to: Ozaki Kiichi <gclient.gaap@gmail.com> * fix a bug in x86_64 with --disable-regs * fix a bug when consulting a file under Win XP/Vista 32 bits * fix a bug when consulting a file using '$VAR'(N) or '$VARNAME'(A) * fix a bug in new_atom/1-2 which returned duplicates * fix a bug in write/1 when an empty atom is passed * improve portray_clause (numbervars and space before final dot) Change in GNU Prolog version 1.4.0: * GNU Prolog is now licensed under a dual license LGPL or GPL * port to x86_64/MinGW - many thanks to: Jasper Taylor <jasper@simulistics.com> (see src/WINDOWS64) * port to x86_64/MSVC (see src/WINDOWS64) * add a configure option to control Windows HtmlHelp --disable-htmlhelp or --enable-htmlhelp[=static/dynamic] * improve a lot (and fix some bugs in) the Windows GUI Console * change location of gprologvars.bat under Windows (in install directory) * increase default stack sizes (32Mb for heap, 16Mb for others) * change the default setting for flag strict_iso: it is on now * add control constructs to the predicate table * modify predicate_property/2 (built_in_fd ==> built_in, add control_construct) only accepts a Head (a callable) (no longer a predicate indicator) * fix a bug in the compiler (bad unification with singleton variable) * fix a bug with strict_iso flag (was not passed to consult) * add shebang support using #!/usr/bin/gprolog --consult-file * modify the mangling scheme for future module support (see hexgplc) * fix write_term default options (now numbervars(false) and namevars(false)) * fix read/1: tab and newlines are not accepted inside single/back/double quoted tokens * add additional errors to compare/3 and keysort/2 * accept space under the top-level (same as ;) * modify portray_clause/1-2 to add a newline at the end of the output * add acyclic_term/1 (compatibility only since GNU Prolog does not handle cyclic terms) * fix write/1 to treat '$VARNAME'(Atom) as a var name only if Atom is a valid var name * rename evaluable functor atan/2 as atan2/2 and >< as xor * add evaluable functor div/2 * detect op/3 error cases for | [] {} * replace type_error(variable, X) by uninstantiation_error(X) (e.g. open/3-4) * add built-in term_variables/2-3 and subsumes_term/2 * add some type tests on chars and codes (in number_chars/2, number_codes/2,..) * fix some little bugs in the parser * add meta_predicate property to predicate_property/2 * fix a memory leak in atom_concat/3 (in case of failure) * add infix operator '|' (and allow it to be unquoted in read/write) * improve top-level variables display adding () when needed * support the ISO multifile/1 directive * add built-ins false/0 and forall/2 * detect an instantiation_error in phrase/2-3 * allow rounding functions to accept an integer if strict_iso is off * group all examples under a new directory 'examples' * fix a bug in read_from_codes/2 and number_codes/2 * improve speed of built-in predicates on list (append, member, reverse,...). * improve CTRL+C handling under the top-level * add is_list/1 (same as list/1) * add Prolog flags: dialect, home, host_os, host_vendor, host_cpu, host, arch, version, version_data, unix, argv * add preprocessor directives if/1 else/0 elif/1 endif/0 * fix a bug on large ints in the byte-code for 64-bits machine * fix a bug with call/2-N * change listing/0-1 printing stream: now it is current_output * add a new stream alias: user_error associated to stderr * add evaluable functors: (a)sinh/1, (a)cosh/1, (a)tanh/1 * add evaluable functors: epsilon/0, lsb/1, msb/1, popcount/1 * fix compilation problem under Mac OS X Snow Leopard (force 32-bits mode) * add evaluable functors: log/2, gcd/2, tan/1, atan2/2, pi/0, e/0 * add built-in ground/1 * rename built-in sort0 as msort * add new error detection for keysort * accept (but ignore) directive encoding/1 * add xor/2 (bitwise XOR) ^/2 becomes integer exponentiation * improve randomize/0 (more different values on consecutive calls) * relax the lexer to also accept 0'' (ISO requires 0''' or 0'\') is strict_iso is off * fix a bug with top-level options --entry-goal and --query-goaldiff -r1.16 -r1.17 pkgsrc/lang/gprolog/Makefile
(wiz)
@@ -1,22 +1,23 @@ | @@ -1,22 +1,23 @@ | |||
1 | # $NetBSD: Makefile,v 1.16 2012/10/02 20:11:42 asau Exp $ | 1 | # $NetBSD: Makefile,v 1.17 2012/12/14 14:42:53 wiz Exp $ | |
2 | 2 | |||
3 | DISTNAME= gprolog-1.3.1 | 3 | DISTNAME= gprolog-1.4.2 | |
4 | CATEGORIES= lang | 4 | CATEGORIES= lang | |
5 | MASTER_SITES= ${HOMEPAGE} | 5 | MASTER_SITES= ${HOMEPAGE} | |
6 | 6 | |||
7 | MAINTAINER= brook@nmsu.edu | 7 | MAINTAINER= brook@nmsu.edu | |
8 | HOMEPAGE= http://www.gprolog.org/ | 8 | HOMEPAGE= http://www.gprolog.org/ | |
9 | COMMENT= GNU prolog compiler and interpreter | 9 | COMMENT= GNU prolog compiler and interpreter | |
10 | LICENSE= gnu-lgpl-v3 OR gnu-gpl-v2 | |||
10 | 11 | |||
11 | GNU_CONFIGURE= yes | 12 | GNU_CONFIGURE= yes | |
12 | CONFIGURE_DIRS= src | 13 | CONFIGURE_DIRS= src | |
13 | CONFIGURE_ARGS+= --with-install-dir=${PREFIX}/lib/${PKGNAME_NOREV} \ | 14 | CONFIGURE_ARGS+= --with-install-dir=${PREFIX}/lib/${PKGNAME_NOREV} \ | |
14 | --with-doc-dir=${PREFIX}/share/doc/gprolog \ | 15 | --with-doc-dir=${PREFIX}/share/doc/gprolog \ | |
15 | --with-html-dir=${PREFIX}/share/doc/gprolog/html \ | 16 | --with-html-dir=${PREFIX}/share/doc/gprolog/html \ | |
16 | --with-examples-dir=${PREFIX}/share/examples/gprolog \ | 17 | --with-examples-dir=${PREFIX}/share/examples/gprolog \ | |
17 | --with-c-flags=${CFLAGS:Q} | 18 | --with-c-flags=${CFLAGS:Q} | |
18 | 19 | |||
19 | # Apparently build failures hang forever if multiple MAKE_JOBS are in use. | 20 | # Apparently build failures hang forever if multiple MAKE_JOBS are in use. | |
20 | MAKE_JOBS_SAFE= no | 21 | MAKE_JOBS_SAFE= no | |
21 | 22 | |||
22 | .include "../../mk/bsd.pkg.mk" | 23 | .include "../../mk/bsd.pkg.mk" |
@@ -1,24 +1,26 @@ | @@ -1,24 +1,26 @@ | |||
1 | @comment $NetBSD: PLIST,v 1.5 2010/05/19 09:10:55 asau Exp $ | 1 | @comment $NetBSD: PLIST,v 1.6 2012/12/14 14:42:53 wiz Exp $ | |
2 | bin/fd2c | 2 | bin/fd2c | |
3 | bin/gplc | 3 | bin/gplc | |
4 | bin/gprolog | 4 | bin/gprolog | |
5 | bin/hexgplc | 5 | bin/hexgplc | |
6 | bin/ma2asm | 6 | bin/ma2asm | |
7 | bin/pl2wam | 7 | bin/pl2wam | |
8 | bin/wam2ma | 8 | bin/wam2ma | |
9 | lib/${PKGNAME}/COPYING | 9 | lib/${PKGNAME}/COPYING | |
10 | lib/${PKGNAME}/ChangeLog | 10 | lib/${PKGNAME}/ChangeLog | |
11 | lib/${PKGNAME}/NEWS | 11 | lib/${PKGNAME}/NEWS | |
12 | lib/${PKGNAME}/README | |||
13 | lib/${PKGNAME}/gprolog.ico | |||
12 | lib/${PKGNAME}/VERSION | 14 | lib/${PKGNAME}/VERSION | |
13 | lib/${PKGNAME}/bin/fd2c | 15 | lib/${PKGNAME}/bin/fd2c | |
14 | lib/${PKGNAME}/bin/gplc | 16 | lib/${PKGNAME}/bin/gplc | |
15 | lib/${PKGNAME}/bin/gprolog | 17 | lib/${PKGNAME}/bin/gprolog | |
16 | lib/${PKGNAME}/bin/hexgplc | 18 | lib/${PKGNAME}/bin/hexgplc | |
17 | lib/${PKGNAME}/bin/ma2asm | 19 | lib/${PKGNAME}/bin/ma2asm | |
18 | lib/${PKGNAME}/bin/pl2wam | 20 | lib/${PKGNAME}/bin/pl2wam | |
19 | lib/${PKGNAME}/bin/wam2ma | 21 | lib/${PKGNAME}/bin/wam2ma | |
20 | lib/${PKGNAME}/include/fd_to_c.h | 22 | lib/${PKGNAME}/include/fd_to_c.h | |
21 | lib/${PKGNAME}/include/gprolog.h | 23 | lib/${PKGNAME}/include/gprolog.h | |
22 | lib/${PKGNAME}/lib/all_fd_bips.o | 24 | lib/${PKGNAME}/lib/all_fd_bips.o | |
23 | lib/${PKGNAME}/lib/all_pl_bips.o | 25 | lib/${PKGNAME}/lib/all_pl_bips.o | |
24 | lib/${PKGNAME}/lib/debugger.o | 26 | lib/${PKGNAME}/lib/debugger.o | |
@@ -106,26 +108,27 @@ share/doc/gprolog/html/gprolog060.html | @@ -106,26 +108,27 @@ share/doc/gprolog/html/gprolog060.html | |||
106 | share/doc/gprolog/html/gprolog061.html | 108 | share/doc/gprolog/html/gprolog061.html | |
107 | share/doc/gprolog/html/gprolog062.html | 109 | share/doc/gprolog/html/gprolog062.html | |
108 | share/doc/gprolog/html/gprolog063.html | 110 | share/doc/gprolog/html/gprolog063.html | |
109 | share/doc/gprolog/html/gprolog064.html | 111 | share/doc/gprolog/html/gprolog064.html | |
110 | share/doc/gprolog/html/gprolog065.html | 112 | share/doc/gprolog/html/gprolog065.html | |
111 | share/doc/gprolog/html/gprolog066.html | 113 | share/doc/gprolog/html/gprolog066.html | |
112 | share/doc/gprolog/html/gprolog067.html | 114 | share/doc/gprolog/html/gprolog067.html | |
113 | share/doc/gprolog/html/gprolog068.html | 115 | share/doc/gprolog/html/gprolog068.html | |
114 | share/doc/gprolog/html/gprolog069.html | 116 | share/doc/gprolog/html/gprolog069.html | |
115 | share/doc/gprolog/html/gprolog070.html | 117 | share/doc/gprolog/html/gprolog070.html | |
116 | share/doc/gprolog/html/gprolog071.html | 118 | share/doc/gprolog/html/gprolog071.html | |
117 | share/doc/gprolog/html/gprolog072.html | 119 | share/doc/gprolog/html/gprolog072.html | |
118 | share/doc/gprolog/html/gprolog073.html | 120 | share/doc/gprolog/html/gprolog073.html | |
121 | share/doc/gprolog/html/gprolog074.html | |||
119 | share/doc/gprolog/html/index.html | 122 | share/doc/gprolog/html/index.html | |
120 | share/doc/gprolog/html/next_motif.gif | 123 | share/doc/gprolog/html/next_motif.gif | |
121 | share/doc/gprolog/html/previous_motif.gif | 124 | share/doc/gprolog/html/previous_motif.gif | |
122 | share/examples/gprolog/ExamplesC/Makefile | 125 | share/examples/gprolog/ExamplesC/Makefile | |
123 | share/examples/gprolog/ExamplesC/README | 126 | share/examples/gprolog/ExamplesC/README | |
124 | share/examples/gprolog/ExamplesC/examp.pl | 127 | share/examples/gprolog/ExamplesC/examp.pl | |
125 | share/examples/gprolog/ExamplesC/examp_c.c | 128 | share/examples/gprolog/ExamplesC/examp_c.c | |
126 | share/examples/gprolog/ExamplesC/new_main.pl | 129 | share/examples/gprolog/ExamplesC/new_main.pl | |
127 | share/examples/gprolog/ExamplesC/new_main_c.c | 130 | share/examples/gprolog/ExamplesC/new_main_c.c | |
128 | share/examples/gprolog/ExamplesFD/Makefile | 131 | share/examples/gprolog/ExamplesFD/Makefile | |
129 | share/examples/gprolog/ExamplesFD/alpha.pl | 132 | share/examples/gprolog/ExamplesFD/alpha.pl | |
130 | share/examples/gprolog/ExamplesFD/array.pl | 133 | share/examples/gprolog/ExamplesFD/array.pl | |
131 | share/examples/gprolog/ExamplesFD/bdiag.pl | 134 | share/examples/gprolog/ExamplesFD/bdiag.pl | |
@@ -135,26 +138,27 @@ share/examples/gprolog/ExamplesFD/bqueen | @@ -135,26 +138,27 @@ share/examples/gprolog/ExamplesFD/bqueen | |||
135 | share/examples/gprolog/ExamplesFD/bramsey.pl | 138 | share/examples/gprolog/ExamplesFD/bramsey.pl | |
136 | share/examples/gprolog/ExamplesFD/bridge.pl | 139 | share/examples/gprolog/ExamplesFD/bridge.pl | |
137 | share/examples/gprolog/ExamplesFD/bridge1.pl | 140 | share/examples/gprolog/ExamplesFD/bridge1.pl | |
138 | share/examples/gprolog/ExamplesFD/bschur.pl | 141 | share/examples/gprolog/ExamplesFD/bschur.pl | |
139 | share/examples/gprolog/ExamplesFD/bsend.pl | 142 | share/examples/gprolog/ExamplesFD/bsend.pl | |
140 | share/examples/gprolog/ExamplesFD/cars.pl | 143 | share/examples/gprolog/ExamplesFD/cars.pl | |
141 | share/examples/gprolog/ExamplesFD/crypta.pl | 144 | share/examples/gprolog/ExamplesFD/crypta.pl | |
142 | share/examples/gprolog/ExamplesFD/digit8.pl | 145 | share/examples/gprolog/ExamplesFD/digit8.pl | |
143 | share/examples/gprolog/ExamplesFD/donald.pl | 146 | share/examples/gprolog/ExamplesFD/donald.pl | |
144 | share/examples/gprolog/ExamplesFD/eq10.pl | 147 | share/examples/gprolog/ExamplesFD/eq10.pl | |
145 | share/examples/gprolog/ExamplesFD/eq20.pl | 148 | share/examples/gprolog/ExamplesFD/eq20.pl | |
146 | share/examples/gprolog/ExamplesFD/five.pl | 149 | share/examples/gprolog/ExamplesFD/five.pl | |
147 | share/examples/gprolog/ExamplesFD/gardner.pl | 150 | share/examples/gprolog/ExamplesFD/gardner.pl | |
151 | share/examples/gprolog/ExamplesFD/interval.pl | |||
148 | share/examples/gprolog/ExamplesFD/langford.pl | 152 | share/examples/gprolog/ExamplesFD/langford.pl | |
149 | share/examples/gprolog/ExamplesFD/magic.pl | 153 | share/examples/gprolog/ExamplesFD/magic.pl | |
150 | share/examples/gprolog/ExamplesFD/magsq.pl | 154 | share/examples/gprolog/ExamplesFD/magsq.pl | |
151 | share/examples/gprolog/ExamplesFD/multipl.pl | 155 | share/examples/gprolog/ExamplesFD/multipl.pl | |
152 | share/examples/gprolog/ExamplesFD/partit.pl | 156 | share/examples/gprolog/ExamplesFD/partit.pl | |
153 | share/examples/gprolog/ExamplesFD/qg5.pl | 157 | share/examples/gprolog/ExamplesFD/qg5.pl | |
154 | share/examples/gprolog/ExamplesFD/queens.pl | 158 | share/examples/gprolog/ExamplesFD/queens.pl | |
155 | share/examples/gprolog/ExamplesFD/queens_fd.fd | 159 | share/examples/gprolog/ExamplesFD/queens_fd.fd | |
156 | share/examples/gprolog/ExamplesFD/send.pl | 160 | share/examples/gprolog/ExamplesFD/send.pl | |
157 | share/examples/gprolog/ExamplesFD/square.pl | 161 | share/examples/gprolog/ExamplesFD/square.pl | |
158 | share/examples/gprolog/ExamplesFD/srq.pl | 162 | share/examples/gprolog/ExamplesFD/srq.pl | |
159 | share/examples/gprolog/ExamplesPl/Makefile | 163 | share/examples/gprolog/ExamplesPl/Makefile | |
160 | share/examples/gprolog/ExamplesPl/PROGS | 164 | share/examples/gprolog/ExamplesPl/PROGS |
@@ -1,7 +1,5 @@ | @@ -1,7 +1,5 @@ | |||
1 | $NetBSD: distinfo,v 1.10 2010/05/19 09:10:55 asau Exp $ | 1 | $NetBSD: distinfo,v 1.11 2012/12/14 14:42:53 wiz Exp $ | |
2 | 2 | |||
3 | SHA1 (gprolog-1.3.1.tar.gz) = d2912847725a0d917c6937c9402bcc21072b1a73 | 3 | SHA1 (gprolog-1.4.2.tar.gz) = 76d366910e50e56aa06c98a0a8903f98ec7f1c21 | |
4 | RMD160 (gprolog-1.3.1.tar.gz) = f942f82e4034a59fd0bc5276542872375d7dc801 | 4 | RMD160 (gprolog-1.4.2.tar.gz) = 724af5c067860ed427304b1344bb498d7a908ade | |
5 | Size (gprolog-1.3.1.tar.gz) = 2949369 bytes | 5 | Size (gprolog-1.4.2.tar.gz) = 3358528 bytes | |
6 | SHA1 (patch-aa) = ed0551e82547c6bce9dab37b1628812976399d2e | |||
7 | SHA1 (patch-ab) = cd0305c3c407e815f92a36af7e30c5085e8d7aa7 |