PR/47325 CVS commit: pkgsrc/lang/gprolog

["Thomas Klausner" <wiz%netbsd.org@localhost>]

The following reply was made to PR pkg/47325; it has been noted by GNATS.

From: "Thomas Klausner" <wiz%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/47325 CVS commit: pkgsrc/lang/gprolog
Date: Fri, 14 Dec 2012 14:42:54 +0000

 Module Name:   pkgsrc
 Committed By:  wiz
 Date:          Fri Dec 14 14:42:53 UTC 2012
 
 Modified Files:
        pkgsrc/lang/gprolog: Makefile PLIST distinfo
 Removed Files:
        pkgsrc/lang/gprolog/patches: patch-aa patch-ab
 
 Log Message:
 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@localhost>
 * 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@localhost> (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
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.16 -r1.17 pkgsrc/lang/gprolog/Makefile
 cvs rdiff -u -r1.5 -r1.6 pkgsrc/lang/gprolog/PLIST
 cvs rdiff -u -r1.10 -r1.11 pkgsrc/lang/gprolog/distinfo
 cvs rdiff -u -r1.7 -r0 pkgsrc/lang/gprolog/patches/patch-aa
 cvs rdiff -u -r1.8 -r0 pkgsrc/lang/gprolog/patches/patch-ab
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.