Update lang/swi-prolog to version 7.6.0.

For the first time, all tests are now passing on OpenBSD. This is thanks to the
hard work of Jan Wielemaker who went on a bug fixing rampage after I set him up
an OpenBSD VM. As a result, lots of patches also disappeared, thus making the
port simpler. Many thanks for this Jan!

OK jeremy@, thanks.
This commit is contained in:
edd 2017-11-06 22:09:46 +00:00
parent 16aad340c7
commit d73ee7b244
4 changed files with 184 additions and 113 deletions

View File

@ -0,0 +1,52 @@
$OpenBSD: patch-src_Makefile_in,v 1.4 2017/11/06 22:09:46 edd Exp $
Ensure shared library is installed correctly and with no SONAME.
Put manuals in the right place.
Index: src/Makefile.in
--- src/Makefile.in.orig
+++ src/Makefile.in
@@ -42,7 +42,7 @@ srcdir=@srcdir@
bindir=@bindir@
libdir=@libdir@
datarootdir=@datarootdir@
-mandir=@mandir@
+mandir=@prefix@/man
mansec=1
lmansec=3
smandir=$(mandir)/man$(mansec)
@@ -124,9 +124,7 @@ RUNTIME=$(RUNTIMEDIR)/$(PLLIB)
SOEXT=@SO_EXT@
SOLIB=@SOLIB@
SHARED=@PLSO@
-SHAREDV=$(SHARED).$(PLVERSION)
-SONAME=@SONAME@
-SONAMEOPT=@SONAMEOPT@
+SHAREDV=$(SHARED).${LIBswipl_VERSION}
LIBRARYDIR=${PLBASE}/library
PLCUSTOM=${PLBASE}/customize
MKLIBS=@MKLIBS@
@@ -254,12 +252,10 @@ $(RUNTIMEDIR)/$(SHARED): dirs $(OBJ) $(LIBOBJ) $(XOBJ)
(cd $(RUNTIMEDIR) && $(MSLIBEXE) /def:libswipl.def)
else
$(RUNTIMEDIR)/$(SHAREDV): dirs $(OBJ) $(LIBOBJ) $(XOBJ)
- $(CC) -shared $(COFLAGS) -o $@ $(SONAMEOPT) \
+ $(CC) -shared $(COFLAGS) -o $@ \
$(OBJ) $(LIBOBJ) $(XOBJ) $(LDFLAGS) $(LDOFLAGS) $(LIBS)
$(RUNTIMEDIR)/$(SHARED): $(RUNTIMEDIR)/$(SHAREDV)
- ( cd ../lib/$(PLARCH) && rm -f $(SHARED) && ln -s $(SHAREDV) $(SHARED) )
- ( cd ../lib/$(PLARCH) && rm -f $(SONAME) && ln -s $(SHAREDV) $(SONAME) )
endif
endif
@@ -521,8 +517,6 @@ ifeq ($(SOEXT),dll)
else
if [ -f $(RUNTIMEDIR)/$(SHAREDV) ]; then \
$(INSTALL_SHOBJ) $(RUNTIMEDIR)/$(SHAREDV) $(DESTDIR)$(PLBASE)/$(SOLIB)/$(INSTALL_PLARCH) ; \
- ( cd $(DESTDIR)$(PLBASE)/lib/$(INSTALL_PLARCH) && rm -f $(SHARED) && ln -s $(SHAREDV) $(SHARED) ) ; \
- ( cd $(DESTDIR)$(PLBASE)/lib/$(INSTALL_PLARCH) && rm -f $(SONAME) && ln -s $(SHAREDV) $(SONAME) ) ; \
fi
endif
endif

View File

@ -1,15 +0,0 @@
$OpenBSD: patch-src_pl-funcs_h,v 1.2 2014/04/04 17:53:49 edd Exp $
Silence annoying redefinition of getwd() warnings
--- src/pl-funcs.h.orig Fri Nov 22 12:00:08 2013
+++ src/pl-funcs.h Thu Dec 5 10:37:00 2013
@@ -347,7 +347,7 @@ COMMON(void) setOSPrologFlags(void);
COMMON(void) RemoveTemporaryFiles(void);
COMMON(bool) OpenStream(int fd);
COMMON(char *) expandVars(const char *pattern, char *expanded, int len);
-COMMON(char *) getwd(char *buf);
+/* COMMON(char *) getwd(char *buf); */
COMMON(char *) AbsoluteFile(const char *spec, char *path);
COMMON(int) IsAbsolutePath(const char *spec);
COMMON(char *) BaseName(const char *f);

View File

@ -1,31 +0,0 @@
$OpenBSD: patch-src_test_pl,v 1.3 2014/04/04 17:53:49 edd Exp $
Turn on verbose reporting.
GMP test appears to use >64MB of stack!?
--- src/test.pl.orig Tue Mar 4 10:37:29 2014
+++ src/test.pl Sat Mar 15 11:37:08 2014
@@ -23,6 +23,7 @@
%:- set_prolog_flag(optimise, true).
%:- set_prolog_flag(trace_gc, true).
+:- set_prolog_flag(verbose, normal).
:- asserta(user:file_search_path(library, '../packages/plunit')).
:- [library(plunit)].
:- set_test_options([load(always), silent(true), sto(true), cleanup(true)]).
@@ -588,10 +589,10 @@ gmp(shift-1) :-
gmp(shift-2) :-
A is 1<<55, B is A<<8,
B =:= 9223372036854775808.
-gmp(shift-3) :-
- unbound(A),
- forall(between(1, 100, X),
- catch(A is 1<<(1<<X), error(resource_error(stack), _), true)).
+%gmp(shift-3) :-
+% unbound(A),
+% forall(between(1, 100, X),
+% catch(A is 1<<(1<<X), error(resource_error(stack), _), true)).
gmp(fac-1) :-
fac(25, X),
X == 15511210043330985984000000. % computed with bc

View File

@ -1,9 +1,9 @@
@comment $OpenBSD: PLIST,v 1.15 2016/03/15 21:12:07 naddy Exp $
@comment $OpenBSD: PLIST,v 1.16 2017/11/06 22:09:46 edd Exp $
bin/swipl
bin/swipl-ld
bin/swipl-rc
@bin bin/xpce-client
@lib lib/libpl.so.${LIBpl_VERSION}
@lib lib/libswipl.so.${LIBswipl_VERSION}
lib/pkgconfig/swipl.pc
lib/swipl-${V}/
lib/swipl-${V}/Makefile
@ -19,7 +19,9 @@ lib/swipl-${V}/boot/attvar.pl
lib/swipl-${V}/boot/autoload.pl
lib/swipl-${V}/boot/bags.pl
lib/swipl-${V}/boot/dcg.pl
lib/swipl-${V}/boot/dicts.pl
lib/swipl-${V}/boot/dwim.pl
lib/swipl-${V}/boot/engines.pl
lib/swipl-${V}/boot/expand.pl
lib/swipl-${V}/boot/history.pl
lib/swipl-${V}/boot/init.pl
@ -37,7 +39,7 @@ lib/swipl-${V}/boot/topvars.pl
lib/swipl-${V}/${BOOT}.prc
lib/swipl-${V}/customize/
lib/swipl-${V}/customize/README
lib/swipl-${V}/customize/dotplrc
lib/swipl-${V}/customize/dotswiplrc
lib/swipl-${V}/customize/dotxpcerc
lib/swipl-${V}/customize/edit
lib/swipl-${V}/demo/
@ -53,25 +55,33 @@ lib/swipl-${V}/include/sicstus/
lib/swipl-${V}/include/sicstus/sicstus.h
lib/swipl-${V}/lib/
lib/swipl-${V}/lib/${FULLARCH}/
lib/swipl-${V}/lib/${FULLARCH}/archive4pl.so
lib/swipl-${V}/lib/${FULLARCH}/bdb4pl.so
lib/swipl-${V}/lib/${FULLARCH}/cgi.so
lib/swipl-${V}/lib/${FULLARCH}/crypt.so
lib/swipl-${V}/lib/${FULLARCH}/crypto4pl.so
lib/swipl-${V}/lib/${FULLARCH}/double_metaphone.so
lib/swipl-${V}/lib/${FULLARCH}/files.so
lib/swipl-${V}/lib/${FULLARCH}/hashstream.so
lib/swipl-${V}/lib/${FULLARCH}/http_stream.so
lib/swipl-${V}/lib/${FULLARCH}/isub.so
lib/swipl-${V}/lib/${FULLARCH}/json.so
lib/swipl-${V}/lib/${FULLARCH}/libedit4pl.so
lib/swipl-${V}/lib/${FULLARCH}/libswipl.a
lib/swipl-${V}/lib/${FULLARCH}/libswipl.so
@lib lib/swipl-${V}/lib/${FULLARCH}/libpl.so.${LIBpl_VERSION}
@lib lib/swipl-${V}/lib/${FULLARCH}/libswipl.so.${LIBswipl_VERSION}
lib/swipl-${V}/lib/${FULLARCH}/md54pl.so
lib/swipl-${V}/lib/${FULLARCH}/memfile.so
lib/swipl-${V}/lib/${FULLARCH}/mime.so
lib/swipl-${V}/lib/${FULLARCH}/ntriples.so
lib/swipl-${V}/lib/${FULLARCH}/odbc4pl.so
lib/swipl-${V}/lib/${FULLARCH}/pcre4pl.so
lib/swipl-${V}/lib/${FULLARCH}/pdt_console.so
lib/swipl-${V}/lib/${FULLARCH}/pl2xpce.so
lib/swipl-${V}/lib/${FULLARCH}/porter_stem.so
lib/swipl-${V}/lib/${FULLARCH}/process.so
lib/swipl-${V}/lib/${FULLARCH}/prolog_stream.so
lib/swipl-${V}/lib/${FULLARCH}/protobufs.so
lib/swipl-${V}/lib/${FULLARCH}/rdf_db.so
lib/swipl-${V}/lib/${FULLARCH}/readline4pl.so
lib/swipl-${V}/lib/${FULLARCH}/readutil.so
lib/swipl-${V}/lib/${FULLARCH}/rlimit.so
lib/swipl-${V}/lib/${FULLARCH}/sgml2pl.so
@ -88,6 +98,8 @@ lib/swipl-${V}/lib/${FULLARCH}/uid.so
lib/swipl-${V}/lib/${FULLARCH}/unicode4pl.so
lib/swipl-${V}/lib/${FULLARCH}/unix.so
lib/swipl-${V}/lib/${FULLARCH}/uri.so
lib/swipl-${V}/lib/${FULLARCH}/uuid.so
lib/swipl-${V}/lib/${FULLARCH}/websocket.so
lib/swipl-${V}/lib/${FULLARCH}/zlib4pl.so
lib/swipl-${V}/library/
lib/swipl-${V}/library/DTD/
@ -100,21 +112,23 @@ lib/swipl-${V}/library/DTD/HTMLspec.ent
lib/swipl-${V}/library/DTD/HTMLsym.ent
lib/swipl-${V}/library/INDEX.pl
lib/swipl-${V}/library/MANUAL
lib/swipl-${V}/library/R.pl
lib/swipl-${V}/library/aggregate.pl
lib/swipl-${V}/library/am_match.pl
lib/swipl-${V}/library/ansi_term.pl
lib/swipl-${V}/library/apply.pl
lib/swipl-${V}/library/apply_macros.pl
lib/swipl-${V}/library/archive.pl
lib/swipl-${V}/library/arithmetic.pl
lib/swipl-${V}/library/assoc.pl
lib/swipl-${V}/library/backcomp.pl
lib/swipl-${V}/library/base32.pl
lib/swipl-${V}/library/base64.pl
lib/swipl-${V}/library/bdb.pl
lib/swipl-${V}/library/broadcast.pl
lib/swipl-${V}/library/c14n2.pl
lib/swipl-${V}/library/cgi.pl
lib/swipl-${V}/library/charsio.pl
lib/swipl-${V}/library/check.pl
lib/swipl-${V}/library/check_installation.pl
lib/swipl-${V}/library/checklast.pl
lib/swipl-${V}/library/checkselect.pl
lib/swipl-${V}/library/chr/
@ -142,6 +156,7 @@ lib/swipl-${V}/library/clp/
lib/swipl-${V}/library/clp/bounds.pl
lib/swipl-${V}/library/clp/clp_distinct.pl
lib/swipl-${V}/library/clp/clp_events.pl
lib/swipl-${V}/library/clp/clpb.pl
lib/swipl-${V}/library/clp/clpfd.pl
lib/swipl-${V}/library/clp/clpq/
lib/swipl-${V}/library/clp/clpq.pl
@ -157,6 +172,7 @@ lib/swipl-${V}/library/clp/clpqr/README
lib/swipl-${V}/library/clp/clpqr/class.pl
lib/swipl-${V}/library/clp/clpqr/dump.pl
lib/swipl-${V}/library/clp/clpqr/geler.pl
lib/swipl-${V}/library/clp/clpqr/highlight.pl
lib/swipl-${V}/library/clp/clpqr/itf.pl
lib/swipl-${V}/library/clp/clpqr/ordering.pl
lib/swipl-${V}/library/clp/clpqr/project.pl
@ -174,7 +190,17 @@ lib/swipl-${V}/library/clp/simplex.pl
lib/swipl-${V}/library/codesio.pl
lib/swipl-${V}/library/coinduction.pl
lib/swipl-${V}/library/console_input.pl
lib/swipl-${V}/library/cql/
lib/swipl-${V}/library/cql/cql.pl
lib/swipl-${V}/library/cql/cql_autoschema.pl
lib/swipl-${V}/library/cql/cql_database.pl
lib/swipl-${V}/library/cql/cql_hooks.pl
lib/swipl-${V}/library/cql/sql_keywords.pl
lib/swipl-${V}/library/cql/sql_parser.pl
lib/swipl-${V}/library/cql/sql_tokenizer.pl
lib/swipl-${V}/library/cql/sql_write.pl
lib/swipl-${V}/library/crypt.pl
lib/swipl-${V}/library/crypto.pl
lib/swipl-${V}/library/csv.pl
lib/swipl-${V}/library/ctypes.pl
lib/swipl-${V}/library/date.pl
@ -184,51 +210,9 @@ lib/swipl-${V}/library/debug.pl
lib/swipl-${V}/library/dialect/
lib/swipl-${V}/library/dialect.pl
lib/swipl-${V}/library/dialect/bim.pl
lib/swipl-${V}/library/dialect/ciao/
lib/swipl-${V}/library/dialect/ciao.pl
lib/swipl-${V}/library/dialect/ciao/aggregates.pl
lib/swipl-${V}/library/dialect/ciao/assertions.pl
lib/swipl-${V}/library/dialect/ciao/basicmodes.pl
lib/swipl-${V}/library/dialect/ciao/classic.pl
lib/swipl-${V}/library/dialect/ciao/dcg.pl
lib/swipl-${V}/library/dialect/ciao/engine/
lib/swipl-${V}/library/dialect/ciao/engine/attributes.pl
lib/swipl-${V}/library/dialect/ciao/engine/basic_props.pl
lib/swipl-${V}/library/dialect/ciao/engine/basiccontrol.pl
lib/swipl-${V}/library/dialect/ciao/engine/exceptions.pl
lib/swipl-${V}/library/dialect/ciao/engine/exceptions_db.pl
lib/swipl-${V}/library/dialect/ciao/engine/hiord_rt.pl
lib/swipl-${V}/library/dialect/ciao/engine/internals.pl
lib/swipl-${V}/library/dialect/ciao/engine/io_aux.pl
lib/swipl-${V}/library/dialect/ciao/file_utils.pl
lib/swipl-${V}/library/dialect/ciao/format.pl
lib/swipl-${V}/library/dialect/ciao/freeze.pl
lib/swipl-${V}/library/dialect/ciao/hiord.pl
lib/swipl-${V}/library/dialect/ciao/hiordlib.pl
lib/swipl-${V}/library/dialect/ciao/iso_misc.pl
lib/swipl-${V}/library/dialect/ciao/isomodes.pl
lib/swipl-${V}/library/dialect/ciao/lists.pl
lib/swipl-${V}/library/dialect/ciao/llists.pl
lib/swipl-${V}/library/dialect/ciao/nativeprops.pl
lib/swipl-${V}/library/dialect/ciao/nortchecks.pl
lib/swipl-${V}/library/dialect/ciao/odd.pl
lib/swipl-${V}/library/dialect/ciao/prolog_flags.pl
lib/swipl-${V}/library/dialect/ciao/read.pl
lib/swipl-${V}/library/dialect/ciao/regtypes/
lib/swipl-${V}/library/dialect/ciao/regtypes.pl
lib/swipl-${V}/library/dialect/ciao/regtypes/regtypes_tr.pl
lib/swipl-${V}/library/dialect/ciao/sockets.pl
lib/swipl-${V}/library/dialect/ciao/sort.pl
lib/swipl-${V}/library/dialect/ciao/streams.pl
lib/swipl-${V}/library/dialect/ciao/strings.pl
lib/swipl-${V}/library/dialect/ciao/system.pl
lib/swipl-${V}/library/dialect/ciao/terms.pl
lib/swipl-${V}/library/dialect/ciao/terms_check.pl
lib/swipl-${V}/library/dialect/ciao/terms_vars.pl
lib/swipl-${V}/library/dialect/ciao/unittestdecls.pl
lib/swipl-${V}/library/dialect/ciao/unittestprops.pl
lib/swipl-${V}/library/dialect/ciao/write.pl
lib/swipl-${V}/library/dialect/commons.pl
lib/swipl-${V}/library/dialect/eclipse/
lib/swipl-${V}/library/dialect/eclipse/test_util_iso.pl
lib/swipl-${V}/library/dialect/hprolog/
lib/swipl-${V}/library/dialect/hprolog.pl
lib/swipl-${V}/library/dialect/hprolog/format.pl
@ -251,6 +235,7 @@ lib/swipl-${V}/library/dialect/swi/syspred_options.pl
lib/swipl-${V}/library/dialect/yap/
lib/swipl-${V}/library/dialect/yap.pl
lib/swipl-${V}/library/dialect/yap/README.TXT
lib/swipl-${V}/library/dicts.pl
lib/swipl-${V}/library/dif.pl
lib/swipl-${V}/library/doc_files.pl
lib/swipl-${V}/library/doc_http.pl
@ -258,6 +243,7 @@ lib/swipl-${V}/library/doc_latex.pl
lib/swipl-${V}/library/double_metaphone.pl
lib/swipl-${V}/library/edinburgh.pl
lib/swipl-${V}/library/edit.pl
lib/swipl-${V}/library/editline.pl
lib/swipl-${V}/library/error.pl
lib/swipl-${V}/library/explain.pl
lib/swipl-${V}/library/fastrw.pl
@ -265,6 +251,7 @@ lib/swipl-${V}/library/files.pl
lib/swipl-${V}/library/filesex.pl
lib/swipl-${V}/library/gensym.pl
lib/swipl-${V}/library/git.pl
lib/swipl-${V}/library/hash_stream.pl
lib/swipl-${V}/library/heaps.pl
lib/swipl-${V}/library/help.pl
lib/swipl-${V}/library/helpidx.pl
@ -281,6 +268,7 @@ lib/swipl-${V}/library/http/http_authenticate.pl
lib/swipl-${V}/library/http/http_client.pl
lib/swipl-${V}/library/http/http_cookie.pl
lib/swipl-${V}/library/http/http_cors.pl
lib/swipl-${V}/library/http/http_digest.pl
lib/swipl-${V}/library/http/http_dirindex.pl
lib/swipl-${V}/library/http/http_dispatch.pl
lib/swipl-${V}/library/http/http_error.pl
@ -292,11 +280,12 @@ lib/swipl-${V}/library/http/http_host.pl
lib/swipl-${V}/library/http/http_json.pl
lib/swipl-${V}/library/http/http_load.pl
lib/swipl-${V}/library/http/http_log.pl
lib/swipl-${V}/library/http/http_mime_plugin.pl
lib/swipl-${V}/library/http/http_multipart_plugin.pl
lib/swipl-${V}/library/http/http_open.pl
lib/swipl-${V}/library/http/http_openid.pl
lib/swipl-${V}/library/http/http_parameters.pl
lib/swipl-${V}/library/http/http_path.pl
lib/swipl-${V}/library/http/http_proxy.pl
lib/swipl-${V}/library/http/http_pwp.pl
lib/swipl-${V}/library/http/http_server_files.pl
lib/swipl-${V}/library/http/http_session.pl
@ -305,18 +294,22 @@ lib/swipl-${V}/library/http/http_ssl_plugin.pl
lib/swipl-${V}/library/http/http_stream.pl
lib/swipl-${V}/library/http/http_unix_daemon.pl
lib/swipl-${V}/library/http/http_wrapper.pl
lib/swipl-${V}/library/http/hub.pl
lib/swipl-${V}/library/http/inetd_httpd.pl
lib/swipl-${V}/library/http/jquery.pl
lib/swipl-${V}/library/http/js_grammar.pl
lib/swipl-${V}/library/http/js_write.pl
lib/swipl-${V}/library/http/json.pl
lib/swipl-${V}/library/http/json_convert.pl
lib/swipl-${V}/library/http/mimepack.pl
lib/swipl-${V}/library/http/mimetype.pl
lib/swipl-${V}/library/http/term_html.pl
lib/swipl-${V}/library/http/thread_httpd.pl
lib/swipl-${V}/library/http/web/
lib/swipl-${V}/library/http/web/css/
lib/swipl-${V}/library/http/web/css/dirindex.css
lib/swipl-${V}/library/http/web/css/openid.css
lib/swipl-${V}/library/http/web/css/plterm.css
lib/swipl-${V}/library/http/web/icons/
lib/swipl-${V}/library/http/web/icons/back.png
lib/swipl-${V}/library/http/web/icons/c.png
@ -326,31 +319,43 @@ lib/swipl-${V}/library/http/web/icons/generic.png
lib/swipl-${V}/library/http/web/icons/layout.png
lib/swipl-${V}/library/http/web/icons/openid-logo-square.png
lib/swipl-${V}/library/http/web/icons/openid-logo-tiny.png
lib/swipl-${V}/library/http/web/js/
lib/swipl-${V}/library/http/web/js/jquery-1.11.3.min.js
lib/swipl-${V}/library/http/web/js/pengines.js
lib/swipl-${V}/library/http/websocket.pl
lib/swipl-${V}/library/http/xpce_httpd.pl
lib/swipl-${V}/library/http/yadis.pl
lib/swipl-${V}/library/iostream.pl
lib/swipl-${V}/library/iso_639.pl
lib/swipl-${V}/library/isub.pl
lib/swipl-${V}/library/lazy_lists.pl
lib/swipl-${V}/library/listing.pl
lib/swipl-${V}/library/lists.pl
lib/swipl-${V}/library/main.pl
lib/swipl-${V}/library/make.pl
lib/swipl-${V}/library/md5.pl
lib/swipl-${V}/library/memfile.pl
lib/swipl-${V}/library/mime.pl
lib/swipl-${V}/library/modules.pl
lib/swipl-${V}/library/nb_rbtrees.pl
lib/swipl-${V}/library/nb_set.pl
lib/swipl-${V}/library/occurs.pl
lib/swipl-${V}/library/odbc.pl
lib/swipl-${V}/library/operators.pl
lib/swipl-${V}/library/option.pl
lib/swipl-${V}/library/optparse.pl
lib/swipl-${V}/library/ordsets.pl
lib/swipl-${V}/library/oset.pl
lib/swipl-${V}/library/pairs.pl
lib/swipl-${V}/library/pcre.pl
lib/swipl-${V}/library/pdt_console.pl
lib/swipl-${V}/library/pengines.pl
lib/swipl-${V}/library/pengines_io.pl
lib/swipl-${V}/library/pengines_sandbox.pl
lib/swipl-${V}/library/persistency.pl
lib/swipl-${V}/library/pio.pl
lib/swipl-${V}/library/pldoc/
lib/swipl-${V}/library/pldoc.pl
lib/swipl-${V}/library/pldoc/README
lib/swipl-${V}/library/pldoc/README.md
lib/swipl-${V}/library/pldoc/doc_access.pl
lib/swipl-${V}/library/pldoc/doc_colour.pl
lib/swipl-${V}/library/pldoc/doc_html.pl
@ -365,7 +370,8 @@ lib/swipl-${V}/library/pldoc/doc_register.pl
lib/swipl-${V}/library/pldoc/doc_search.pl
lib/swipl-${V}/library/pldoc/doc_util.pl
lib/swipl-${V}/library/pldoc/doc_wiki.pl
lib/swipl-${V}/library/pldoc/edit.gif
lib/swipl-${V}/library/pldoc/edit.png
lib/swipl-${V}/library/pldoc/editpred.png
lib/swipl-${V}/library/pldoc/favicon.ico
lib/swipl-${V}/library/pldoc/h1-bg.png
lib/swipl-${V}/library/pldoc/h2-bg.png
@ -379,12 +385,13 @@ lib/swipl-${V}/library/pldoc/priv-bg.png
lib/swipl-${V}/library/pldoc/private.png
lib/swipl-${V}/library/pldoc/pub-bg.png
lib/swipl-${V}/library/pldoc/public.png
lib/swipl-${V}/library/pldoc/reload.gif
lib/swipl-${V}/library/pldoc/reload.png
lib/swipl-${V}/library/pldoc/source.png
lib/swipl-${V}/library/pldoc/up.gif
lib/swipl-${V}/library/plunit.pl
lib/swipl-${V}/library/porter_stem.pl
lib/swipl-${V}/library/portray_text.pl
lib/swipl-${V}/library/pprint.pl
lib/swipl-${V}/library/predicate_options.pl
lib/swipl-${V}/library/process.pl
lib/swipl-${V}/library/prolog_autoload.pl
@ -392,12 +399,16 @@ lib/swipl-${V}/library/prolog_breakpoints.pl
lib/swipl-${V}/library/prolog_clause.pl
lib/swipl-${V}/library/prolog_codewalk.pl
lib/swipl-${V}/library/prolog_colour.pl
lib/swipl-${V}/library/prolog_format.pl
lib/swipl-${V}/library/prolog_history.pl
lib/swipl-${V}/library/prolog_install.pl
lib/swipl-${V}/library/prolog_jiti.pl
lib/swipl-${V}/library/prolog_metainference.pl
lib/swipl-${V}/library/prolog_pack.pl
lib/swipl-${V}/library/prolog_server.pl
lib/swipl-${V}/library/prolog_source.pl
lib/swipl-${V}/library/prolog_stack.pl
lib/swipl-${V}/library/prolog_stream.pl
lib/swipl-${V}/library/prolog_xref.pl
lib/swipl-${V}/library/protobufs.pl
lib/swipl-${V}/library/pure_input.pl
@ -413,18 +424,22 @@ lib/swipl-${V}/library/rdf_ntriples.pl
lib/swipl-${V}/library/rdf_parser.pl
lib/swipl-${V}/library/rdf_triple.pl
lib/swipl-${V}/library/rdf_write.pl
lib/swipl-${V}/library/readline.pl
lib/swipl-${V}/library/readln.pl
lib/swipl-${V}/library/readutil.pl
lib/swipl-${V}/library/record.pl
lib/swipl-${V}/library/rewrite.pl
lib/swipl-${V}/library/rlimit.pl
lib/swipl-${V}/library/saml.pl
lib/swipl-${V}/library/sandbox.pl
lib/swipl-${V}/library/semweb/
lib/swipl-${V}/library/semweb/INDEX.pl
lib/swipl-${V}/library/semweb/README
lib/swipl-${V}/library/semweb/README.md
lib/swipl-${V}/library/semweb/dc.rdfs
lib/swipl-${V}/library/semweb/eor.rdfs
lib/swipl-${V}/library/semweb/owl.owl
lib/swipl-${V}/library/semweb/rdf11.pl
lib/swipl-${V}/library/semweb/rdf11_containers.pl
lib/swipl-${V}/library/semweb/rdf_cache.pl
lib/swipl-${V}/library/semweb/rdf_compare.pl
lib/swipl-${V}/library/semweb/rdf_db.pl
@ -436,9 +451,11 @@ lib/swipl-${V}/library/semweb/rdf_litindex.pl
lib/swipl-${V}/library/semweb/rdf_ntriples.pl
lib/swipl-${V}/library/semweb/rdf_persistency.pl
lib/swipl-${V}/library/semweb/rdf_portray.pl
lib/swipl-${V}/library/semweb/rdf_sandbox.pl
lib/swipl-${V}/library/semweb/rdf_turtle.pl
lib/swipl-${V}/library/semweb/rdf_turtle_write.pl
lib/swipl-${V}/library/semweb/rdf_zlib_plugin.pl
lib/swipl-${V}/library/semweb/rdfa.pl
lib/swipl-${V}/library/semweb/rdfs.pl
lib/swipl-${V}/library/semweb/rdfs.rdfs
lib/swipl-${V}/library/semweb/sparql_client.pl
@ -451,6 +468,7 @@ lib/swipl-${V}/library/shell.pl
lib/swipl-${V}/library/shlib.pl
lib/swipl-${V}/library/snowball.pl
lib/swipl-${V}/library/socket.pl
lib/swipl-${V}/library/solution_sequences.pl
lib/swipl-${V}/library/sort.pl
lib/swipl-${V}/library/ssl.pl
lib/swipl-${V}/library/statistics.pl
@ -460,6 +478,8 @@ lib/swipl-${V}/library/syslog.pl
lib/swipl-${V}/library/system.pl
lib/swipl-${V}/library/table.pl
lib/swipl-${V}/library/table_util.pl
lib/swipl-${V}/library/tabling.pl
lib/swipl-${V}/library/term_to_json.pl
lib/swipl-${V}/library/terms.pl
lib/swipl-${V}/library/test_cover.pl
lib/swipl-${V}/library/test_wizard.pl
@ -479,20 +499,23 @@ lib/swipl-${V}/library/unix.pl
lib/swipl-${V}/library/uri.pl
lib/swipl-${V}/library/url.pl
lib/swipl-${V}/library/utf8.pl
lib/swipl-${V}/library/uuid.pl
lib/swipl-${V}/library/varnumbers.pl
lib/swipl-${V}/library/vm.pl
lib/swipl-${V}/library/when.pl
lib/swipl-${V}/library/win_menu.pl
lib/swipl-${V}/library/writef.pl
lib/swipl-${V}/library/www_browser.pl
lib/swipl-${V}/library/xmldsig.pl
lib/swipl-${V}/library/xmlenc.pl
lib/swipl-${V}/library/xpath.pl
lib/swipl-${V}/library/xsdp_types.pl
lib/swipl-${V}/library/yall.pl
lib/swipl-${V}/library/zlib.pl
lib/swipl-${V}/swipl-win.rc
lib/swipl-${V}/swipl.home
lib/swipl-${V}/swipl.rc
lib/swipl-${V}/xpce/
lib/swipl-${V}/xpce/COPYING
lib/swipl-${V}/xpce/Defaults
lib/swipl-${V}/xpce/Defaults.user
lib/swipl-${V}/xpce/README
@ -1545,7 +1568,8 @@ share/doc/swipl/Manual/chartype.html
share/doc/swipl/Manual/check.html
share/doc/swipl/Manual/chr.html
share/doc/swipl/Manual/chrintro.html
share/doc/swipl/Manual/clicense.html
share/doc/swipl/Manual/clp.html
share/doc/swipl/Manual/clpb.html
share/doc/swipl/Manual/clpfd.html
share/doc/swipl/Manual/clpqr.html
share/doc/swipl/Manual/cmdline.html
@ -1564,18 +1588,29 @@ share/doc/swipl/Manual/debugger.html
share/doc/swipl/Manual/debugging.html
share/doc/swipl/Manual/debugoverview.html
share/doc/swipl/Manual/defmodule.html
share/doc/swipl/Manual/delcont.html
share/doc/swipl/Manual/dialect.html
share/doc/swipl/Manual/dicts.html
share/doc/swipl/Manual/dynamic-modules.html
share/doc/swipl/Manual/dynamic.html
share/doc/swipl/Manual/edit.html
share/doc/swipl/Manual/editreload.html
share/doc/swipl/Manual/engine-examples.html
share/doc/swipl/Manual/engine-predicates.html
share/doc/swipl/Manual/engine-resources.html
share/doc/swipl/Manual/engines.html
share/doc/swipl/Manual/error.html
share/doc/swipl/Manual/errors.html
share/doc/swipl/Manual/examineprog.html
share/doc/swipl/Manual/examples.html
share/doc/swipl/Manual/excepthook.html
share/doc/swipl/Manual/exception.html
share/doc/swipl/Manual/exception3.html
share/doc/swipl/Manual/extvar.html
share/doc/swipl/Manual/ext-integration.html
share/doc/swipl/Manual/ext-issues.html
share/doc/swipl/Manual/ext-lists.html
share/doc/swipl/Manual/ext-syntax.html
share/doc/swipl/Manual/extensions.html
share/doc/swipl/Manual/files.html
share/doc/swipl/Manual/findappfile.html
share/doc/swipl/Manual/findhome.html
@ -1615,6 +1650,7 @@ share/doc/swipl/Manual/initfile.html
share/doc/swipl/Manual/initgoal.html
share/doc/swipl/Manual/intlibs.html
share/doc/swipl/Manual/intro.html
share/doc/swipl/Manual/iostream.html
share/doc/swipl/Manual/jitindex.html
share/doc/swipl/Manual/libpl.html
share/doc/swipl/Manual/library.html
@ -1624,6 +1660,7 @@ share/doc/swipl/Manual/listing.html
share/doc/swipl/Manual/lists.html
share/doc/swipl/Manual/loadfilehook.html
share/doc/swipl/Manual/locale.html
share/doc/swipl/Manual/main.html
share/doc/swipl/Manual/manipatom.html
share/doc/swipl/Manual/manipmodule.html
share/doc/swipl/Manual/manipstack.html
@ -1649,8 +1686,10 @@ share/doc/swipl/Manual/ordsets.html
share/doc/swipl/Manual/otherlicenses.html
share/doc/swipl/Manual/overrule.html
share/doc/swipl/Manual/overview.html
share/doc/swipl/Manual/packs.html
share/doc/swipl/Manual/pairs.html
share/doc/swipl/Manual/pceemacs.html
share/doc/swipl/Manual/persistency.html
share/doc/swipl/Manual/pio.html
share/doc/swipl/Manual/plld.html
share/doc/swipl/Manual/portabilitystrategies.html
@ -1670,7 +1709,6 @@ share/doc/swipl/Manual/qsavelimits.html
share/doc/swipl/Manual/quasiquotations.html
share/doc/swipl/Manual/quickstart.html
share/doc/swipl/Manual/random.html
share/doc/swipl/Manual/readline.html
share/doc/swipl/Manual/readutil.html
share/doc/swipl/Manual/record.html
share/doc/swipl/Manual/reexport.html
@ -1681,6 +1719,7 @@ share/doc/swipl/Manual/sicstus-chr.html
share/doc/swipl/Manual/signal.html
share/doc/swipl/Manual/simplex.html
share/doc/swipl/Manual/softlicense.html
share/doc/swipl/Manual/solutionsequences.html
share/doc/swipl/Manual/sponsor.html
share/doc/swipl/Manual/statistics.html
share/doc/swipl/Manual/status.html
@ -1690,8 +1729,8 @@ share/doc/swipl/Manual/summary.html
share/doc/swipl/Manual/swiorother.html
share/doc/swipl/Manual/swiprolog.html
share/doc/swipl/Manual/syntax.html
share/doc/swipl/Manual/syntaxext.html
share/doc/swipl/Manual/system.html
share/doc/swipl/Manual/tabling.html
share/doc/swipl/Manual/termrw.html
share/doc/swipl/Manual/thmonitor.html
share/doc/swipl/Manual/threadcom.html
@ -1717,14 +1756,14 @@ share/doc/swipl/Manual/www_browser.html
share/doc/swipl/Manual/xref.html
share/doc/swipl/Manual/xrefchatdep.gif
share/doc/swipl/Manual/xrefchatfile.gif
share/doc/swipl/Manual/yall.html
share/doc/swipl/Manual/yellow_pages.gif
share/doc/swipl/packages/
share/doc/swipl/packages/R.html
share/doc/swipl/packages/archive.html
share/doc/swipl/packages/bdb4pl.html
share/doc/swipl/packages/clib.html
share/doc/swipl/packages/cql.html
share/doc/swipl/packages/examples/
share/doc/swipl/packages/examples/R/
share/doc/swipl/packages/examples/R/r_demo.pl
share/doc/swipl/packages/examples/chr/
share/doc/swipl/packages/examples/chr/bool.chr
share/doc/swipl/packages/examples/chr/chrdif.chr
@ -1736,9 +1775,11 @@ share/doc/swipl/packages/examples/chr/gcd.chr
share/doc/swipl/packages/examples/chr/leq.chr
share/doc/swipl/packages/examples/chr/listdom.chr
share/doc/swipl/packages/examples/chr/primes.chr
share/doc/swipl/packages/examples/cql/
share/doc/swipl/packages/examples/cql/cql_demo.pl
share/doc/swipl/packages/examples/http/
share/doc/swipl/packages/examples/http/README.md
share/doc/swipl/packages/examples/http/calc.pl
share/doc/swipl/packages/examples/http/debian-init-script
share/doc/swipl/packages/examples/http/demo_body.pl
share/doc/swipl/packages/examples/http/demo_client.pl
share/doc/swipl/packages/examples/http/demo_daemon.pl
@ -1748,6 +1789,7 @@ share/doc/swipl/packages/examples/http/demo_openid.pl
share/doc/swipl/packages/examples/http/demo_pwp.pl
share/doc/swipl/packages/examples/http/demo_threads.pl
share/doc/swipl/packages/examples/http/demo_xpce.pl
share/doc/swipl/packages/examples/http/linux-init-script
share/doc/swipl/packages/examples/http/pwp/
share/doc/swipl/packages/examples/http/pwp/context.pwp
share/doc/swipl/packages/examples/http/pwp/index.pwp
@ -1760,6 +1802,21 @@ share/doc/swipl/packages/examples/http/pwp/pwp6.pwp
share/doc/swipl/packages/examples/http/pwp/pwp7.pwp
share/doc/swipl/packages/examples/http/pwp/pwp8.pwp
share/doc/swipl/packages/examples/http/pwp/pwpdb.pl
share/doc/swipl/packages/examples/http/systemd-script.service
share/doc/swipl/packages/examples/http/upstart-script.conf
share/doc/swipl/packages/examples/pengines/
share/doc/swipl/packages/examples/pengines/client.pl
share/doc/swipl/packages/examples/pengines/server.pl
share/doc/swipl/packages/examples/pengines/web/
share/doc/swipl/packages/examples/pengines/web/chunking.html
share/doc/swipl/packages/examples/pengines/web/debugging.html
share/doc/swipl/packages/examples/pengines/web/hack.html
share/doc/swipl/packages/examples/pengines/web/index.html
share/doc/swipl/packages/examples/pengines/web/input_output.html
share/doc/swipl/packages/examples/pengines/web/pengine.html
share/doc/swipl/packages/examples/pengines/web/queen.png
share/doc/swipl/packages/examples/pengines/web/queens.html
share/doc/swipl/packages/examples/pengines/web/simple.html
share/doc/swipl/packages/examples/pldoc/
share/doc/swipl/packages/examples/pldoc/README
share/doc/swipl/packages/examples/pldoc/man_server.pl
@ -1777,6 +1834,7 @@ share/doc/swipl/packages/examples/ssl/etc/
share/doc/swipl/packages/examples/ssl/etc/Makefile
share/doc/swipl/packages/examples/ssl/etc/README
share/doc/swipl/packages/examples/ssl/etc/client/
share/doc/swipl/packages/examples/ssl/etc/client/client-cert.p12
share/doc/swipl/packages/examples/ssl/etc/client/client-cert.pem
share/doc/swipl/packages/examples/ssl/etc/client/client-key.pem
share/doc/swipl/packages/examples/ssl/etc/demoCA/
@ -1798,15 +1856,22 @@ share/doc/swipl/packages/examples/ssl/server.pl
share/doc/swipl/packages/http.html
share/doc/swipl/packages/httpserver.gif
share/doc/swipl/packages/index.html
share/doc/swipl/packages/libedit.html
share/doc/swipl/packages/modules.gif
share/doc/swipl/packages/nlp.html
share/doc/swipl/packages/odbc.html
share/doc/swipl/packages/pcre.html
share/doc/swipl/packages/pdt.html
share/doc/swipl/packages/penarch.png
share/doc/swipl/packages/pengines.html
share/doc/swipl/packages/pl2cpp.html
share/doc/swipl/packages/pldoc.html
share/doc/swipl/packages/pltpruncolour.png
share/doc/swipl/packages/pltpsynch.png
share/doc/swipl/packages/plunit.html
share/doc/swipl/packages/protobufs.html
share/doc/swipl/packages/rdf2pl.html
share/doc/swipl/packages/readline.html
share/doc/swipl/packages/semweb.html
share/doc/swipl/packages/sgml.html
share/doc/swipl/packages/ssl.html