From f2ff387f21f05789e3e81571c96eb133e1f1d1bf Mon Sep 17 00:00:00 2001 From: kristerw Date: Wed, 2 Aug 2006 15:15:35 +0000 Subject: Update swi-prolog* to 5.6.17. The 5.6.x release consolidates the 5.5.x development stream started in 2004. Highlights: * UNICODE character set support * Unbounded integer arithmetic and rational numbers * New and faster CHR release * Added clp(r) constraints over reals * Many enhancements to the web and notably sematic web libraries * Much more ... --- lang/swi-prolog-lite/Makefile | 6 +++--- lang/swi-prolog-lite/Makefile.common | 4 ++-- lang/swi-prolog-lite/PLIST | 26 +++++++++++++++++++++----- lang/swi-prolog-lite/distinfo | 18 +++++++++--------- lang/swi-prolog-lite/patches/patch-aa | 35 +++++++++-------------------------- lang/swi-prolog-lite/patches/patch-ab | 27 +++++++++------------------ lang/swi-prolog-lite/patches/patch-ad | 26 ++++++++++++++------------ lang/swi-prolog-lite/patches/patch-ae | 14 +++++++------- lang/swi-prolog-lite/patches/patch-ag | 22 +++++++++++----------- 9 files changed, 85 insertions(+), 93 deletions(-) (limited to 'lang/swi-prolog-lite') diff --git a/lang/swi-prolog-lite/Makefile b/lang/swi-prolog-lite/Makefile index 4c2d9c6feb0..4cf6d562a76 100644 --- a/lang/swi-prolog-lite/Makefile +++ b/lang/swi-prolog-lite/Makefile @@ -1,18 +1,18 @@ -# $NetBSD: Makefile,v 1.9 2006/03/04 21:29:56 jlam Exp $ +# $NetBSD: Makefile,v 1.10 2006/08/02 15:15:36 kristerw Exp $ .include "Makefile.common" PKGNAME= swi-prolog-lite-${SWIPLVERS} -PKGREVISION= 1 MAINTAINER= pkgsrc-users@NetBSD.org COMMENT= ISO/Edinburgh-style Prolog compiler GNU_CONFIGURE= yes -USE_GNU_READLINE= # uses rl_event_hook() interface +USE_GNU_READLINE= yes # uses rl_event_hook() interface CONFIGURE_ENV+= PL=swi-prolog CONFIGURE_ARGS+= --disable-mt +USE_TOOLS+= gmake #CPPFLAGS+= -DPREFIX=\"${PREFIX}\" #CPPFLAGS+= -DSWIPLVERS=\"${SWIPLVERS}\" diff --git a/lang/swi-prolog-lite/Makefile.common b/lang/swi-prolog-lite/Makefile.common index 4df520ff0bb..098c76cc968 100644 --- a/lang/swi-prolog-lite/Makefile.common +++ b/lang/swi-prolog-lite/Makefile.common @@ -1,6 +1,6 @@ -# $NetBSD: Makefile.common,v 1.3 2005/12/05 20:50:28 rillig Exp $ +# $NetBSD: Makefile.common,v 1.4 2006/08/02 15:15:36 kristerw Exp $ -SWIPLVERS= 5.2.13 +SWIPLVERS= 5.6.17 DISTNAME= pl-${SWIPLVERS} CATEGORIES= lang MASTER_SITES= ftp://ftp.swi.psy.uva.nl/SWI-Prolog/ diff --git a/lang/swi-prolog-lite/PLIST b/lang/swi-prolog-lite/PLIST index 3145c78a8e6..0240c34cd39 100644 --- a/lang/swi-prolog-lite/PLIST +++ b/lang/swi-prolog-lite/PLIST @@ -1,14 +1,13 @@ -@comment $NetBSD: PLIST,v 1.1.1.1 2004/05/20 11:09:17 hubertf Exp $ +@comment $NetBSD: PLIST,v 1.2 2006/08/02 15:15:36 kristerw Exp $ bin/plld bin/plrc bin/swi-prolog -include/SWI-Prolog.h -include/SWI-Stream.h lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/plld lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/plrc lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/swi-prolog lib/swi-prolog-${PKGVERSION}/bin/swipl lib/swi-prolog-${PKGVERSION}/boot/apply.pl +lib/swi-prolog-${PKGVERSION}/boot/attvar.pl lib/swi-prolog-${PKGVERSION}/boot/autoload.pl lib/swi-prolog-${PKGVERSION}/boot/bags.pl lib/swi-prolog-${PKGVERSION}/boot/dwim.pl @@ -34,17 +33,25 @@ lib/swi-prolog-${PKGVERSION}/dotfiles/edit lib/swi-prolog-${PKGVERSION}/include/SWI-Prolog.h lib/swi-prolog-${PKGVERSION}/include/SWI-Stream.h lib/swi-prolog-${PKGVERSION}/include/stub.c +lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/libpl.a lib/swi-prolog-${PKGVERSION}/library/INDEX.pl @unexec rm -f %D/%F lib/swi-prolog-${PKGVERSION}/library/MANUAL lib/swi-prolog-${PKGVERSION}/library/am_match.pl +lib/swi-prolog-${PKGVERSION}/library/assoc.pl lib/swi-prolog-${PKGVERSION}/library/backcomp.pl lib/swi-prolog-${PKGVERSION}/library/bim.pl lib/swi-prolog-${PKGVERSION}/library/check.pl lib/swi-prolog-${PKGVERSION}/library/checklast.pl lib/swi-prolog-${PKGVERSION}/library/checkselect.pl +lib/swi-prolog-${PKGVERSION}/library/clp/bounds.pl +lib/swi-prolog-${PKGVERSION}/library/clp/clp_distinct.pl +lib/swi-prolog-${PKGVERSION}/library/clp/clp_events.pl +lib/swi-prolog-${PKGVERSION}/library/clp/simplex.pl lib/swi-prolog-${PKGVERSION}/library/ctypes.pl +lib/swi-prolog-${PKGVERSION}/library/date.pl lib/swi-prolog-${PKGVERSION}/library/debug.pl +lib/swi-prolog-${PKGVERSION}/library/dif.pl lib/swi-prolog-${PKGVERSION}/library/edinburgh.pl lib/swi-prolog-${PKGVERSION}/library/edit.pl lib/swi-prolog-${PKGVERSION}/library/emacs_interface.pl @@ -57,10 +64,14 @@ lib/swi-prolog-${PKGVERSION}/library/listing.pl lib/swi-prolog-${PKGVERSION}/library/lists.pl lib/swi-prolog-${PKGVERSION}/library/main.pl lib/swi-prolog-${PKGVERSION}/library/make.pl -lib/swi-prolog-${PKGVERSION}/library/netscape.pl +lib/swi-prolog-${PKGVERSION}/library/nb_set.pl lib/swi-prolog-${PKGVERSION}/library/occurs.pl +lib/swi-prolog-${PKGVERSION}/library/operators.pl lib/swi-prolog-${PKGVERSION}/library/option.pl lib/swi-prolog-${PKGVERSION}/library/ordsets.pl +lib/swi-prolog-${PKGVERSION}/library/prolog_clause.pl +lib/swi-prolog-${PKGVERSION}/library/prolog_stack.pl +lib/swi-prolog-${PKGVERSION}/library/prolog_xref.pl lib/swi-prolog-${PKGVERSION}/library/oset.pl lib/swi-prolog-${PKGVERSION}/library/qpforeign.pl lib/swi-prolog-${PKGVERSION}/library/qsave.pl @@ -73,8 +84,13 @@ lib/swi-prolog-${PKGVERSION}/library/statistics.pl lib/swi-prolog-${PKGVERSION}/library/system.pl lib/swi-prolog-${PKGVERSION}/library/threadutil.pl lib/swi-prolog-${PKGVERSION}/library/tty.pl +lib/swi-prolog-${PKGVERSION}/library/ugraphs.pl +lib/swi-prolog-${PKGVERSION}/library/unicode/blocks.pl +lib/swi-prolog-${PKGVERSION}/library/unicode/unicode_data.pl lib/swi-prolog-${PKGVERSION}/library/url.pl -lib/swi-prolog-${PKGVERSION}/runtime/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/libpl.a +lib/swi-prolog-${PKGVERSION}/library/utf8.pl +lib/swi-prolog-${PKGVERSION}/library/when.pl +lib/swi-prolog-${PKGVERSION}/library/www_browser.pl lib/swi-prolog-${PKGVERSION}/swipl man/man1/plld.1 man/man1/plrc.1 diff --git a/lang/swi-prolog-lite/distinfo b/lang/swi-prolog-lite/distinfo index 8af6a6bd816..88c3b0abbdb 100644 --- a/lang/swi-prolog-lite/distinfo +++ b/lang/swi-prolog-lite/distinfo @@ -1,15 +1,15 @@ -$NetBSD: distinfo,v 1.4 2006/01/23 15:24:12 joerg Exp $ +$NetBSD: distinfo,v 1.5 2006/08/02 15:15:36 kristerw Exp $ -SHA1 (swi-prolog/pl-5.2.13.tar.gz) = 2c13a65698e0de72e84132f929f5377306c65453 -RMD160 (swi-prolog/pl-5.2.13.tar.gz) = 6b9c192c0c41b1eb0cf952cdb6cc09ef25c2d8c3 -Size (swi-prolog/pl-5.2.13.tar.gz) = 7122170 bytes -SHA1 (patch-aa) = 2b6164ed8cc4398c1e7cc2662016e202f61e51f2 -SHA1 (patch-ab) = 6482d77266eaa2619f58e2ae53d074e8d6fcd250 +SHA1 (swi-prolog/pl-5.6.17.tar.gz) = e46e98b3ec8a69de3dc2eb147a9df9cbd1a17399 +RMD160 (swi-prolog/pl-5.6.17.tar.gz) = 7f6786013b43c2e00b8e4a3799cbad1f7cac2fab +Size (swi-prolog/pl-5.6.17.tar.gz) = 10652203 bytes +SHA1 (patch-aa) = d886e3ff14f266393bddbaa3426e00d695527080 +SHA1 (patch-ab) = cfc7e3b54b6f6b14a64faabad5e6a71bd5a6692e SHA1 (patch-ac) = 909331edb76b5d0ce5003d86775524cd29e22a79 -SHA1 (patch-ad) = 194e2ef8d8af03e63b7398f61a705d75b14677b5 -SHA1 (patch-ae) = 41f52217706600aac46f8992b15682024b3b6b47 +SHA1 (patch-ad) = 1cf00bae2f4014ce3385ca4deb92caaa539b9c89 +SHA1 (patch-ae) = 8ff4586151109986137240aa436ba2144eb04c69 SHA1 (patch-af) = 6ca56f948950cc198fe255f064cc30fb6c1a58fb -SHA1 (patch-ag) = 77543e08081f10deb17d48e4e91f3074f1202400 +SHA1 (patch-ag) = 750c50997129c8b1ae2c3c4c317296249668430b SHA1 (patch-ah) = 3bfc13a920e0f3a79e6764a9ace89032989e2c67 SHA1 (patch-ai) = 9446bc38a0a7e02de303e68c923249b615c91833 SHA1 (patch-aj) = 4450848127eab9f05113aaabfa48725336353e79 diff --git a/lang/swi-prolog-lite/patches/patch-aa b/lang/swi-prolog-lite/patches/patch-aa index bddd855de7b..78380076d47 100644 --- a/lang/swi-prolog-lite/patches/patch-aa +++ b/lang/swi-prolog-lite/patches/patch-aa @@ -1,28 +1,20 @@ -$NetBSD: patch-aa,v 1.1.1.1 2004/05/20 11:09:17 hubertf Exp $ +$NetBSD: patch-aa,v 1.2 2006/08/02 15:15:36 kristerw Exp $ ---- src/Makefile.in.orig Tue Apr 9 20:09:31 2002 -+++ src/Makefile.in Wed May 1 19:41:34 2002 -@@ -63,6 +63,7 @@ - ARCH=@ARCH@ - INSTALL=@INSTALL@ - INSTALL_PROGRAM=@INSTALL_PROGRAM@ -+INSTALL_SCRIPT=@INSTALL_SCRIPT@ - INSTALL_DATA=@INSTALL_DATA@ - MKDIR=@MKDIR@ - REL_LN=$(srcdir)/rel-ln -@@ -71,8 +72,9 @@ +--- src/Makefile.in.orig 2006-08-02 02:41:45.000000000 +0200 ++++ src/Makefile.in 2006-08-02 02:45:03.000000000 +0200 +@@ -69,8 +69,9 @@ CWFLAGS=@CWFLAGS@ CIFLAGS=@CIFLAGS@ CMFLAGS=@CMFLAGS@ -CFLAGS= $(CWFLAGS) $(COFLAGS) $(CIFLAGS) $(CMFLAGS) -+CFLAGS+= $(CWFLAGS) $(COFLAGS) $(CIFLAGS) $(CMFLAGS) ++CFLAGS+= $(CWFLAGS) $(COFLAGS) $(CIFLAGS) $(CMFLAGS) LDFLAGS=@LDFLAGS@ +CPPFLAGS=@CPPFLAGS@ PLFOREIGN=@PLFOREIGN@ -@@ -135,7 +137,7 @@ - plld +@@ -153,7 +154,7 @@ + headers rc-lib tai-lib $(MKLIBS) system startup index plld .c.o: - $(CC) -c -I. -I$(srcdir) -I$(srcdir)/rc $(CFLAGS) $< @COUTOPT@ @@ -30,21 +22,12 @@ $NetBSD: patch-aa,v 1.1.1.1 2004/05/20 11:09:17 hubertf Exp $ system: $(PL) startup: $(STARTUPPATH) -@@ -242,7 +244,7 @@ +@@ -288,7 +289,7 @@ ar x `$(CC) -print-libgcc-file-name` $@ - plld: $(srcdir)/plld.c + plld: $(srcdir)/plld.c parms.h - $(CC) -I. -I$(srcdir) $(CFLAGS) -o $@ $(srcdir)/plld.c + $(CC) -I. -I$(srcdir) $(CPPFLAGS) $(CFLAGS) -o $@ $(srcdir)/plld.c tags: $(srcdir)/TAGS -@@ -322,7 +324,7 @@ - $(INSTALL_DATA) ../dotfiles/dotplrc $(PLBASE)/dotfiles - $(INSTALL_DATA) ../dotfiles/dotxpcerc $(PLBASE)/dotfiles - $(INSTALL_DATA) ../dotfiles/README $(PLBASE)/dotfiles -- $(INSTALL_PROGRAM) ../dotfiles/edit $(PLBASE)/dotfiles -+ $(INSTALL_SCRIPT) ../dotfiles/edit $(PLBASE)/dotfiles - - iinclude:: - cd ../include; \ diff --git a/lang/swi-prolog-lite/patches/patch-ab b/lang/swi-prolog-lite/patches/patch-ab index bd63b46550a..a2aec1df948 100644 --- a/lang/swi-prolog-lite/patches/patch-ab +++ b/lang/swi-prolog-lite/patches/patch-ab @@ -1,22 +1,13 @@ -$NetBSD: patch-ab,v 1.2 2005/09/17 19:35:51 minskim Exp $ +$NetBSD: patch-ab,v 1.3 2006/08/02 15:15:36 kristerw Exp $ ---- src/configure.orig 2004-01-21 02:08:17.000000000 -0800 -+++ src/configure -@@ -1227,7 +1227,7 @@ fi - EXTRAOBJ="" - EXTRAHDR="" - INSTALLTARGET=dv-install --PL=pl -+#PL=pl - PLLIB=libpl.a - RT="" - PLVERSION=`cat ../VERSION` -@@ -11281,7 +11281,7 @@ fi +--- src/configure.orig 2006-08-02 02:46:02.000000000 +0200 ++++ src/configure 2006-08-02 02:46:52.000000000 +0200 +@@ -14115,7 +14115,7 @@ + if test "x$MKSHARED" = "x"; then + MKSHARED=yes fi - ;; - *darwin*) - PL=swipl + #PL=swipl - SO_pic="-fPIC" - cat >>confdefs.h <<\_ACEOF - #define USE_SEM_OPEN 1 + SO_EXT=dylib + SO_pic="-fno-common" + SO_PIC="-fno-common" diff --git a/lang/swi-prolog-lite/patches/patch-ad b/lang/swi-prolog-lite/patches/patch-ad index a62cab2c7c8..bed16e9329f 100644 --- a/lang/swi-prolog-lite/patches/patch-ad +++ b/lang/swi-prolog-lite/patches/patch-ad @@ -1,13 +1,15 @@ -$NetBSD: patch-ad,v 1.1.1.1 2004/05/20 11:09:17 hubertf Exp $ +$NetBSD: patch-ad,v 1.2 2006/08/02 15:15:36 kristerw Exp $ ---- packages/Makefile.in.orig Thu Oct 16 16:06:35 2003 -+++ packages/Makefile.in -@@ -33,7 +33,7 @@ CNFG=@CNFG@ - - # Values filled from the main SWI-Prolog configure - --MAKE=@MAKE@ -+MAKE=gmake - prefix=@prefix@ - exec_prefix=@exec_prefix@ - bindir=@bindir@ +--- packages/Makefile.in.orig 2005-11-12 15:15:23.000000000 +0100 ++++ packages/Makefile.in 2006-08-02 05:24:29.000000000 +0200 +@@ -36,8 +36,8 @@ + PLARCH=@ARCH@ + PLLDFLAGS=@LDFLAGS@ + PLDIR=$(shell dirname `pwd`) +-PLINCL=$(PLDIR)/include +-LIBDIR=$(PLDIR)/lib/$(PLARCH) ++PLINCL=$(PLBASE)/include ++LIBDIR=$(PLBASE)/lib/$(PLARCH) + PLSHARED=@PLSHARED@ + INSTALL=@INSTALL@ + INSTALL_DATA=@INSTALL_DATA@ diff --git a/lang/swi-prolog-lite/patches/patch-ae b/lang/swi-prolog-lite/patches/patch-ae index 6231ca76568..12da520c3cb 100644 --- a/lang/swi-prolog-lite/patches/patch-ae +++ b/lang/swi-prolog-lite/patches/patch-ae @@ -1,8 +1,8 @@ -$NetBSD: patch-ae,v 1.1.1.1 2004/05/20 11:09:17 hubertf Exp $ +$NetBSD: patch-ae,v 1.2 2006/08/02 15:15:36 kristerw Exp $ ---- packages/xpce/pl/src/Makefile.orig 2003-10-10 12:24:18.000000000 +0200 -+++ packages/xpce/pl/src/Makefile -@@ -33,7 +33,7 @@ BINDIR= ../../$(builddir) +--- packages/xpce/pl/src/Makefile.orig 2006-08-02 02:49:06.000000000 +0200 ++++ packages/xpce/pl/src/Makefile 2006-08-02 02:51:19.000000000 +0200 +@@ -33,7 +33,7 @@ OBJDIR= ../../$(builddir)/pl CONFIG= ../../$(builddir)/config.h @@ -11,19 +11,19 @@ $NetBSD: patch-ae,v 1.1.1.1 2004/05/20 11:09:17 hubertf Exp $ PL= pl PLLD= plld -pl $(PL) ITFOBJ= $(addprefix $(OBJDIR)/, interface.o link.o pcecall.o) -@@ -114,14 +114,14 @@ $(XPCESO): $(SOITF) $(libXPCE) $(SOEXTR) +@@ -114,14 +114,14 @@ fi sopce$(XPCESO): - LD_RUN_PATH="$(libdir):$$LD_RUN_PATH"; \ + LD_RUN_PATH="$(libdir):${X11BASE}/lib:$$LD_RUN_PATH"; \ export LD_RUN_PATH; \ - $(PLLD) -shared $(SOITF) -L$(XLIB) -L$(LIBDIR) -lXPCE -o $(XPCESO); + $(PLLD) -shared $(SOITF) $(LDFLAGS) -L$(XLIB) -L$(LIBDIR) -lXPCE -o $(XPCESO); axpce$(XPCESO): - LD_RUN_PATH="$(libdir):$$LD_RUN_PATH"; \ + LD_RUN_PATH="$(libdir):${X11BASE}/lib:$$LD_RUN_PATH"; \ export LD_RUN_PATH; \ - $(PLLD) -shared $(SOITF) $(SOEXTR) -L$(LIBDIR) \ + $(PLLD) -shared $(LDFLAGS) $(SOITF) $(SOEXTR) -L$(LIBDIR) \ - -lXPCE $(GCCLIB) -L$(XLIB) $(XLIBS) $(NETLIBS) -o $(XPCESO); + -lXPCE $(GCCLIB) -L$(XLIB) -Wl,-R${XLIB} -L${LOCALBASE}/lib -Wl,-R${LOCALBASE}/lib $(XLIBS) $(NETLIBS) -o $(XPCESO); diff --git a/lang/swi-prolog-lite/patches/patch-ag b/lang/swi-prolog-lite/patches/patch-ag index c0d76124c87..cd0184d747d 100644 --- a/lang/swi-prolog-lite/patches/patch-ag +++ b/lang/swi-prolog-lite/patches/patch-ag @@ -1,13 +1,13 @@ -$NetBSD: patch-ag,v 1.1.1.1 2004/05/20 11:09:17 hubertf Exp $ +$NetBSD: patch-ag,v 1.2 2006/08/02 15:15:36 kristerw Exp $ ---- src/pl-incl.h.orig 2004-01-05 10:43:45.000000000 +0100 -+++ src/pl-incl.h -@@ -206,7 +206,7 @@ gcc. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ +--- packages/xpce/pl/src/Makefile.bin.in.orig 2005-01-31 11:47:37.000000000 +0100 ++++ packages/xpce/pl/src/Makefile.bin.in 2006-08-02 16:34:35.000000000 +0200 +@@ -59,7 +59,7 @@ + @PLBASE=$(PWD); \ + if [ -d xpce ]; then \ + echo $(MAKE) PL=$$PLBASE/$(BPL); \ +- (cd xpce/prolog/lib; $(MAKE) PL=$$PLBASE/$(BPL)); \ ++ (cd xpce/prolog/lib; $(MAKE) PL=$$PLBASE/bin/$(PLARCH)/$(XPCE)); \ + fi - #ifndef __unix__ --#if defined(_AIX) || defined(__APPLE__) || defined(__unix) || defined(__BEOS__) -+#if defined(_AIX) || defined(__APPLE__) || defined(__unix) || defined(__BEOS__) || defined(__NetBSD__) - #define __unix__ 1 - #endif - #endif + install: all -- cgit v1.2.3