Tue Jun 11 20:05:37 2013 UTC ()
Update to GNU Prolog 1.4.4

Changes in GNU Prolog version 1.4.4:

* add Prolog flags c_cc_version_data
* fix a regression bug in linedit
* fix a little bug in the debugger
* add subtract/3 built-in predicate

Changes in GNU Prolog version 1.4.3:

* add new C foreign interface functions converting term to/from C strings
* modify top-level banner to show 32/64 bits, compile date, C compiler name
* modify Linedit: fix Prolog prompt when Linedit is not activated
* modify linedit: accept gui=silent in env var LINEDIT
  (does not warn if the windows gui DLL is not found)
* fixes for Windows 8 (i686 and x86_64) with MSVS 2012, mingw64 gcc > 4.5.3
* add Prolog flags address_bits, compiled_at, c_cc, c_cflags, c_ldflags
* fix a bug in the FD solver (option backtracks in fd_labeling)
* improve the FD solver (better propagation for reified constraints at labeling)
* improve the FD solver (add labeling option: value_method(bisect))
* improve the FD solver (avoid some cases of C stack overflow, improved fd_domain/3)
* fix a bug in the FD solver (regression bug in 1.4.2)
* add PlULong to gprolog.h and PlThrow(ball) to C foreign interface


(asau)
diff -r1.17 -r1.18 pkgsrc/lang/gprolog/Makefile
diff -r1.6 -r1.7 pkgsrc/lang/gprolog/PLIST
diff -r1.11 -r1.12 pkgsrc/lang/gprolog/distinfo
cvs diff -r1.17 -r1.18 pkgsrc/lang/gprolog/Makefile (expand / switch to unified diff)

--- pkgsrc/lang/gprolog/Makefile 2012/12/14 14:42:53 1.17
+++ pkgsrc/lang/gprolog/Makefile 2013/06/11 20:05:37 1.18
@@ -1,23 +1,25 @@ @@ -1,23 +1,25 @@
1# $NetBSD: Makefile,v 1.17 2012/12/14 14:42:53 wiz Exp $ 1# $NetBSD: Makefile,v 1.18 2013/06/11 20:05:37 asau Exp $
2 2
3DISTNAME= gprolog-1.4.2 3DISTNAME= gprolog-1.4.4
4CATEGORIES= lang 4CATEGORIES= lang
5MASTER_SITES= ${HOMEPAGE} 5MASTER_SITES= ${HOMEPAGE}
6 6
7MAINTAINER= brook@nmsu.edu 7MAINTAINER= brook@nmsu.edu
8HOMEPAGE= http://www.gprolog.org/ 8HOMEPAGE= http://www.gprolog.org/
9COMMENT= GNU prolog compiler and interpreter 9COMMENT= GNU prolog compiler and interpreter
10LICENSE= gnu-lgpl-v3 OR gnu-gpl-v2 10LICENSE= gnu-lgpl-v3 OR gnu-gpl-v2
11 11
12GNU_CONFIGURE= yes 12GNU_CONFIGURE= yes
13CONFIGURE_DIRS= src 13CONFIGURE_DIRS= src
14CONFIGURE_ARGS+= --with-install-dir=${PREFIX}/lib/${PKGNAME_NOREV} \ 14CONFIGURE_ARGS+= --with-install-dir=${PREFIX}/lib/${PKGNAME_NOREV} \
15 --with-doc-dir=${PREFIX}/share/doc/gprolog \ 15 --with-doc-dir=${PREFIX}/share/doc/gprolog \
16 --with-html-dir=${PREFIX}/share/doc/gprolog/html \ 16 --with-html-dir=${PREFIX}/share/doc/gprolog/html \
17 --with-examples-dir=${PREFIX}/share/examples/gprolog \ 17 --with-examples-dir=${PREFIX}/share/examples/gprolog \
18 --with-c-flags=${CFLAGS:Q} 18 --with-c-flags=${CFLAGS:Q}
19 19
20# 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.
21MAKE_JOBS_SAFE= no 21MAKE_JOBS_SAFE= no
22 22
 23TEST_TARGET= check
 24
23.include "../../mk/bsd.pkg.mk" 25.include "../../mk/bsd.pkg.mk"
cvs diff -r1.6 -r1.7 pkgsrc/lang/gprolog/PLIST (expand / switch to unified diff)

--- pkgsrc/lang/gprolog/PLIST 2012/12/14 14:42:53 1.6
+++ pkgsrc/lang/gprolog/PLIST 2013/06/11 20:05:37 1.7
@@ -1,51 +1,49 @@ @@ -1,51 +1,49 @@
1@comment $NetBSD: PLIST,v 1.6 2012/12/14 14:42:53 wiz Exp $ 1@comment $NetBSD: PLIST,v 1.7 2013/06/11 20:05:37 asau Exp $
2bin/fd2c 2bin/fd2c
3bin/gplc 3bin/gplc
4bin/gprolog 4bin/gprolog
5bin/hexgplc 5bin/hexgplc
6bin/ma2asm 6bin/ma2asm
7bin/pl2wam 7bin/pl2wam
8bin/wam2ma 8bin/wam2ma
9lib/${PKGNAME}/COPYING 9lib/${PKGNAME}/COPYING
10lib/${PKGNAME}/ChangeLog 10lib/${PKGNAME}/ChangeLog
11lib/${PKGNAME}/NEWS 11lib/${PKGNAME}/NEWS
12lib/${PKGNAME}/README 12lib/${PKGNAME}/README
13lib/${PKGNAME}/gprolog.ico 
14lib/${PKGNAME}/VERSION 13lib/${PKGNAME}/VERSION
15lib/${PKGNAME}/bin/fd2c 14lib/${PKGNAME}/bin/fd2c
16lib/${PKGNAME}/bin/gplc 15lib/${PKGNAME}/bin/gplc
17lib/${PKGNAME}/bin/gprolog 16lib/${PKGNAME}/bin/gprolog
18lib/${PKGNAME}/bin/hexgplc 17lib/${PKGNAME}/bin/hexgplc
19lib/${PKGNAME}/bin/ma2asm 18lib/${PKGNAME}/bin/ma2asm
20lib/${PKGNAME}/bin/pl2wam 19lib/${PKGNAME}/bin/pl2wam
21lib/${PKGNAME}/bin/wam2ma 20lib/${PKGNAME}/bin/wam2ma
 21lib/${PKGNAME}/gprolog.ico
22lib/${PKGNAME}/include/fd_to_c.h 22lib/${PKGNAME}/include/fd_to_c.h
23lib/${PKGNAME}/include/gprolog.h 23lib/${PKGNAME}/include/gprolog.h
24lib/${PKGNAME}/lib/all_fd_bips.o 24lib/${PKGNAME}/lib/all_fd_bips.o
25lib/${PKGNAME}/lib/all_pl_bips.o 25lib/${PKGNAME}/lib/all_pl_bips.o
26lib/${PKGNAME}/lib/debugger.o 26lib/${PKGNAME}/lib/debugger.o
27lib/${PKGNAME}/lib/libbips_fd.a 27lib/${PKGNAME}/lib/libbips_fd.a
28lib/${PKGNAME}/lib/libbips_pl.a 28lib/${PKGNAME}/lib/libbips_pl.a
29lib/${PKGNAME}/lib/libengine_fd.a 29lib/${PKGNAME}/lib/libengine_fd.a
30lib/${PKGNAME}/lib/libengine_pl.a 30lib/${PKGNAME}/lib/libengine_pl.a
31lib/${PKGNAME}/lib/liblinedit.a 31lib/${PKGNAME}/lib/liblinedit.a
32lib/${PKGNAME}/lib/top_level.o 32lib/${PKGNAME}/lib/top_level.o
33share/doc/gprolog/compil-scheme.eps 33share/doc/gprolog/compil-scheme.eps
34share/doc/gprolog/compil-scheme.gif 
35share/doc/gprolog/compil-scheme.pdf 34share/doc/gprolog/compil-scheme.pdf
36share/doc/gprolog/contents_motif.gif 35share/doc/gprolog/contents_motif.gif
37share/doc/gprolog/debug-box.eps 36share/doc/gprolog/debug-box.eps
38share/doc/gprolog/debug-box.gif 
39share/doc/gprolog/debug-box.pdf 37share/doc/gprolog/debug-box.pdf
40share/doc/gprolog/gprolog.chm 38share/doc/gprolog/gprolog.chm
41share/doc/gprolog/gprolog.dvi 39share/doc/gprolog/gprolog.dvi
42share/doc/gprolog/gprolog.html 40share/doc/gprolog/gprolog.html
43share/doc/gprolog/gprolog.pdf 41share/doc/gprolog/gprolog.pdf
44share/doc/gprolog/gprolog.ps 42share/doc/gprolog/gprolog.ps
45share/doc/gprolog/html/contents_motif.gif 43share/doc/gprolog/html/contents_motif.gif
46share/doc/gprolog/html/gprolog-idx.html 44share/doc/gprolog/html/gprolog-idx.html
47share/doc/gprolog/html/gprolog.css 45share/doc/gprolog/html/gprolog.css
48share/doc/gprolog/html/gprolog001.html 46share/doc/gprolog/html/gprolog001.html
49share/doc/gprolog/html/gprolog002.html 47share/doc/gprolog/html/gprolog002.html
50share/doc/gprolog/html/gprolog003.html 48share/doc/gprolog/html/gprolog003.html
51share/doc/gprolog/html/gprolog004.html 49share/doc/gprolog/html/gprolog004.html
@@ -108,30 +106,31 @@ share/doc/gprolog/html/gprolog060.html @@ -108,30 +106,31 @@ share/doc/gprolog/html/gprolog060.html
108share/doc/gprolog/html/gprolog061.html 106share/doc/gprolog/html/gprolog061.html
109share/doc/gprolog/html/gprolog062.html 107share/doc/gprolog/html/gprolog062.html
110share/doc/gprolog/html/gprolog063.html 108share/doc/gprolog/html/gprolog063.html
111share/doc/gprolog/html/gprolog064.html 109share/doc/gprolog/html/gprolog064.html
112share/doc/gprolog/html/gprolog065.html 110share/doc/gprolog/html/gprolog065.html
113share/doc/gprolog/html/gprolog066.html 111share/doc/gprolog/html/gprolog066.html
114share/doc/gprolog/html/gprolog067.html 112share/doc/gprolog/html/gprolog067.html
115share/doc/gprolog/html/gprolog068.html 113share/doc/gprolog/html/gprolog068.html
116share/doc/gprolog/html/gprolog069.html 114share/doc/gprolog/html/gprolog069.html
117share/doc/gprolog/html/gprolog070.html 115share/doc/gprolog/html/gprolog070.html
118share/doc/gprolog/html/gprolog071.html 116share/doc/gprolog/html/gprolog071.html
119share/doc/gprolog/html/gprolog072.html 117share/doc/gprolog/html/gprolog072.html
120share/doc/gprolog/html/gprolog073.html 118share/doc/gprolog/html/gprolog073.html
121share/doc/gprolog/html/gprolog074.html 
122share/doc/gprolog/html/index.html 119share/doc/gprolog/html/index.html
123share/doc/gprolog/html/next_motif.gif 120share/doc/gprolog/html/next_motif.gif
124share/doc/gprolog/html/previous_motif.gif 121share/doc/gprolog/html/previous_motif.gif
 122share/doc/gprolog/logo.eps
 123share/doc/gprolog/logo.pdf
125share/examples/gprolog/ExamplesC/Makefile 124share/examples/gprolog/ExamplesC/Makefile
126share/examples/gprolog/ExamplesC/README 125share/examples/gprolog/ExamplesC/README
127share/examples/gprolog/ExamplesC/examp.pl 126share/examples/gprolog/ExamplesC/examp.pl
128share/examples/gprolog/ExamplesC/examp_c.c 127share/examples/gprolog/ExamplesC/examp_c.c
129share/examples/gprolog/ExamplesC/new_main.pl 128share/examples/gprolog/ExamplesC/new_main.pl
130share/examples/gprolog/ExamplesC/new_main_c.c 129share/examples/gprolog/ExamplesC/new_main_c.c
131share/examples/gprolog/ExamplesFD/Makefile 130share/examples/gprolog/ExamplesFD/Makefile
132share/examples/gprolog/ExamplesFD/alpha.pl 131share/examples/gprolog/ExamplesFD/alpha.pl
133share/examples/gprolog/ExamplesFD/array.pl 132share/examples/gprolog/ExamplesFD/array.pl
134share/examples/gprolog/ExamplesFD/bdiag.pl 133share/examples/gprolog/ExamplesFD/bdiag.pl
135share/examples/gprolog/ExamplesFD/bdonald.pl 134share/examples/gprolog/ExamplesFD/bdonald.pl
136share/examples/gprolog/ExamplesFD/bpigeon.pl 135share/examples/gprolog/ExamplesFD/bpigeon.pl
137share/examples/gprolog/ExamplesFD/bqueens.pl 136share/examples/gprolog/ExamplesFD/bqueens.pl
cvs diff -r1.11 -r1.12 pkgsrc/lang/gprolog/distinfo (expand / switch to unified diff)

--- pkgsrc/lang/gprolog/distinfo 2012/12/14 14:42:53 1.11
+++ pkgsrc/lang/gprolog/distinfo 2013/06/11 20:05:37 1.12
@@ -1,5 +1,5 @@ @@ -1,5 +1,5 @@
1$NetBSD: distinfo,v 1.11 2012/12/14 14:42:53 wiz Exp $ 1$NetBSD: distinfo,v 1.12 2013/06/11 20:05:37 asau Exp $
2 2
3SHA1 (gprolog-1.4.2.tar.gz) = 76d366910e50e56aa06c98a0a8903f98ec7f1c21 3SHA1 (gprolog-1.4.4.tar.gz) = 658b0efa5d916510dcddbbd980d90bc4d43a6e58
4RMD160 (gprolog-1.4.2.tar.gz) = 724af5c067860ed427304b1344bb498d7a908ade 4RMD160 (gprolog-1.4.4.tar.gz) = 081ad0e6a2edd47de63db79ab1dc65a0e0d341da
5Size (gprolog-1.4.2.tar.gz) = 3358528 bytes 5Size (gprolog-1.4.4.tar.gz) = 3538152 bytes