From 037ce4dc7d70bbe0bc42477c49ed2799b7d35ae1 Mon Sep 17 00:00:00 2001 From: asau Date: Tue, 11 Jun 2013 20:05:37 +0000 Subject: 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 --- lang/gprolog/Makefile | 6 ++++-- lang/gprolog/PLIST | 9 ++++----- lang/gprolog/distinfo | 8 ++++---- 3 files changed, 12 insertions(+), 11 deletions(-) (limited to 'lang') diff --git a/lang/gprolog/Makefile b/lang/gprolog/Makefile index 3fe64482efa..19670008753 100644 --- a/lang/gprolog/Makefile +++ b/lang/gprolog/Makefile @@ -1,6 +1,6 @@ -# $NetBSD: Makefile,v 1.17 2012/12/14 14:42:53 wiz Exp $ +# $NetBSD: Makefile,v 1.18 2013/06/11 20:05:37 asau Exp $ -DISTNAME= gprolog-1.4.2 +DISTNAME= gprolog-1.4.4 CATEGORIES= lang MASTER_SITES= ${HOMEPAGE} @@ -20,4 +20,6 @@ CONFIGURE_ARGS+= --with-install-dir=${PREFIX}/lib/${PKGNAME_NOREV} \ # Apparently build failures hang forever if multiple MAKE_JOBS are in use. MAKE_JOBS_SAFE= no +TEST_TARGET= check + .include "../../mk/bsd.pkg.mk" diff --git a/lang/gprolog/PLIST b/lang/gprolog/PLIST index 0b1b17e2afc..eaf3aad9903 100644 --- a/lang/gprolog/PLIST +++ b/lang/gprolog/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.6 2012/12/14 14:42:53 wiz Exp $ +@comment $NetBSD: PLIST,v 1.7 2013/06/11 20:05:37 asau Exp $ bin/fd2c bin/gplc bin/gprolog @@ -10,7 +10,6 @@ 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 @@ -19,6 +18,7 @@ lib/${PKGNAME}/bin/hexgplc lib/${PKGNAME}/bin/ma2asm lib/${PKGNAME}/bin/pl2wam lib/${PKGNAME}/bin/wam2ma +lib/${PKGNAME}/gprolog.ico lib/${PKGNAME}/include/fd_to_c.h lib/${PKGNAME}/include/gprolog.h lib/${PKGNAME}/lib/all_fd_bips.o @@ -31,11 +31,9 @@ lib/${PKGNAME}/lib/libengine_pl.a lib/${PKGNAME}/lib/liblinedit.a lib/${PKGNAME}/lib/top_level.o share/doc/gprolog/compil-scheme.eps -share/doc/gprolog/compil-scheme.gif share/doc/gprolog/compil-scheme.pdf share/doc/gprolog/contents_motif.gif share/doc/gprolog/debug-box.eps -share/doc/gprolog/debug-box.gif share/doc/gprolog/debug-box.pdf share/doc/gprolog/gprolog.chm share/doc/gprolog/gprolog.dvi @@ -118,10 +116,11 @@ share/doc/gprolog/html/gprolog070.html 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 +share/doc/gprolog/logo.eps +share/doc/gprolog/logo.pdf share/examples/gprolog/ExamplesC/Makefile share/examples/gprolog/ExamplesC/README share/examples/gprolog/ExamplesC/examp.pl diff --git a/lang/gprolog/distinfo b/lang/gprolog/distinfo index 6225011ed28..694ad17a0a2 100644 --- a/lang/gprolog/distinfo +++ b/lang/gprolog/distinfo @@ -1,5 +1,5 @@ -$NetBSD: distinfo,v 1.11 2012/12/14 14:42:53 wiz Exp $ +$NetBSD: distinfo,v 1.12 2013/06/11 20:05:37 asau Exp $ -SHA1 (gprolog-1.4.2.tar.gz) = 76d366910e50e56aa06c98a0a8903f98ec7f1c21 -RMD160 (gprolog-1.4.2.tar.gz) = 724af5c067860ed427304b1344bb498d7a908ade -Size (gprolog-1.4.2.tar.gz) = 3358528 bytes +SHA1 (gprolog-1.4.4.tar.gz) = 658b0efa5d916510dcddbbd980d90bc4d43a6e58 +RMD160 (gprolog-1.4.4.tar.gz) = 081ad0e6a2edd47de63db79ab1dc65a0e0d341da +Size (gprolog-1.4.4.tar.gz) = 3538152 bytes -- cgit v1.2.3