pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/lang swi-prolog*: Update lang/swi-prolog* to 7.6.4



details:   https://anonhg.NetBSD.org/pkgsrc/rev/7a2e92124e63
branches:  trunk
changeset: 388597:7a2e92124e63
user:      leot <leot%pkgsrc.org@localhost>
date:      Mon Dec 10 14:59:50 2018 +0000

description:
swi-prolog*: Update lang/swi-prolog* to 7.6.4

pkgsrc changes:
 - Add patches/patch-src_os_pl-files.c to avoid overlapping `src'
   and `dst' in srtcpy(3).  It is an undefined behaviour and it leads to build
   issue in swi-prolog-packages on platforms that uses SSP.
 - readline dependency is no longer needed for swi-prolog-lite.
   The readline functionality is now provided as a package via
   swi-prolog-packages.
 - Inject CFLAGS via COFLAGS and pass -fPIC via CMFLAGS so that
   swi-prolog-jpl will link
 - Add patches/patch-src_pl-rsort.c to use FreeBSD qsort_r(3)
   instead of using nested functions. This is probably more portable
   and has less problems (e.g. does not need for PaX MPROTECT).

Changes:
7.6.x
-----
Major release. Multi-argument indexing, better multi-threaded
performance, threaded global GC (atoms and clauses), mode-directed
tabling, restored same expand and directive semantics for initial
load and reloading files, cleaner initializatin and command line
handling.

7.4.x
-----
Major release. More robust and better scalable support for multi-core
hardware, tabling, engines. Many enhancements to the RDF, HTTP and
SSL libraries. This is the first release licensed under the Simplified
BSD (BSD-2) license.

7.2.x
-----
Major release, providing native key-value support by means of dicts,
native strings using "hello world" syntax, web-accessible Prolog
engines (Pengines) and a high level SQL library called CQL.


Please note that this is just a summary of the most important changes,
for more information please give a look to:

 <http://www.swi-prolog.org/ChangeLog?branch=stable>

diffstat:

 lang/swi-prolog-jpl/Makefile                                |    7 +-
 lang/swi-prolog-lite/Makefile                               |    7 +-
 lang/swi-prolog-lite/Makefile.common                        |    9 +-
 lang/swi-prolog-lite/PLIST                                  |   87 ++--
 lang/swi-prolog-lite/buildlink3.mk                          |    5 +-
 lang/swi-prolog-lite/distinfo                               |   17 +-
 lang/swi-prolog-lite/patches/patch-ad                       |   24 +-
 lang/swi-prolog-lite/patches/patch-packages_Dialect.defs.in |   13 +-
 lang/swi-prolog-lite/patches/patch-src_os_pl-files.c        |   40 ++
 lang/swi-prolog-lite/patches/patch-src_pl-rsort.c           |  217 ++++++++++++
 lang/swi-prolog-lite/patches/patch-src_pl-thread.c          |   22 +
 lang/swi-prolog-packages/Makefile                           |   12 +-
 lang/swi-prolog-packages/PLIST                              |   63 ++-
 13 files changed, 416 insertions(+), 107 deletions(-)

diffs (truncated from 1007 to 300 lines):

diff -r a7dbd0dae99f -r 7a2e92124e63 lang/swi-prolog-jpl/Makefile
--- a/lang/swi-prolog-jpl/Makefile      Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-jpl/Makefile      Mon Dec 10 14:59:50 2018 +0000
@@ -1,6 +1,5 @@
-# $NetBSD: Makefile,v 1.4 2015/08/18 07:31:10 wiz Exp $
+# $NetBSD: Makefile,v 1.5 2018/12/10 14:59:50 leot Exp $
 
-PKGREVISION= 2
 .include "../../lang/swi-prolog-lite/Makefile.common"
 
 PKGNAME=               swi-prolog-jpl-${SWIPLVERS}
@@ -47,8 +46,6 @@
 .include "../../lang/swi-prolog-lite/buildlink3.mk"
 .include "../../mk/java-vm.mk"
 .include "../../devel/gmp/buildlink3.mk"
-.include "../../devel/ncurses/buildlink3.mk"
-# uses rl_event_hook() interface
-.include "../../devel/readline/buildlink3.mk"
+.include "../../mk/curses.buildlink3.mk"
 .include "../../mk/pthread.buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
diff -r a7dbd0dae99f -r 7a2e92124e63 lang/swi-prolog-lite/Makefile
--- a/lang/swi-prolog-lite/Makefile     Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-lite/Makefile     Mon Dec 10 14:59:50 2018 +0000
@@ -1,6 +1,5 @@
-# $NetBSD: Makefile,v 1.27 2018/09/06 19:07:12 leot Exp $
+# $NetBSD: Makefile,v 1.28 2018/12/10 14:59:50 leot Exp $
 
-PKGREVISION= 2
 .include "Makefile.common"
 
 PKGNAME=               swi-prolog-lite-${SWIPLVERS}
@@ -31,9 +30,7 @@
 
 TEST_TARGET=           check
 
-.include "../../devel/ncurses/buildlink3.mk"
-# uses rl_event_hook() interface
-.include "../../devel/readline/buildlink3.mk"
 .include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/curses.buildlink3.mk"
 .include "../../mk/pthread.buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
diff -r a7dbd0dae99f -r 7a2e92124e63 lang/swi-prolog-lite/Makefile.common
--- a/lang/swi-prolog-lite/Makefile.common      Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-lite/Makefile.common      Mon Dec 10 14:59:50 2018 +0000
@@ -1,11 +1,11 @@
-# $NetBSD: Makefile.common,v 1.14 2017/01/19 18:52:15 agc Exp $
+# $NetBSD: Makefile.common,v 1.15 2018/12/10 14:59:50 leot Exp $
 #
 # used by lang/swi-prolog/Makefile
 # used by lang/swi-prolog-packages/Makefile
 # used by lang/swi-prolog-jpl/Makefile
 
-SWIPLVERS=             6.6.6
-DISTNAME=              pl-${SWIPLVERS}
+SWIPLVERS=             7.6.4
+DISTNAME=              swipl-${SWIPLVERS}
 CATEGORIES=            lang
 MASTER_SITES=          http://www.swi-prolog.org/download/stable/src/
 MASTER_SITES+=         http://www.swi-prolog.org/download/devel/src/
@@ -16,3 +16,6 @@
 DIST_SUBDIR=           swi-prolog
 DISTINFO_FILE=         ${.CURDIR}/../../lang/swi-prolog-lite/distinfo
 PATCHDIR=              ${.CURDIR}/../../lang/swi-prolog-lite/patches
+
+CONFIGURE_ENV+=                CMFLAGS="-fPIC"
+CONFIGURE_ENV+=                COFLAGS=${CFLAGS:M*:Q}
diff -r a7dbd0dae99f -r 7a2e92124e63 lang/swi-prolog-lite/PLIST
--- a/lang/swi-prolog-lite/PLIST        Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-lite/PLIST        Mon Dec 10 14:59:50 2018 +0000
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.12 2014/05/28 10:29:12 markd Exp $
+@comment $NetBSD: PLIST,v 1.13 2018/12/10 14:59:50 leot Exp $
 bin/swi-prolog
 bin/swipl-ld
 bin/swipl-rc
@@ -12,7 +12,9 @@
 lib/swi-prolog-${PKGVERSION}/boot/autoload.pl
 lib/swi-prolog-${PKGVERSION}/boot/bags.pl
 lib/swi-prolog-${PKGVERSION}/boot/dcg.pl
+lib/swi-prolog-${PKGVERSION}/boot/dicts.pl
 lib/swi-prolog-${PKGVERSION}/boot/dwim.pl
+lib/swi-prolog-${PKGVERSION}/boot/engines.pl
 lib/swi-prolog-${PKGVERSION}/boot/expand.pl
 lib/swi-prolog-${PKGVERSION}/boot/history.pl
 lib/swi-prolog-${PKGVERSION}/boot/init.pl
@@ -29,7 +31,7 @@
 lib/swi-prolog-${PKGVERSION}/boot/topvars.pl
 lib/swi-prolog-${PKGVERSION}/boot${BITS}.prc
 lib/swi-prolog-${PKGVERSION}/customize/README
-lib/swi-prolog-${PKGVERSION}/customize/dotplrc
+lib/swi-prolog-${PKGVERSION}/customize/dotswiplrc
 lib/swi-prolog-${PKGVERSION}/customize/dotxpcerc
 lib/swi-prolog-${PKGVERSION}/customize/edit
 lib/swi-prolog-${PKGVERSION}/demo/README
@@ -66,7 +68,8 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/check.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/chr.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/chrintro.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/clicense.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/clp.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/clpb.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/clpfd.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/clpqr.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/cmdline.html
@@ -85,18 +88,29 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/debugging.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/debugoverview.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/defmodule.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/delcont.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/dialect.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/dicts.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic-modules.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/edit.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/editreload.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-examples.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-predicates.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-resources.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/engines.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/error.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/errors.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/examineprog.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/examples.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/excepthook.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/exception.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/exception3.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/extvar.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-integration.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-issues.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-lists.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-syntax.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/extensions.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/files.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/findappfile.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/findhome.html
@@ -136,6 +150,7 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/initgoal.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/intlibs.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/intro.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/iostream.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/jitindex.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/libpl.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/library.html
@@ -145,6 +160,7 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/lists.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/loadfilehook.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/locale.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/main.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/manipatom.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/manipmodule.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/manipstack.html
@@ -170,8 +186,10 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/otherlicenses.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/overrule.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/overview.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/packs.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/pairs.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/pceemacs.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/persistency.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/pio.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/plld.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/portabilitystrategies.html
@@ -191,7 +209,6 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/quasiquotations.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/quickstart.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/random.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/readline.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/readutil.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/record.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/reexport.html
@@ -202,6 +219,7 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/signal.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/simplex.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/softlicense.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/solutionsequences.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/sponsor.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/statistics.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/status.html
@@ -211,8 +229,8 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/swiorother.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/swiprolog.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/syntax.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/syntaxext.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/system.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/tabling.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/termrw.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/thmonitor.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcom.html
@@ -238,6 +256,7 @@
 lib/swi-prolog-${PKGVERSION}/doc/Manual/xref.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatdep.gif
 lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatfile.gif
+lib/swi-prolog-${PKGVERSION}/doc/Manual/yall.html
 lib/swi-prolog-${PKGVERSION}/doc/Manual/yellow_pages.gif
 lib/swi-prolog-${PKGVERSION}/include/SWI-Prolog.h
 lib/swi-prolog-${PKGVERSION}/include/SWI-Stream.h
@@ -247,7 +266,6 @@
 lib/swi-prolog-${PKGVERSION}/library/INDEX.pl
 lib/swi-prolog-${PKGVERSION}/library/MANUAL
 lib/swi-prolog-${PKGVERSION}/library/aggregate.pl
-lib/swi-prolog-${PKGVERSION}/library/am_match.pl
 lib/swi-prolog-${PKGVERSION}/library/ansi_term.pl
 lib/swi-prolog-${PKGVERSION}/library/apply.pl
 lib/swi-prolog-${PKGVERSION}/library/apply_macros.pl
@@ -259,11 +277,13 @@
 lib/swi-prolog-${PKGVERSION}/library/broadcast.pl
 lib/swi-prolog-${PKGVERSION}/library/charsio.pl
 lib/swi-prolog-${PKGVERSION}/library/check.pl
+lib/swi-prolog-${PKGVERSION}/library/check_installation.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/clpb.pl
 lib/swi-prolog-${PKGVERSION}/library/clp/clpfd.pl
 lib/swi-prolog-${PKGVERSION}/library/clp/simplex.pl
 lib/swi-prolog-${PKGVERSION}/library/codesio.pl
@@ -276,48 +296,8 @@
 lib/swi-prolog-${PKGVERSION}/library/debug.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect/bim.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/aggregates.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/assertions.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/basicmodes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/classic.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/dcg.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/attributes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/basic_props.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/basiccontrol.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/exceptions.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/exceptions_db.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/hiord_rt.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/internals.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/io_aux.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/file_utils.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/format.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/freeze.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/hiord.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/hiordlib.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/iso_misc.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/isomodes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/lists.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/llists.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/nativeprops.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/nortchecks.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/odd.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/prolog_flags.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/read.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/regtypes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/regtypes/regtypes_tr.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/sockets.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/sort.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/streams.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/strings.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/system.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms_check.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms_vars.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/unittestdecls.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/unittestprops.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/write.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect/commons.pl
+lib/swi-prolog-${PKGVERSION}/library/dialect/eclipse/test_util_iso.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog/format.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog.pl
@@ -334,6 +314,7 @@
 lib/swi-prolog-${PKGVERSION}/library/dialect/swi/syspred_options.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect/yap.pl
 lib/swi-prolog-${PKGVERSION}/library/dialect/yap/README.TXT
+lib/swi-prolog-${PKGVERSION}/library/dicts.pl
 lib/swi-prolog-${PKGVERSION}/library/dif.pl
 lib/swi-prolog-${PKGVERSION}/library/edinburgh.pl
 lib/swi-prolog-${PKGVERSION}/library/edit.pl
@@ -347,10 +328,13 @@
 lib/swi-prolog-${PKGVERSION}/library/help.pl
 lib/swi-prolog-${PKGVERSION}/library/helpidx.pl
 lib/swi-prolog-${PKGVERSION}/library/hotfix.pl
+lib/swi-prolog-${PKGVERSION}/library/iostream.pl
+lib/swi-prolog-${PKGVERSION}/library/lazy_lists.pl
 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/modules.pl
 lib/swi-prolog-${PKGVERSION}/library/nb_rbtrees.pl
 lib/swi-prolog-${PKGVERSION}/library/nb_set.pl
 lib/swi-prolog-${PKGVERSION}/library/occurs.pl
@@ -363,13 +347,17 @@
 lib/swi-prolog-${PKGVERSION}/library/persistency.pl
 lib/swi-prolog-${PKGVERSION}/library/pio.pl
 lib/swi-prolog-${PKGVERSION}/library/portray_text.pl
+lib/swi-prolog-${PKGVERSION}/library/pprint.pl
 lib/swi-prolog-${PKGVERSION}/library/predicate_options.pl
 lib/swi-prolog-${PKGVERSION}/library/prolog_autoload.pl
 lib/swi-prolog-${PKGVERSION}/library/prolog_breakpoints.pl



Home | Main Index | Thread Index | Old Index