Fri Dec 14 14:42:53 2012 UTC ()
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-goal
(wiz)
diff -r1.16 -r1.17 pkgsrc/lang/gprolog/Makefile
diff -r1.5 -r1.6 pkgsrc/lang/gprolog/PLIST
diff -r1.10 -r1.11 pkgsrc/lang/gprolog/distinfo
diff -r1.7 -r0 pkgsrc/lang/gprolog/patches/patch-aa
diff -r1.8 -r0 pkgsrc/lang/gprolog/patches/patch-ab
--- pkgsrc/lang/gprolog/Makefile 2012/10/02 20:11:42 1.16
+++ pkgsrc/lang/gprolog/Makefile 2012/12/14 14:42:53 1.17
@@ -1,12 +1,13 @@
-# $NetBSD: Makefile,v 1.16 2012/10/02 20:11:42 asau Exp $
+# $NetBSD: Makefile,v 1.17 2012/12/14 14:42:53 wiz Exp $
-DISTNAME= gprolog-1.3.1
+DISTNAME= gprolog-1.4.2
CATEGORIES= lang
MASTER_SITES= ${HOMEPAGE}
MAINTAINER= brook@nmsu.edu
HOMEPAGE= http://www.gprolog.org/
COMMENT= GNU prolog compiler and interpreter
+LICENSE= gnu-lgpl-v3 OR gnu-gpl-v2
GNU_CONFIGURE= yes
CONFIGURE_DIRS= src
--- pkgsrc/lang/gprolog/PLIST 2010/05/19 09:10:55 1.5
+++ pkgsrc/lang/gprolog/PLIST 2012/12/14 14:42:53 1.6
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.5 2010/05/19 09:10:55 asau Exp $
+@comment $NetBSD: PLIST,v 1.6 2012/12/14 14:42:53 wiz Exp $
bin/fd2c
bin/gplc
bin/gprolog
@@ -9,6 +9,8 @@
lib/${PKGNAME}/COPYING
lib/${PKGNAME}/ChangeLog
lib/${PKGNAME}/NEWS
+lib/${PKGNAME}/README
+lib/${PKGNAME}/gprolog.ico
lib/${PKGNAME}/VERSION
lib/${PKGNAME}/bin/fd2c
lib/${PKGNAME}/bin/gplc
@@ -116,6 +118,7 @@
share/doc/gprolog/html/gprolog071.html
share/doc/gprolog/html/gprolog072.html
share/doc/gprolog/html/gprolog073.html
+share/doc/gprolog/html/gprolog074.html
share/doc/gprolog/html/index.html
share/doc/gprolog/html/next_motif.gif
share/doc/gprolog/html/previous_motif.gif
@@ -145,6 +148,7 @@
share/examples/gprolog/ExamplesFD/eq20.pl
share/examples/gprolog/ExamplesFD/five.pl
share/examples/gprolog/ExamplesFD/gardner.pl
+share/examples/gprolog/ExamplesFD/interval.pl
share/examples/gprolog/ExamplesFD/langford.pl
share/examples/gprolog/ExamplesFD/magic.pl
share/examples/gprolog/ExamplesFD/magsq.pl
--- pkgsrc/lang/gprolog/distinfo 2010/05/19 09:10:55 1.10
+++ pkgsrc/lang/gprolog/distinfo 2012/12/14 14:42:53 1.11
@@ -1,7 +1,5 @@
-$NetBSD: distinfo,v 1.10 2010/05/19 09:10:55 asau Exp $
+$NetBSD: distinfo,v 1.11 2012/12/14 14:42:53 wiz Exp $
-SHA1 (gprolog-1.3.1.tar.gz) = d2912847725a0d917c6937c9402bcc21072b1a73
+SHA1 (gprolog-1.4.2.tar.gz) = 76d366910e50e56aa06c98a0a8903f98ec7f1c21
-RMD160 (gprolog-1.3.1.tar.gz) = f942f82e4034a59fd0bc5276542872375d7dc801
+RMD160 (gprolog-1.4.2.tar.gz) = 724af5c067860ed427304b1344bb498d7a908ade
-Size (gprolog-1.3.1.tar.gz) = 2949369 bytes
+Size (gprolog-1.4.2.tar.gz) = 3358528 bytes
-SHA1 (patch-aa) = ed0551e82547c6bce9dab37b1628812976399d2e
-SHA1 (patch-ab) = cd0305c3c407e815f92a36af7e30c5085e8d7aa7