swi-prolog*: Update to 8.0.1

pkgsrc changes:
 - Rename swi-prolog to swipl to follow upstream nomenclature
 - Add all main packages (except X11) to swi-prolog-lite.
   After CMake migration in order to generate the documentation and being able
   to use it (e.g. via help/2) it is needed to add basic, archive, ssl and term
   packages.
   All X11 packages are provided by swi-prolog-packages.
 - Adjust pkgsrc Makefile-s logic to upstream CMake migration:
    o Uncoditionally disable not wanted packages in Makefile.common (to avoid
      possible PLIST mismatches; please note that this will probably disable
      tipc package on Linux!).
      All other installed packages are enabled/disabled via
      swi-prolog-{lite,packages,jpl} Makefile.
    o Add libarchive, ossp-uuid and openssl build dependency to
      swi-prolog-packages.  Despite these are provided by swi-prolog-lite
      they are needed as part of the build of swi-prolog-packages too.
    o Remove no more needed logic to check and eventually start X server to
      build documentation.  Should address PR pkg/42047.
 - Remove an unconditional CHECK_WRKREF_SKIP, this was needed on FreeBSD
   but unfortunately it is not clear why.  If this is still needed please let
   me know in order to try to investigate further and address that.
 - Bump API requirements to 8.0.1 in buildlink3.mk to be on the safe side
   now that shared libraries are provided on all platforms.

Changes:
8.0.1
-----
Indexing on multiple arguments together, indexing inside compounds,
Mode-directed tabling, saved states using ZIP files, many deployment
enhancements. Moved build environment to CMake and removed most of
the build tool dependencies. Builds documentation along with the
binary.

Please note that this is just a short summary. Unfortunately the
complete changelog is very long, full changelog can be found at:

 <http://www.swi-prolog.org/ChangeLog?branch=stable&from=7.6.4&to=8.0.1>

15 files changed, 898 insertions, 783 deletions

diff --git a/lang/swi-prolog-lite/DESCR b/lang/swi-prolog-lite/DESCR
index b22e0f8115d..e5216165554 100644
--- a/lang/swi-prolog-lite/DESCR
+++ b/lang/swi-prolog-lite/DESCR
@@ -6,5 +6,5 @@ on atoms), fast and powerful C/C++ interface, autoloading,
 GNU-readline interface.  SWI-Prolog supports architectures with 32-bit
 or greater (64-bit) word-length.
 
-This is the core package, packages are available in the
-swi-prolog-packages package.
+This is the core package with basic SWI-Prolog packages.
+X11 packages are available via swi-prolog-packages package.
diff --git a/lang/swi-prolog-lite/Makefile b/lang/swi-prolog-lite/Makefile
index 5ca452824e6..7fb7c9d53f1 100644
--- a/lang/swi-prolog-lite/Makefile
+++ b/lang/swi-prolog-lite/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.28 2018/12/10 14:59:50 leot Exp $
+# $NetBSD: Makefile,v 1.29 2019/02/25 15:20:44 leot Exp $
 
 .include "Makefile.common"
 
@@ -7,12 +7,20 @@ PKGNAME=		swi-prolog-lite-${SWIPLVERS}
 MAINTAINER=		pkgsrc-users@NetBSD.org
 COMMENT=		ISO/Edinburgh-style Prolog compiler
 
-GNU_CONFIGURE=		yes
-CONFIGURE_DIRS=		src
+CMAKE_ARGS+=		-DSWIPL_INSTALL_MANPAGES=${PKGMANDIR}/man1
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_BASIC=ON
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_ARCHIVE=ON
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_SSL=ON
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_TERM=ON
+CMAKE_ARGS+=		-DINSTALL_DOCUMENTATION=ON
 
-CONFIGURE_ENV+=		PL=swi-prolog
-CONFIGURE_ENV+=		PLARCH=${MACHINE_GNU_PLATFORM}	# make PLIST consistent
-USE_TOOLS+=		gmake bash:run
+# Part of swi-prolog-jpl
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_JAVA=OFF
+
+# Part of swi-prolog-packages
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_X=OFF
+
+USE_TOOLS+=		bash:run
 
 .include "../../mk/bsd.prefs.mk"
 
@@ -25,12 +33,23 @@ PLIST_SUBST+=		BITS=32
 
 REPLACE_INTERPRETER+=	swipl
 REPLACE.swipl.old=	/usr/bin/swipl
-REPLACE.swipl.new=	${PREFIX}/bin/swi-prolog
+REPLACE.swipl.new=	${PREFIX}/bin/swipl
 REPLACE_FILES.swipl+=	library/dialect/sicstus/swipl-lfr.pl
 
+# XXX: editline bindings seems limited and does not support completion, remove
+# XXX: them in order to always use readline.pl.
+post-install:
+	${RM} ${DESTDIR}${PREFIX}/lib/swipl/lib/${MACHINE_GNU_PLATFORM}/libedit4pl.so || ${TRUE}
+	${RM} ${DESTDIR}${PREFIX}/lib/swipl/library/editline.pl || ${TRUE}
+
 TEST_TARGET=		check
 
+.include "../../archivers/libarchive/buildlink3.mk"
 .include "../../devel/gmp/buildlink3.mk"
+.include "../../devel/ossp-uuid/buildlink3.mk"
+.include "../../devel/readline/buildlink3.mk"
+.include "../../devel/zlib/buildlink3.mk"
+.include "../../security/openssl/buildlink3.mk"
 .include "../../mk/curses.buildlink3.mk"
 .include "../../mk/pthread.buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
diff --git a/lang/swi-prolog-lite/Makefile.common b/lang/swi-prolog-lite/Makefile.common
index 8f9a873f0f4..9e9526f848e 100644
--- a/lang/swi-prolog-lite/Makefile.common
+++ b/lang/swi-prolog-lite/Makefile.common
@@ -1,10 +1,10 @@
-# $NetBSD: Makefile.common,v 1.15 2018/12/10 14:59:50 leot Exp $
+# $NetBSD: Makefile.common,v 1.16 2019/02/25 15:20:44 leot Exp $
 #
 # used by lang/swi-prolog/Makefile
 # used by lang/swi-prolog-packages/Makefile
 # used by lang/swi-prolog-jpl/Makefile
 
-SWIPLVERS=		7.6.4
+SWIPLVERS=		8.0.1
 DISTNAME=		swipl-${SWIPLVERS}
 CATEGORIES=		lang
 MASTER_SITES=		http://www.swi-prolog.org/download/stable/src/
@@ -17,5 +17,33 @@ 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}
+USE_CMAKE=		yes
+CMAKE_ARGS+=		-DCMAKE_BUILD_TYPE=Release
+CMAKE_ARGS+=		-DSWIPL_ARCH=${MACHINE_GNU_PLATFORM}
+
+# XXX: Explicitly disable all not wanted packages to avoid possible build
+# XXX: failures. For a complete list please see:
+# XXX:  ${WRKSRC}/cmake/PackageSelection.cmake
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_ODBC=OFF
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_BDB=OFF
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_PCRE=OFF
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_YAML=OFF
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_TIPC=OFF
+CMAKE_ARGS+=		-DSWIPL_PACKAGES_QT=OFF
+
+USE_LANGUAGES=		c c++
+
+# XXX: That's kludgy, can it be avoided?
+MAKE_ENV+=		LD_LIBRARY_PATH=${WRKSRC}/build/src
+
+# XXX: Can this be addressed differently without appending to the LDFLAGS?
+# XXX: (i.e. it should just work(TM))
+LDFLAGS+=		${COMPILER_RPATH_FLAG}${PREFIX}/lib/swipl/lib/${MACHINE_GNU_PLATFORM}
+
+CONFIGURE_DIRS=		build
+CMAKE_ARG_PATH=		..
+
+PRINT_PLIST_AWK+=	{ sub("${MACHINE_GNU_PLATFORM}", "$${MACHINE_GNU_PLATFORM}") }
+
+pre-configure:
+	cd ${WRKSRC} && ${MKDIR} build
diff --git a/lang/swi-prolog-lite/PLIST b/lang/swi-prolog-lite/PLIST
index c2a407fcc76..ba085a0405c 100644
--- a/lang/swi-prolog-lite/PLIST
+++ b/lang/swi-prolog-lite/PLIST
@@ -1,406 +1,833 @@
-@comment $NetBSD: PLIST,v 1.13 2018/12/10 14:59:50 leot Exp $
-bin/swi-prolog
+@comment $NetBSD: PLIST,v 1.14 2019/02/25 15:20:44 leot Exp $
+bin/swipl
 bin/swipl-ld
-bin/swipl-rc
-lib/pkgconfig/swipl.pc
-lib/swi-prolog-${PKGVERSION}/bin/swipl.home
-lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swi-prolog
-lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-ld
-lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-rc
-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/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
-lib/swi-prolog-${PKGVERSION}/boot/license.pl
-lib/swi-prolog-${PKGVERSION}/boot/load.pl
-lib/swi-prolog-${PKGVERSION}/boot/messages.pl
-lib/swi-prolog-${PKGVERSION}/boot/packs.pl
-lib/swi-prolog-${PKGVERSION}/boot/parms.pl
-lib/swi-prolog-${PKGVERSION}/boot/predopts.pl
-lib/swi-prolog-${PKGVERSION}/boot/qlf.pl
-lib/swi-prolog-${PKGVERSION}/boot/rc.pl
-lib/swi-prolog-${PKGVERSION}/boot/syspred.pl
-lib/swi-prolog-${PKGVERSION}/boot/toplevel.pl
-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/dotswiplrc
-lib/swi-prolog-${PKGVERSION}/customize/dotxpcerc
-lib/swi-prolog-${PKGVERSION}/customize/edit
-lib/swi-prolog-${PKGVERSION}/demo/README
-lib/swi-prolog-${PKGVERSION}/demo/likes.pl
-lib/swi-prolog-${PKGVERSION}/doc/Manual/64bits.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/Bibliography.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/Contents.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/DCG.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/DDE.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/DocIndex.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/IDE.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/IO.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/SyntaxAndSemantics.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/acknowledge.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/aggregate.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/allsolutions.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/altmoduleapi.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/ancestral-cut.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/apply.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/arith.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/assoc.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/attvar.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/autoload.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/breakpoint.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/builtin.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/builtinlist.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/charconv.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/chario.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/chars.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/charsio.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/chartype.html
-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/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
-lib/swi-prolog-${PKGVERSION}/doc/Manual/compare.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/compilation.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/consulting.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/contrib.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/control.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/coroutining.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/csv.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/ctxmodule.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/cyclic.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/db.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/debug.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/debugger.html
-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/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
-lib/swi-prolog-${PKGVERSION}/doc/Manual/flags.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/forall2.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreign.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigninclude.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignlink.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignnotes.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignoverview.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignthread.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigntypes.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignxmp.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/format.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/funcsummary.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/gc.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/gemacs.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/gensym.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/glossary.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/guidelines.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/guitracer.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/gvar.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/hack.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/help.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/history.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/home.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/hooks.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/idepreds.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/idesummary.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/implhistory.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/import.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/importmodule.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/index.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/index.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/info.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/initfile.html
-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
-lib/swi-prolog-${PKGVERSION}/doc/Manual/license.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/limits.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/listing.html
-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
-lib/swi-prolog-${PKGVERSION}/doc/Manual/manipterm.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/memory.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/metacall.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/metapred.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/miscarith.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/miscpreds.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/modulecompat.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/moduleop.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/modules.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/mt-xpce.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/mtoplevel.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/navigator.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/nb_set.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/next.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/operators.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/opsummary.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/option.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/optparse.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/ordsets.html
-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
-lib/swi-prolog-${PKGVERSION}/doc/Manual/practical.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/preddesc.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/predicate_options.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/predsummary.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/prev.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/profile.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/profnode.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/projectfiles.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/prolog_xref.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/prologpack.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/protocol.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/qsaveforeign.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/qsavelimits.html
-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/readutil.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/record.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/reexport.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/registry.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/resmodules.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/runtime.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/sicstus-chr.html
-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
-lib/swi-prolog-${PKGVERSION}/doc/Manual/streamstat.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/strings.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/summary.html
-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/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
-lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcreate.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/threadpool.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/threads.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/threadsync.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/thutil.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/toplevel.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/topvars.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/tracehook.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/tty.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/typetest.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/ugraphs.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/up.gif
-lib/swi-prolog-${PKGVERSION}/doc/Manual/url.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/useresource.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/usingmodules.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/varnumbers.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/whymodules.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/widechars.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/www_browser.html
-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
-lib/swi-prolog-${PKGVERSION}/include/Yap/YapInterface.h
-lib/swi-prolog-${PKGVERSION}/include/sicstus/sicstus.h
-lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.a
-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/ansi_term.pl
-lib/swi-prolog-${PKGVERSION}/library/apply.pl
-lib/swi-prolog-${PKGVERSION}/library/apply_macros.pl
-lib/swi-prolog-${PKGVERSION}/library/arithmetic.pl
-lib/swi-prolog-${PKGVERSION}/library/assoc.pl
-lib/swi-prolog-${PKGVERSION}/library/backcomp.pl
-lib/swi-prolog-${PKGVERSION}/library/base32.pl
-lib/swi-prolog-${PKGVERSION}/library/base64.pl
-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
-lib/swi-prolog-${PKGVERSION}/library/coinduction.pl
-lib/swi-prolog-${PKGVERSION}/library/console_input.pl
-lib/swi-prolog-${PKGVERSION}/library/csv.pl
-lib/swi-prolog-${PKGVERSION}/library/ctypes.pl
-lib/swi-prolog-${PKGVERSION}/library/date.pl
-lib/swi-prolog-${PKGVERSION}/library/dcg/basics.pl
-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/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
-lib/swi-prolog-${PKGVERSION}/library/dialect/iso/iso_predicates.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/arrays.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/block.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/lists.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/sockets.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/swipl-lfr.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/system.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/terms.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/timeout.pl
-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
-lib/swi-prolog-${PKGVERSION}/library/error.pl
-lib/swi-prolog-${PKGVERSION}/library/explain.pl
-lib/swi-prolog-${PKGVERSION}/library/fastrw.pl
-lib/swi-prolog-${PKGVERSION}/library/files.pl
-lib/swi-prolog-${PKGVERSION}/library/gensym.pl
-lib/swi-prolog-${PKGVERSION}/library/git.pl
-lib/swi-prolog-${PKGVERSION}/library/heaps.pl
-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
-lib/swi-prolog-${PKGVERSION}/library/operators.pl
-lib/swi-prolog-${PKGVERSION}/library/option.pl
-lib/swi-prolog-${PKGVERSION}/library/optparse.pl
-lib/swi-prolog-${PKGVERSION}/library/ordsets.pl
-lib/swi-prolog-${PKGVERSION}/library/oset.pl
-lib/swi-prolog-${PKGVERSION}/library/pairs.pl
-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
-lib/swi-prolog-${PKGVERSION}/library/prolog_clause.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_codewalk.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_colour.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_format.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_history.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_install.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_jiti.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_metainference.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_pack.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_source.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_stack.pl
-lib/swi-prolog-${PKGVERSION}/library/prolog_xref.pl
-lib/swi-prolog-${PKGVERSION}/library/pure_input.pl
-lib/swi-prolog-${PKGVERSION}/library/qpforeign.pl
-lib/swi-prolog-${PKGVERSION}/library/qsave.pl
-lib/swi-prolog-${PKGVERSION}/library/quasi_quotations.pl
-lib/swi-prolog-${PKGVERSION}/library/quintus.pl
-lib/swi-prolog-${PKGVERSION}/library/random.pl
-lib/swi-prolog-${PKGVERSION}/library/rbtrees.pl
-lib/swi-prolog-${PKGVERSION}/library/readln.pl
-lib/swi-prolog-${PKGVERSION}/library/readutil.pl
-lib/swi-prolog-${PKGVERSION}/library/record.pl
-lib/swi-prolog-${PKGVERSION}/library/sandbox.pl
-lib/swi-prolog-${PKGVERSION}/library/settings.pl
-lib/swi-prolog-${PKGVERSION}/library/shell.pl
-lib/swi-prolog-${PKGVERSION}/library/shlib.pl
-lib/swi-prolog-${PKGVERSION}/library/solution_sequences.pl
-lib/swi-prolog-${PKGVERSION}/library/sort.pl
-lib/swi-prolog-${PKGVERSION}/library/statistics.pl
-lib/swi-prolog-${PKGVERSION}/library/system.pl
-lib/swi-prolog-${PKGVERSION}/library/tabling.pl
-lib/swi-prolog-${PKGVERSION}/library/terms.pl
-lib/swi-prolog-${PKGVERSION}/library/thread.pl
-lib/swi-prolog-${PKGVERSION}/library/thread_pool.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}/library/utf8.pl
-lib/swi-prolog-${PKGVERSION}/library/varnumbers.pl
-lib/swi-prolog-${PKGVERSION}/library/vm.pl
-lib/swi-prolog-${PKGVERSION}/library/when.pl
-lib/swi-prolog-${PKGVERSION}/library/win_menu.pl
-lib/swi-prolog-${PKGVERSION}/library/writef.pl
-lib/swi-prolog-${PKGVERSION}/library/www_browser.pl
-lib/swi-prolog-${PKGVERSION}/library/yall.pl
-lib/swi-prolog-${PKGVERSION}/swipl.home
-man/man1/swi-prolog.1
+lib/swipl/LICENSE
+lib/swipl/README.md
+lib/swipl/bin/latex2html
+lib/swipl/bin/swipl.home
+lib/swipl/bin/${MACHINE_GNU_PLATFORM}/swipl
+lib/swipl/bin/${MACHINE_GNU_PLATFORM}/swipl-ld
+lib/swipl/boot/apply.pl
+lib/swipl/boot/attvar.pl
+lib/swipl/boot/autoload.pl
+lib/swipl/boot/bags.pl
+lib/swipl/boot/dcg.pl
+lib/swipl/boot/dicts.pl
+lib/swipl/boot/dwim.pl
+lib/swipl/boot/engines.pl
+lib/swipl/boot/expand.pl
+lib/swipl/boot/gc.pl
+lib/swipl/boot/history.pl
+lib/swipl/boot/init.pl
+lib/swipl/boot/iri.pl
+lib/swipl/boot/license.pl
+lib/swipl/boot/load.pl
+lib/swipl/boot/messages.pl
+lib/swipl/boot/packs.pl
+lib/swipl/boot/parms.pl
+lib/swipl/boot/predopts.pl
+lib/swipl/boot/qlf.pl
+lib/swipl/boot/rc.pl
+lib/swipl/boot/syspred.pl
+lib/swipl/boot/tabling.pl
+lib/swipl/boot/toplevel.pl
+lib/swipl/boot/topvars.pl
+lib/swipl/boot${BITS}.prc
+lib/swipl/demo/README
+lib/swipl/demo/likes.pl
+lib/swipl/doc/Manual/64bits.html
+lib/swipl/doc/Manual/Bibliography.html
+lib/swipl/doc/Manual/Contents.html
+lib/swipl/doc/Manual/DCG.html
+lib/swipl/doc/Manual/DDE.html
+lib/swipl/doc/Manual/DocIndex.html
+lib/swipl/doc/Manual/IDE.html
+lib/swipl/doc/Manual/IO.html
+lib/swipl/doc/Manual/SyntaxAndSemantics.html
+lib/swipl/doc/Manual/acknowledge.html
+lib/swipl/doc/Manual/aggregate.html
+lib/swipl/doc/Manual/allsolutions.html
+lib/swipl/doc/Manual/altmoduleapi.html
+lib/swipl/doc/Manual/ancestral-cut.html
+lib/swipl/doc/Manual/ansiterm.html
+lib/swipl/doc/Manual/apply.html
+lib/swipl/doc/Manual/arith.html
+lib/swipl/doc/Manual/assoc.html
+lib/swipl/doc/Manual/attvar.html
+lib/swipl/doc/Manual/autoload.html
+lib/swipl/doc/Manual/basics.html
+lib/swipl/doc/Manual/bidicts.html
+lib/swipl/doc/Manual/breakpoint.html
+lib/swipl/doc/Manual/broadcast.html
+lib/swipl/doc/Manual/broadcast.png
+lib/swipl/doc/Manual/builtin.html
+lib/swipl/doc/Manual/builtinlist.html
+lib/swipl/doc/Manual/by-sa.png
+lib/swipl/doc/Manual/charconv.html
+lib/swipl/doc/Manual/chario.html
+lib/swipl/doc/Manual/chars.html
+lib/swipl/doc/Manual/charsio.html
+lib/swipl/doc/Manual/chartype.html
+lib/swipl/doc/Manual/check.html
+lib/swipl/doc/Manual/chr.html
+lib/swipl/doc/Manual/chrintro.html
+lib/swipl/doc/Manual/clp.html
+lib/swipl/doc/Manual/clpb.html
+lib/swipl/doc/Manual/clpfd.html
+lib/swipl/doc/Manual/clpqr.html
+lib/swipl/doc/Manual/cmdline.html
+lib/swipl/doc/Manual/compare.html
+lib/swipl/doc/Manual/compilation.html
+lib/swipl/doc/Manual/consulting.html
+lib/swipl/doc/Manual/contrib.html
+lib/swipl/doc/Manual/control.html
+lib/swipl/doc/Manual/coroutining.html
+lib/swipl/doc/Manual/csv.html
+lib/swipl/doc/Manual/ctxmodule.html
+lib/swipl/doc/Manual/cyclic.html
+lib/swipl/doc/Manual/db.html
+lib/swipl/doc/Manual/debug-deployed-systems.html
+lib/swipl/doc/Manual/debug.html
+lib/swipl/doc/Manual/debugger.html
+lib/swipl/doc/Manual/debugging.html
+lib/swipl/doc/Manual/debugoverview.html
+lib/swipl/doc/Manual/defmodule.html
+lib/swipl/doc/Manual/delcont.html
+lib/swipl/doc/Manual/deployment-options.html
+lib/swipl/doc/Manual/dialect.html
+lib/swipl/doc/Manual/dicts.html
+lib/swipl/doc/Manual/dynamic-modules.html
+lib/swipl/doc/Manual/dynamic.html
+lib/swipl/doc/Manual/edit.html
+lib/swipl/doc/Manual/editreload.html
+lib/swipl/doc/Manual/engine-examples.html
+lib/swipl/doc/Manual/engine-predicates.html
+lib/swipl/doc/Manual/engine-resources.html
+lib/swipl/doc/Manual/engines.html
+lib/swipl/doc/Manual/error.html
+lib/swipl/doc/Manual/errors.html
+lib/swipl/doc/Manual/examineprog.html
+lib/swipl/doc/Manual/examples.html
+lib/swipl/doc/Manual/excepthook.html
+lib/swipl/doc/Manual/exception.html
+lib/swipl/doc/Manual/exception3.html
+lib/swipl/doc/Manual/ext-integration.html
+lib/swipl/doc/Manual/ext-issues.html
+lib/swipl/doc/Manual/ext-lists.html
+lib/swipl/doc/Manual/ext-syntax.html
+lib/swipl/doc/Manual/extensions.html
+lib/swipl/doc/Manual/files.html
+lib/swipl/doc/Manual/findappfile.html
+lib/swipl/doc/Manual/findhome.html
+lib/swipl/doc/Manual/flags.html
+lib/swipl/doc/Manual/forall2.html
+lib/swipl/doc/Manual/foreign.html
+lib/swipl/doc/Manual/foreigninclude.html
+lib/swipl/doc/Manual/foreignlink.html
+lib/swipl/doc/Manual/foreignnotes.html
+lib/swipl/doc/Manual/foreignoverview.html
+lib/swipl/doc/Manual/foreignthread.html
+lib/swipl/doc/Manual/foreigntypes.html
+lib/swipl/doc/Manual/foreignxmp.html
+lib/swipl/doc/Manual/format.html
+lib/swipl/doc/Manual/funcsummary.html
+lib/swipl/doc/Manual/gc.html
+lib/swipl/doc/Manual/gemacs.html
+lib/swipl/doc/Manual/gensym.html
+lib/swipl/doc/Manual/glossary.html
+lib/swipl/doc/Manual/guidelines.html
+lib/swipl/doc/Manual/guitracer.html
+lib/swipl/doc/Manual/gvar.html
+lib/swipl/doc/Manual/hack.html
+lib/swipl/doc/Manual/highorder.html
+lib/swipl/doc/Manual/history.html
+lib/swipl/doc/Manual/home.gif
+lib/swipl/doc/Manual/hooks.html
+lib/swipl/doc/Manual/idepreds.html
+lib/swipl/doc/Manual/idesummary.html
+lib/swipl/doc/Manual/implhistory.html
+lib/swipl/doc/Manual/import.html
+lib/swipl/doc/Manual/importmodule.html
+lib/swipl/doc/Manual/index.gif
+lib/swipl/doc/Manual/index.html
+lib/swipl/doc/Manual/info.gif
+lib/swipl/doc/Manual/initfile.html
+lib/swipl/doc/Manual/initgoal.html
+lib/swipl/doc/Manual/intlibs.html
+lib/swipl/doc/Manual/intro.html
+lib/swipl/doc/Manual/iostream.html
+lib/swipl/doc/Manual/jitindex.html
+lib/swipl/doc/Manual/libpl.html
+lib/swipl/doc/Manual/library.html
+lib/swipl/doc/Manual/license.html
+lib/swipl/doc/Manual/limits.html
+lib/swipl/doc/Manual/listing.html
+lib/swipl/doc/Manual/lists.html
+lib/swipl/doc/Manual/loadfilehook.html
+lib/swipl/doc/Manual/locale.html
+lib/swipl/doc/Manual/main.html
+lib/swipl/doc/Manual/manipatom.html
+lib/swipl/doc/Manual/manipmodule.html
+lib/swipl/doc/Manual/manipstack.html
+lib/swipl/doc/Manual/manipterm.html
+lib/swipl/doc/Manual/memory.html
+lib/swipl/doc/Manual/metacall.html
+lib/swipl/doc/Manual/metapred.html
+lib/swipl/doc/Manual/miscarith.html
+lib/swipl/doc/Manual/miscpreds.html
+lib/swipl/doc/Manual/modulecompat.html
+lib/swipl/doc/Manual/moduleop.html
+lib/swipl/doc/Manual/modules.html
+lib/swipl/doc/Manual/mt-xpce.html
+lib/swipl/doc/Manual/mtoplevel.html
+lib/swipl/doc/Manual/navigator.html
+lib/swipl/doc/Manual/nb_set.html
+lib/swipl/doc/Manual/next.gif
+lib/swipl/doc/Manual/occurs.html
+lib/swipl/doc/Manual/online-help.html
+lib/swipl/doc/Manual/operators.html
+lib/swipl/doc/Manual/opsummary.html
+lib/swipl/doc/Manual/option.html
+lib/swipl/doc/Manual/optparse.html
+lib/swipl/doc/Manual/ordsets.html
+lib/swipl/doc/Manual/otherlicenses.html
+lib/swipl/doc/Manual/overrule.html
+lib/swipl/doc/Manual/overview.html
+lib/swipl/doc/Manual/packs.html
+lib/swipl/doc/Manual/pairs.html
+lib/swipl/doc/Manual/pceemacs.html
+lib/swipl/doc/Manual/persistency.html
+lib/swipl/doc/Manual/pio.html
+lib/swipl/doc/Manual/plld.html
+lib/swipl/doc/Manual/portabilitystrategies.html
+lib/swipl/doc/Manual/practical.html
+lib/swipl/doc/Manual/preddesc.html
+lib/swipl/doc/Manual/predicate_options.html
+lib/swipl/doc/Manual/predsummary.html
+lib/swipl/doc/Manual/prev.gif
+lib/swipl/doc/Manual/profile.html
+lib/swipl/doc/Manual/profnode.png
+lib/swipl/doc/Manual/program-resources.html
+lib/swipl/doc/Manual/projectfiles.html
+lib/swipl/doc/Manual/prolog_xref.html
+lib/swipl/doc/Manual/prologpack.html
+lib/swipl/doc/Manual/protect-code.html
+lib/swipl/doc/Manual/protocol.html
+lib/swipl/doc/Manual/quasiquotations.html
+lib/swipl/doc/Manual/quickstart.html
+lib/swipl/doc/Manual/random.html
+lib/swipl/doc/Manual/readutil.html
+lib/swipl/doc/Manual/record.html
+lib/swipl/doc/Manual/reexport.html
+lib/swipl/doc/Manual/registry.html
+lib/swipl/doc/Manual/resmodules.html
+lib/swipl/doc/Manual/runtime.html
+lib/swipl/doc/Manual/saved-states.html
+lib/swipl/doc/Manual/settings.html
+lib/swipl/doc/Manual/sicstus-chr.html
+lib/swipl/doc/Manual/signal.html
+lib/swipl/doc/Manual/simplex.html
+lib/swipl/doc/Manual/softlicense.html
+lib/swipl/doc/Manual/solutionsequences.html
+lib/swipl/doc/Manual/sponsor.html
+lib/swipl/doc/Manual/state-initialization.html
+lib/swipl/doc/Manual/statistics.html
+lib/swipl/doc/Manual/status.html
+lib/swipl/doc/Manual/streamstat.html
+lib/swipl/doc/Manual/strings.html
+lib/swipl/doc/Manual/summary.html
+lib/swipl/doc/Manual/swiorother.html
+lib/swipl/doc/Manual/swiprolog.html
+lib/swipl/doc/Manual/syntax.html
+lib/swipl/doc/Manual/system.html
+lib/swipl/doc/Manual/tabling-about.html
+lib/swipl/doc/Manual/tabling-memoize.html
+lib/swipl/doc/Manual/tabling-mode-directed.html
+lib/swipl/doc/Manual/tabling-non-termination.html
+lib/swipl/doc/Manual/tabling-preds.html
+lib/swipl/doc/Manual/tabling.html
+lib/swipl/doc/Manual/termrw.html
+lib/swipl/doc/Manual/thmonitor.html
+lib/swipl/doc/Manual/threadcom.html
+lib/swipl/doc/Manual/threadcreate.html
+lib/swipl/doc/Manual/threadpool.html
+lib/swipl/doc/Manual/threads.html
+lib/swipl/doc/Manual/threadsync.html
+lib/swipl/doc/Manual/thutil.html
+lib/swipl/doc/Manual/toplevel.html
+lib/swipl/doc/Manual/topvars.html
+lib/swipl/doc/Manual/tracehook.html
+lib/swipl/doc/Manual/tty.html
+lib/swipl/doc/Manual/typetest.html
+lib/swipl/doc/Manual/ugraphs.html
+lib/swipl/doc/Manual/up.gif
+lib/swipl/doc/Manual/url.html
+lib/swipl/doc/Manual/usingmodules.html
+lib/swipl/doc/Manual/varnumbers.html
+lib/swipl/doc/Manual/whymodules.html
+lib/swipl/doc/Manual/widechars.html
+lib/swipl/doc/Manual/www_browser.html
+lib/swipl/doc/Manual/xref.html
+lib/swipl/doc/Manual/xrefchatdep.png
+lib/swipl/doc/Manual/xrefchatfile.png
+lib/swipl/doc/Manual/yall.html
+lib/swipl/doc/Manual/yellow_pages.gif
+lib/swipl/doc/manindex.db
+lib/swipl/doc/packages/archive.html
+lib/swipl/doc/packages/clib.html
+lib/swipl/doc/packages/examples/chr/bool.chr
+lib/swipl/doc/packages/examples/chr/chrdif.chr
+lib/swipl/doc/packages/examples/chr/chrfreeze.chr
+lib/swipl/doc/packages/examples/chr/family.chr
+lib/swipl/doc/packages/examples/chr/fib.chr
+lib/swipl/doc/packages/examples/chr/fibonacci.chr
+lib/swipl/doc/packages/examples/chr/gcd.chr
+lib/swipl/doc/packages/examples/chr/leq.chr
+lib/swipl/doc/packages/examples/chr/listdom.chr
+lib/swipl/doc/packages/examples/chr/primes.chr
+lib/swipl/doc/packages/examples/cpp/likes.cpp
+lib/swipl/doc/packages/examples/cpp/likes.pl
+lib/swipl/doc/packages/examples/cpp/test.cpp
+lib/swipl/doc/packages/examples/cpp/test.pl
+lib/swipl/doc/packages/examples/http/README.md
+lib/swipl/doc/packages/examples/http/calc.pl
+lib/swipl/doc/packages/examples/http/demo_body.pl
+lib/swipl/doc/packages/examples/http/demo_client.pl
+lib/swipl/doc/packages/examples/http/demo_daemon.pl
+lib/swipl/doc/packages/examples/http/demo_files.pl
+lib/swipl/doc/packages/examples/http/demo_hello.pl
+lib/swipl/doc/packages/examples/http/demo_login.pl
+lib/swipl/doc/packages/examples/http/demo_openid.pl
+lib/swipl/doc/packages/examples/http/demo_pwp.pl
+lib/swipl/doc/packages/examples/http/demo_rest.pl
+lib/swipl/doc/packages/examples/http/demo_threads.pl
+lib/swipl/doc/packages/examples/http/linux-init-script
+lib/swipl/doc/packages/examples/http/pwp/context.pwp
+lib/swipl/doc/packages/examples/http/pwp/index.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp1.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp2.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp3.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp4.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp5.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp6.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp7.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwp8.pwp
+lib/swipl/doc/packages/examples/http/pwp/pwpdb.pl
+lib/swipl/doc/packages/examples/http/systemd-script.service
+lib/swipl/doc/packages/examples/http/upstart-script.conf
+lib/swipl/doc/packages/examples/inclpr/benchmarks.pl
+lib/swipl/doc/packages/examples/pengines/client.pl
+lib/swipl/doc/packages/examples/pengines/server.pl
+lib/swipl/doc/packages/examples/pengines/web/chunking.html
+lib/swipl/doc/packages/examples/pengines/web/debugging.html
+lib/swipl/doc/packages/examples/pengines/web/hack.html
+lib/swipl/doc/packages/examples/pengines/web/index.html
+lib/swipl/doc/packages/examples/pengines/web/input_output.html
+lib/swipl/doc/packages/examples/pengines/web/pengine.html
+lib/swipl/doc/packages/examples/pengines/web/queen.png
+lib/swipl/doc/packages/examples/pengines/web/queens.html
+lib/swipl/doc/packages/examples/pengines/web/simple.html
+lib/swipl/doc/packages/examples/pengines/web/update-jquery
+lib/swipl/doc/packages/examples/pldoc/README
+lib/swipl/doc/packages/examples/pldoc/man_server.pl
+lib/swipl/doc/packages/examples/plunit/read.pl
+lib/swipl/doc/packages/examples/plunit/simple.pl
+lib/swipl/doc/packages/examples/protobufs/Makefile
+lib/swipl/doc/packages/examples/protobufs/foo.cpp
+lib/swipl/doc/packages/examples/protobufs/pb-vector.proto
+lib/swipl/doc/packages/examples/protobufs/vector_demo.pl
+lib/swipl/doc/packages/examples/ssl/client.pl
+lib/swipl/doc/packages/examples/ssl/etc/README
+lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12
+lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem
+lib/swipl/doc/packages/examples/ssl/etc/client/client-key.pem
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A71.pem
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A72.pem
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem
+lib/swipl/doc/packages/examples/ssl/etc/demoCA/serial
+lib/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem
+lib/swipl/doc/packages/examples/ssl/etc/server/server-key.pem
+lib/swipl/doc/packages/examples/ssl/https.pl
+lib/swipl/doc/packages/examples/ssl/server.pl
+lib/swipl/doc/packages/http.html
+lib/swipl/doc/packages/index.html
+lib/swipl/doc/packages/libedit.html
+lib/swipl/doc/packages/nlp.html
+lib/swipl/doc/packages/paxos.html
+lib/swipl/doc/packages/penarch.png
+lib/swipl/doc/packages/pengines.html
+lib/swipl/doc/packages/pl2cpp.html
+lib/swipl/doc/packages/pldoc.html
+lib/swipl/doc/packages/pltpruncolour.png
+lib/swipl/doc/packages/pltpsynch.png
+lib/swipl/doc/packages/plunit.html
+lib/swipl/doc/packages/protobufs.html
+lib/swipl/doc/packages/rdf2pl.html
+lib/swipl/doc/packages/readline.html
+lib/swipl/doc/packages/semweb.html
+lib/swipl/doc/packages/sgml.html
+lib/swipl/doc/packages/ssl.html
+lib/swipl/doc/packages/table.html
+lib/swipl/doc/packages/utf8proc.html
+lib/swipl/doc/packages/zlib.html
+lib/swipl/include/SWI-Prolog.h
+lib/swipl/include/SWI-Stream.h
+lib/swipl/include/SWI-cpp.h
+lib/swipl/include/Yap/YapInterface.h
+lib/swipl/include/sicstus/sicstus.h
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/archive4pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/cgi.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/crypt.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/crypto4pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/double_metaphone.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/files.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/hashstream.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/http_stream.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/inclpr.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/isub.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/json.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/libswipl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/libswipl.so.8
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/libswipl.so.${PKGVERSION}
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/md54pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/memfile.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/ntriples.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/pdt_console.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/porter_stem.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/process.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/prolog_stream.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/protobufs.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/rdf_db.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/readline4pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/readutil.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/rlimit.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/sgml2pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/sha4pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/snowball.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/socket.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/ssl4pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/streaminfo.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/syslog.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/table.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/tex.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/time.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/turtle.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/uid.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/unicode4pl.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/unix.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/uri.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/uuid.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/websocket.so
+lib/swipl/lib/${MACHINE_GNU_PLATFORM}/zlib4pl.so
+lib/swipl/library/DTD/HTML4.dcl
+lib/swipl/library/DTD/HTML4.dtd
+lib/swipl/library/DTD/HTML4.soc
+lib/swipl/library/DTD/HTML5.dtd
+lib/swipl/library/DTD/HTMLlat1.ent
+lib/swipl/library/DTD/HTMLspec.ent
+lib/swipl/library/DTD/HTMLsym.ent
+lib/swipl/library/INDEX.pl
+lib/swipl/library/aggregate.pl
+lib/swipl/library/ansi_term.pl
+lib/swipl/library/apply.pl
+lib/swipl/library/apply_macros.pl
+lib/swipl/library/archive.pl
+lib/swipl/library/arithmetic.pl
+lib/swipl/library/assoc.pl
+lib/swipl/library/atom.pl
+lib/swipl/library/backcomp.pl
+lib/swipl/library/base32.pl
+lib/swipl/library/base64.pl
+lib/swipl/library/broadcast.pl
+lib/swipl/library/c14n2.pl
+lib/swipl/library/cgi.pl
+lib/swipl/library/charsio.pl
+lib/swipl/library/check.pl
+lib/swipl/library/check_installation.pl
+lib/swipl/library/checklast.pl
+lib/swipl/library/checkselect.pl
+lib/swipl/library/chr.pl
+lib/swipl/library/chr/a_star.pl
+lib/swipl/library/chr/binomialheap.pl
+lib/swipl/library/chr/builtins.pl
+lib/swipl/library/chr/chr_compiler_errors.pl
+lib/swipl/library/chr/chr_compiler_options.pl
+lib/swipl/library/chr/chr_compiler_utility.pl
+lib/swipl/library/chr/chr_debug.pl
+lib/swipl/library/chr/chr_hashtable_store.pl
+lib/swipl/library/chr/chr_integertable_store.pl
+lib/swipl/library/chr/chr_messages.pl
+lib/swipl/library/chr/chr_op.pl
+lib/swipl/library/chr/chr_runtime.pl
+lib/swipl/library/chr/chr_translate.pl
+lib/swipl/library/chr/clean_code.pl
+lib/swipl/library/chr/find.pl
+lib/swipl/library/chr/guard_entailment.pl
+lib/swipl/library/chr/listmap.pl
+lib/swipl/library/chr/pairlist.pl
+lib/swipl/library/clp/bounds.pl
+lib/swipl/library/clp/clp_distinct.pl
+lib/swipl/library/clp/clp_events.pl
+lib/swipl/library/clp/clpb.pl
+lib/swipl/library/clp/clpfd.pl
+lib/swipl/library/clp/clpq.pl
+lib/swipl/library/clp/clpq/bb_q.pl
+lib/swipl/library/clp/clpq/bv_q.pl
+lib/swipl/library/clp/clpq/fourmotz_q.pl
+lib/swipl/library/clp/clpq/ineq_q.pl
+lib/swipl/library/clp/clpq/itf_q.pl
+lib/swipl/library/clp/clpq/nf_q.pl
+lib/swipl/library/clp/clpq/store_q.pl
+lib/swipl/library/clp/clpqr/class.pl
+lib/swipl/library/clp/clpqr/dump.pl
+lib/swipl/library/clp/clpqr/geler.pl
+lib/swipl/library/clp/clpqr/highlight.pl
+lib/swipl/library/clp/clpqr/itf.pl
+lib/swipl/library/clp/clpqr/ordering.pl
+lib/swipl/library/clp/clpqr/project.pl
+lib/swipl/library/clp/clpqr/redund.pl
+lib/swipl/library/clp/clpr.pl
+lib/swipl/library/clp/clpr/bb_r.pl
+lib/swipl/library/clp/clpr/bv_r.pl
+lib/swipl/library/clp/clpr/fourmotz_r.pl
+lib/swipl/library/clp/clpr/ineq_r.pl
+lib/swipl/library/clp/clpr/itf_r.pl
+lib/swipl/library/clp/clpr/nf_r.pl
+lib/swipl/library/clp/clpr/store_r.pl
+lib/swipl/library/clp/inclpr.pl
+lib/swipl/library/clp/inclpr/inclpr_consistency.pl
+lib/swipl/library/clp/inclpr/inclpr_core.pl
+lib/swipl/library/clp/inclpr/inclpr_interval_arithmetic.pl
+lib/swipl/library/clp/inclpr/inclpr_inversion.pl
+lib/swipl/library/clp/inclpr/inclpr_natural_interval_extension.pl
+lib/swipl/library/clp/inclpr/inclpr_newton.pl
+lib/swipl/library/clp/inclpr/inclpr_ordering.pl
+lib/swipl/library/clp/inclpr/inclpr_symbolic_processing.pl
+lib/swipl/library/clp/simplex.pl
+lib/swipl/library/codesio.pl
+lib/swipl/library/coinduction.pl
+lib/swipl/library/console_input.pl
+lib/swipl/library/crypt.pl
+lib/swipl/library/crypto.pl
+lib/swipl/library/csv.pl
+lib/swipl/library/ctypes.pl
+lib/swipl/library/date.pl
+lib/swipl/library/dcg/basics.pl
+lib/swipl/library/dcg/high_order.pl
+lib/swipl/library/debug.pl
+lib/swipl/library/dialect.pl
+lib/swipl/library/dialect/bim.pl
+lib/swipl/library/dialect/commons.pl
+lib/swipl/library/dialect/eclipse/test_util_iso.pl
+lib/swipl/library/dialect/hprolog.pl
+lib/swipl/library/dialect/hprolog/format.pl
+lib/swipl/library/dialect/ifprolog.pl
+lib/swipl/library/dialect/iso/iso_predicates.pl
+lib/swipl/library/dialect/sicstus.pl
+lib/swipl/library/dialect/sicstus/README.TXT
+lib/swipl/library/dialect/sicstus/arrays.pl
+lib/swipl/library/dialect/sicstus/block.pl
+lib/swipl/library/dialect/sicstus/lists.pl
+lib/swipl/library/dialect/sicstus/sockets.pl
+lib/swipl/library/dialect/sicstus/swipl-lfr.pl
+lib/swipl/library/dialect/sicstus/system.pl
+lib/swipl/library/dialect/sicstus/terms.pl
+lib/swipl/library/dialect/sicstus/timeout.pl
+lib/swipl/library/dialect/swi/syspred_options.pl
+lib/swipl/library/dialect/yap.pl
+lib/swipl/library/dialect/yap/README.TXT
+lib/swipl/library/dicts.pl
+lib/swipl/library/dif.pl
+lib/swipl/library/doc_files.pl
+lib/swipl/library/doc_http.pl
+lib/swipl/library/doc_latex.pl
+lib/swipl/library/double_metaphone.pl
+lib/swipl/library/edinburgh.pl
+lib/swipl/library/edit.pl
+lib/swipl/library/error.pl
+lib/swipl/library/explain.pl
+lib/swipl/library/fastrw.pl
+lib/swipl/library/files.pl
+lib/swipl/library/filesex.pl
+lib/swipl/library/gensym.pl
+lib/swipl/library/git.pl
+lib/swipl/library/hash_stream.pl
+lib/swipl/library/heaps.pl
+lib/swipl/library/help.pl
+lib/swipl/library/hotfix.pl
+lib/swipl/library/http/README.md
+lib/swipl/library/http/ax.pl
+lib/swipl/library/http/dcg_basics.pl
+lib/swipl/library/http/html_head.pl
+lib/swipl/library/http/html_quasiquotations.pl
+lib/swipl/library/http/html_write.pl
+lib/swipl/library/http/http_authenticate.pl
+lib/swipl/library/http/http_client.pl
+lib/swipl/library/http/http_cookie.pl
+lib/swipl/library/http/http_cors.pl
+lib/swipl/library/http/http_digest.pl
+lib/swipl/library/http/http_dirindex.pl
+lib/swipl/library/http/http_dispatch.pl
+lib/swipl/library/http/http_dyn_workers.pl
+lib/swipl/library/http/http_error.pl
+lib/swipl/library/http/http_exception.pl
+lib/swipl/library/http/http_files.pl
+lib/swipl/library/http/http_header.pl
+lib/swipl/library/http/http_hook.pl
+lib/swipl/library/http/http_host.pl
+lib/swipl/library/http/http_json.pl
+lib/swipl/library/http/http_load.pl
+lib/swipl/library/http/http_log.pl
+lib/swipl/library/http/http_multipart_plugin.pl
+lib/swipl/library/http/http_open.pl
+lib/swipl/library/http/http_openid.pl
+lib/swipl/library/http/http_parameters.pl
+lib/swipl/library/http/http_path.pl
+lib/swipl/library/http/http_proxy.pl
+lib/swipl/library/http/http_pwp.pl
+lib/swipl/library/http/http_server.pl
+lib/swipl/library/http/http_server_files.pl
+lib/swipl/library/http/http_session.pl
+lib/swipl/library/http/http_sgml_plugin.pl
+lib/swipl/library/http/http_ssl_plugin.pl
+lib/swipl/library/http/http_stream.pl
+lib/swipl/library/http/http_unix_daemon.pl
+lib/swipl/library/http/http_wrapper.pl
+lib/swipl/library/http/hub.pl
+lib/swipl/library/http/jquery.pl
+lib/swipl/library/http/js_grammar.pl
+lib/swipl/library/http/js_write.pl
+lib/swipl/library/http/json.pl
+lib/swipl/library/http/json_convert.pl
+lib/swipl/library/http/mimepack.pl
+lib/swipl/library/http/mimetype.pl
+lib/swipl/library/http/term_html.pl
+lib/swipl/library/http/thread_httpd.pl
+lib/swipl/library/http/web/css/dirindex.css
+lib/swipl/library/http/web/css/openid.css
+lib/swipl/library/http/web/css/plterm.css
+lib/swipl/library/http/web/icons/back.png
+lib/swipl/library/http/web/icons/c.png
+lib/swipl/library/http/web/icons/compressed.png
+lib/swipl/library/http/web/icons/folder.png
+lib/swipl/library/http/web/icons/generic.png
+lib/swipl/library/http/web/icons/layout.png
+lib/swipl/library/http/web/icons/openid-logo-square.png
+lib/swipl/library/http/web/icons/openid-logo-tiny.png
+lib/swipl/library/http/web/js/jquery-1.11.3.min.js
+lib/swipl/library/http/web/js/pengines.js
+lib/swipl/library/http/websocket.pl
+lib/swipl/library/http/yadis.pl
+lib/swipl/library/iostream.pl
+lib/swipl/library/iso_639.pl
+lib/swipl/library/isub.pl
+lib/swipl/library/latex2html/icons/home.gif
+lib/swipl/library/latex2html/icons/index.gif
+lib/swipl/library/latex2html/icons/info.gif
+lib/swipl/library/latex2html/icons/next.gif
+lib/swipl/library/latex2html/icons/prev.gif
+lib/swipl/library/latex2html/icons/up.gif
+lib/swipl/library/latex2html/icons/yellow_pages.gif
+lib/swipl/library/latex2html/latex.cmd
+lib/swipl/library/latex2html/latex2html.css
+lib/swipl/library/latex2html/latex2html.pl
+lib/swipl/library/latex2html/pldoc.cmd
+lib/swipl/library/latex2html/sty_pldoc.pl
+lib/swipl/library/latex2html/sty_xpce.pl
+lib/swipl/library/latex2html/xpce.cmd
+lib/swipl/library/lazy_lists.pl
+lib/swipl/library/listing.pl
+lib/swipl/library/lists.pl
+lib/swipl/library/lynx/format.pl
+lib/swipl/library/lynx/html_style.pl
+lib/swipl/library/lynx/html_text.pl
+lib/swipl/library/lynx/pldoc_style.pl
+lib/swipl/library/main.pl
+lib/swipl/library/make.pl
+lib/swipl/library/md5.pl
+lib/swipl/library/memfile.pl
+lib/swipl/library/modules.pl
+lib/swipl/library/nb_rbtrees.pl
+lib/swipl/library/nb_set.pl
+lib/swipl/library/obfuscate.pl
+lib/swipl/library/occurs.pl
+lib/swipl/library/operators.pl
+lib/swipl/library/option.pl
+lib/swipl/library/optparse.pl
+lib/swipl/library/ordsets.pl
+lib/swipl/library/oset.pl
+lib/swipl/library/pairs.pl
+lib/swipl/library/paxos.pl
+lib/swipl/library/pdt_console.pl
+lib/swipl/library/pengines.pl
+lib/swipl/library/pengines_io.pl
+lib/swipl/library/pengines_sandbox.pl
+lib/swipl/library/persistency.pl
+lib/swipl/library/pio.pl
+lib/swipl/library/pldoc.pl
+lib/swipl/library/pldoc/doc_access.pl
+lib/swipl/library/pldoc/doc_colour.pl
+lib/swipl/library/pldoc/doc_html.pl
+lib/swipl/library/pldoc/doc_html.qlf
+lib/swipl/library/pldoc/doc_htmlsrc.pl
+lib/swipl/library/pldoc/doc_index.pl
+lib/swipl/library/pldoc/doc_library.pl
+lib/swipl/library/pldoc/doc_man.pl
+lib/swipl/library/pldoc/doc_modes.pl
+lib/swipl/library/pldoc/doc_pack.pl
+lib/swipl/library/pldoc/doc_process.pl
+lib/swipl/library/pldoc/doc_register.pl
+lib/swipl/library/pldoc/doc_search.pl
+lib/swipl/library/pldoc/doc_util.pl
+lib/swipl/library/pldoc/doc_wiki.pl
+lib/swipl/library/pldoc/doc_words.pl
+lib/swipl/library/pldoc/edit.png
+lib/swipl/library/pldoc/editpred.png
+lib/swipl/library/pldoc/favicon.ico
+lib/swipl/library/pldoc/h1-bg.png
+lib/swipl/library/pldoc/h2-bg.png
+lib/swipl/library/pldoc/hooks.pl
+lib/swipl/library/pldoc/man_index.pl
+lib/swipl/library/pldoc/multi-bg.png
+lib/swipl/library/pldoc/pldoc.css
+lib/swipl/library/pldoc/pldoc.js
+lib/swipl/library/pldoc/pldoc.sty
+lib/swipl/library/pldoc/pllisting.css
+lib/swipl/library/pldoc/priv-bg.png
+lib/swipl/library/pldoc/private.png
+lib/swipl/library/pldoc/pub-bg.png
+lib/swipl/library/pldoc/public.png
+lib/swipl/library/pldoc/reload.png
+lib/swipl/library/pldoc/source.png
+lib/swipl/library/pldoc/up.gif
+lib/swipl/library/plunit.pl
+lib/swipl/library/porter_stem.pl
+lib/swipl/library/portray_text.pl
+lib/swipl/library/pprint.pl
+lib/swipl/library/predicate_options.pl
+lib/swipl/library/process.pl
+lib/swipl/library/prolog_autoload.pl
+lib/swipl/library/prolog_breakpoints.pl
+lib/swipl/library/prolog_clause.pl
+lib/swipl/library/prolog_codewalk.pl
+lib/swipl/library/prolog_colour.pl
+lib/swipl/library/prolog_colour.qlf
+lib/swipl/library/prolog_config.pl
+lib/swipl/library/prolog_format.pl
+lib/swipl/library/prolog_history.pl
+lib/swipl/library/prolog_install.pl
+lib/swipl/library/prolog_jiti.pl
+lib/swipl/library/prolog_metainference.pl
+lib/swipl/library/prolog_pack.pl
+lib/swipl/library/prolog_server.pl
+lib/swipl/library/prolog_source.pl
+lib/swipl/library/prolog_stack.pl
+lib/swipl/library/prolog_stream.pl
+lib/swipl/library/prolog_xref.pl
+lib/swipl/library/prolog_xref.qlf
+lib/swipl/library/protobufs.pl
+lib/swipl/library/pure_input.pl
+lib/swipl/library/pwp.pl
+lib/swipl/library/qpforeign.pl
+lib/swipl/library/qsave.pl
+lib/swipl/library/quasi_quotations.pl
+lib/swipl/library/quintus.pl
+lib/swipl/library/random.pl
+lib/swipl/library/rbtrees.pl
+lib/swipl/library/rdf.pl
+lib/swipl/library/rdf_parser.pl
+lib/swipl/library/rdf_triple.pl
+lib/swipl/library/rdf_write.pl
+lib/swipl/library/readline.pl
+lib/swipl/library/readln.pl
+lib/swipl/library/readutil.pl
+lib/swipl/library/record.pl
+lib/swipl/library/rewrite.pl
+lib/swipl/library/rlimit.pl
+lib/swipl/library/saml.pl
+lib/swipl/library/sandbox.pl
+lib/swipl/library/semweb/dc.rdfs
+lib/swipl/library/semweb/eor.rdfs
+lib/swipl/library/semweb/owl.owl
+lib/swipl/library/semweb/rdf11.pl
+lib/swipl/library/semweb/rdf11_containers.pl
+lib/swipl/library/semweb/rdf_cache.pl
+lib/swipl/library/semweb/rdf_compare.pl
+lib/swipl/library/semweb/rdf_db.pl
+lib/swipl/library/semweb/rdf_edit.pl
+lib/swipl/library/semweb/rdf_http_plugin.pl
+lib/swipl/library/semweb/rdf_library.pl
+lib/swipl/library/semweb/rdf_library.ttl
+lib/swipl/library/semweb/rdf_litindex.pl
+lib/swipl/library/semweb/rdf_ntriples.pl
+lib/swipl/library/semweb/rdf_persistency.pl
+lib/swipl/library/semweb/rdf_portray.pl
+lib/swipl/library/semweb/rdf_prefixes.pl
+lib/swipl/library/semweb/rdf_sandbox.pl
+lib/swipl/library/semweb/rdf_turtle.pl
+lib/swipl/library/semweb/rdf_turtle_write.pl
+lib/swipl/library/semweb/rdf_zlib_plugin.pl
+lib/swipl/library/semweb/rdfa.pl
+lib/swipl/library/semweb/rdfs.pl
+lib/swipl/library/semweb/rdfs.rdfs
+lib/swipl/library/semweb/sparql_client.pl
+lib/swipl/library/semweb/turtle.pl
+lib/swipl/library/settings.pl
+lib/swipl/library/sgml.pl
+lib/swipl/library/sgml_write.pl
+lib/swipl/library/sha.pl
+lib/swipl/library/shell.pl
+lib/swipl/library/shlib.pl
+lib/swipl/library/snowball.pl
+lib/swipl/library/socket.pl
+lib/swipl/library/solution_sequences.pl
+lib/swipl/library/sort.pl
+lib/swipl/library/ssl.pl
+lib/swipl/library/statistics.pl
+lib/swipl/library/streaminfo.pl
+lib/swipl/library/streampool.pl
+lib/swipl/library/syslog.pl
+lib/swipl/library/system.pl
+lib/swipl/library/table.pl
+lib/swipl/library/table_util.pl
+lib/swipl/library/tabling.pl
+lib/swipl/library/term_to_json.pl
+lib/swipl/library/terms.pl
+lib/swipl/library/test_cover.pl
+lib/swipl/library/test_wizard.pl
+lib/swipl/library/thread.pl
+lib/swipl/library/thread_pool.pl
+lib/swipl/library/threadutil.pl
+lib/swipl/library/time.pl
+lib/swipl/library/tty.pl
+lib/swipl/library/udp_broadcast.pl
+lib/swipl/library/ugraphs.pl
+lib/swipl/library/uid.pl
+lib/swipl/library/unicode.pl
+lib/swipl/library/unicode/blocks.pl
+lib/swipl/library/unicode/unicode_data.pl
+lib/swipl/library/unix.pl
+lib/swipl/library/uri.pl
+lib/swipl/library/url.pl
+lib/swipl/library/utf8.pl
+lib/swipl/library/uuid.pl
+lib/swipl/library/varnumbers.pl
+lib/swipl/library/vm.pl
+lib/swipl/library/when.pl
+lib/swipl/library/writef.pl
+lib/swipl/library/www_browser.pl
+lib/swipl/library/xmldsig.pl
+lib/swipl/library/xmlenc.pl
+lib/swipl/library/xpath.pl
+lib/swipl/library/xsdp_types.pl
+lib/swipl/library/yall.pl
+lib/swipl/library/zip.pl
+lib/swipl/library/zlib.pl
+lib/swipl/swipl.home
 man/man1/swipl-ld.1
-man/man1/swipl-rc.1
-@pkgdir lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog
+man/man1/swipl.1
+share/pkgconfig/swipl.pc
diff --git a/lang/swi-prolog-lite/PLIST.Darwin b/lang/swi-prolog-lite/PLIST.Darwin
deleted file mode 100644
index 6a249347fd2..00000000000
--- a/lang/swi-prolog-lite/PLIST.Darwin
+++ /dev/null
@@ -1,3 +0,0 @@
-@comment $NetBSD: PLIST.Darwin,v 1.1 2012/09/28 07:58:06 sbd Exp $
-lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.so
-lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.so.${PKGVERSION}
diff --git a/lang/swi-prolog-lite/PLIST.Linux-x86_64 b/lang/swi-prolog-lite/PLIST.Linux-x86_64
deleted file mode 100644
index ddf53678feb..00000000000
--- a/lang/swi-prolog-lite/PLIST.Linux-x86_64
+++ /dev/null
@@ -1,4 +0,0 @@
-@comment $NetBSD: PLIST.Linux-x86_64,v 1.2 2019/01/06 08:55:47 markd Exp $
-lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.so
-lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.so.7.6
-lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.so.${PKGVERSION}
diff --git a/lang/swi-prolog-lite/buildlink3.mk b/lang/swi-prolog-lite/buildlink3.mk
index 87460789526..c1949e6b1bb 100644
--- a/lang/swi-prolog-lite/buildlink3.mk
+++ b/lang/swi-prolog-lite/buildlink3.mk
@@ -1,12 +1,11 @@
-# $NetBSD: buildlink3.mk,v 1.13 2018/12/10 14:59:50 leot Exp $
+# $NetBSD: buildlink3.mk,v 1.14 2019/02/25 15:20:44 leot Exp $
 
 BUILDLINK_TREE+=	swi-prolog-lite
 
 .if !defined(SWI_PROLOG_LITE_BUILDLINK3_MK)
 SWI_PROLOG_LITE_BUILDLINK3_MK:=
 
-BUILDLINK_API_DEPENDS.swi-prolog-lite+=	swi-prolog-lite>=5.2.9
-BUILDLINK_ABI_DEPENDS.swi-prolog-lite+=	swi-prolog-lite>=6.6.6nb2
+BUILDLINK_API_DEPENDS.swi-prolog-lite+=	swi-prolog-lite>=8.0.1
 BUILDLINK_PKGSRCDIR.swi-prolog-lite?=	../../lang/swi-prolog-lite
 
 .endif	# SWI_PROLOG_LITE_BUILDLINK3_MK
diff --git a/lang/swi-prolog-lite/distinfo b/lang/swi-prolog-lite/distinfo
index 9c70d0c54fc..e84e63bf7e6 100644
--- a/lang/swi-prolog-lite/distinfo
+++ b/lang/swi-prolog-lite/distinfo
@@ -1,14 +1,7 @@
-$NetBSD: distinfo,v 1.23 2019/01/06 08:55:47 markd Exp $
+$NetBSD: distinfo,v 1.24 2019/02/25 15:20:44 leot Exp $
 
-SHA1 (swi-prolog/swipl-7.6.4.tar.gz) = 655acec1abb62a2d09edc85f52a08101a9665379
-RMD160 (swi-prolog/swipl-7.6.4.tar.gz) = 26e4358d277761380298d9e8c189e9aa1147609c
-SHA512 (swi-prolog/swipl-7.6.4.tar.gz) = f0ed16e4f1436115651c38a0bb37008d0dadad5a19b0f09894fcfc51dd3d429f86488e89cce00788c3c36cc2f0cd2957f92df47d5441133a6f8ea9d91ca5470f
-Size (swi-prolog/swipl-7.6.4.tar.gz) = 16777875 bytes
-SHA1 (patch-ad) = f5e7ec0cce757963e021539a397af387eff5cf8f
-SHA1 (patch-packages_Dialect.defs.in) = 7ef29c29efc62e9162c53e88efc1f3e9ec987198
+SHA1 (swi-prolog/swipl-8.0.1.tar.gz) = 968fd2ff33d6b7b7d6d3d8131fc3362dcdd7652e
+RMD160 (swi-prolog/swipl-8.0.1.tar.gz) = d55cd4c359c71c2bc0f0eb6eefc5e7faa0802462
+SHA512 (swi-prolog/swipl-8.0.1.tar.gz) = 40ffb9ecf213ae49b397e5a37d6fb90b83fc353a8408662e193e289c87de9e851427f6523061f067050b258ddad1ded157caf8124149c0335203b9bf08e7baf6
+Size (swi-prolog/swipl-8.0.1.tar.gz) = 10364104 bytes
 SHA1 (patch-packages_clib_sha1_brg_endian.h) = e7bc21953cedafce67e0070b9ec326446bf474fa
-SHA1 (patch-src_configure) = 97a016c8377dd093a03194701c0adb567c275d56
-SHA1 (patch-src_os_pl-files.c) = 222a9a4682808fc62e410b01f38e31c4dcc62f53
-SHA1 (patch-src_pl-funcs.h) = fd821e245ca49a42e595096d05a21ee20d25c41c
-SHA1 (patch-src_pl-rsort.c) = 233430c9ead3e1361f40ae541d0527408a141d6e
-SHA1 (patch-src_pl-thread.c) = d45bb808e8fc80ab0766720415677328bd9bee1c
diff --git a/lang/swi-prolog-lite/patches/patch-ad b/lang/swi-prolog-lite/patches/patch-ad
deleted file mode 100644
index c0f2fc005d4..00000000000
--- a/lang/swi-prolog-lite/patches/patch-ad
+++ /dev/null
@@ -1,19 +0,0 @@
-$NetBSD: patch-ad,v 1.6 2018/12/10 14:59:50 leot Exp $
-
-Split install target.
-
---- packages/Makefile.in.orig	2018-01-12 12:04:38.000000000 +0000
-+++ packages/Makefile.in
-@@ -112,9 +112,11 @@ install::
- 	        $(MAKE) -C $$p $@ || echo $$p >> .failed.$@; \
- 	    fi; \
- 	done
--	$(FORCE_MKINDEX)
- 	$(END_FORPKG)
- 
-+post-install::
-+	$(FORCE_MKINDEX)
-+
- rpm-install: html-install
- 	$(BEGIN_FORPKG)
- 	for p in $(PKG); do \
diff --git a/lang/swi-prolog-lite/patches/patch-packages_Dialect.defs.in b/lang/swi-prolog-lite/patches/patch-packages_Dialect.defs.in
deleted file mode 100644
index 326507c4949..00000000000
--- a/lang/swi-prolog-lite/patches/patch-packages_Dialect.defs.in
+++ /dev/null
@@ -1,15 +0,0 @@
-$NetBSD: patch-packages_Dialect.defs.in,v 1.2 2018/12/10 14:59:50 leot Exp $
-
-Adjust LDFLAGS to link with installed libraries.
-
---- packages/Dialect.defs.in.orig	2014-05-27 12:23:38.000000000 +0000
-+++ packages/Dialect.defs.in
-@@ -57,7 +57,7 @@ else
- LIBPLSO=$(LIBPLEMBED)
- endif
- 
--PLLDFLAGS=@LDFLAGS@ -L@abs_top_builddir@/../lib/$(PLARCH)
-+PLLDFLAGS=@LDFLAGS@ -L$(PLBASE)/lib/$(PLARCH)
- LDSOFLAGS=@SO_LDFLAGS@ $(PLLDFLAGS) $(PKGLDFLAGS)
- LDFLAGS=$(PLLDFLAGS) $(PKGLDFLAGS)
- 
diff --git a/lang/swi-prolog-lite/patches/patch-src_configure b/lang/swi-prolog-lite/patches/patch-src_configure
deleted file mode 100644
index 48c885347fe..00000000000
--- a/lang/swi-prolog-lite/patches/patch-src_configure
+++ /dev/null
@@ -1,15 +0,0 @@
-$NetBSD: patch-src_configure,v 1.1 2019/01/06 08:55:47 markd Exp $
-
-Fix rpath setting
-
---- src/configure.orig	2017-12-12 11:18:30.000000000 +0000
-+++ src/configure
-@@ -6481,7 +6481,7 @@ SO_pic="-fpic"
- SO_PIC="-fPIC"
- SO_LD="$CC"
- SO_EXT="so"
--SO_RPATH="-Wl,-rpath=$PLBASE/lib/$PLARCH$RPATH_EXTRA"
-+SO_RPATH="-Wl,-rpath,$PLBASE/lib/$PLARCH$RPATH_EXTRA"
- DLLIBVAR=LD_LIBRARY_PATH
- MINGW="false"
- 
diff --git a/lang/swi-prolog-lite/patches/patch-src_os_pl-files.c b/lang/swi-prolog-lite/patches/patch-src_os_pl-files.c
deleted file mode 100644
index ad56259916f..00000000000
--- a/lang/swi-prolog-lite/patches/patch-src_os_pl-files.c
+++ /dev/null
@@ -1,40 +0,0 @@
-$NetBSD: patch-src_os_pl-files.c,v 1.1 2018/12/10 14:59:50 leot Exp $
-
-Avoid overlapping `src' and `dst' in strcpy(3).
-
-This is reproducible via:
-
- % ln -s `which swi-prolog` swipl-l
- % ./swipl-l
-
-...and was also triggered similarly as part of building swi-prolog-packages.
-
---- src/os/pl-files.c.orig	2018-01-12 12:04:38.000000000 +0000
-+++ src/os/pl-files.c
-@@ -273,6 +273,7 @@ ReadLink(const char *f, char *buf)
- static char *
- DeRefLink1(const char *f, char *lbuf)
- { char buf[MAXPATHLEN];
-+  char tmpbuf[MAXPATHLEN];
-   char *l;
- 
-   if ( (l=ReadLink(f, buf)) )
-@@ -282,13 +283,14 @@ DeRefLink1(const char *f, char *lbuf)
-     } else
-     { char *q;
- 
--      strcpy(lbuf, f);
--      q = &lbuf[strlen(lbuf)];
--      while(q>lbuf && q[-1] != '/')
-+      strcpy(tmpbuf, f);
-+      q = &tmpbuf[strlen(tmpbuf)];
-+      while(q>tmpbuf && q[-1] != '/')
- 	q--;
-       strcpy(q, l);
- 
--      canonicaliseFileName(lbuf);
-+      canonicaliseFileName(tmpbuf);
-+      strcpy(lbuf, tmpbuf);
- 
-       return lbuf;
-     }
diff --git a/lang/swi-prolog-lite/patches/patch-src_pl-funcs.h b/lang/swi-prolog-lite/patches/patch-src_pl-funcs.h
deleted file mode 100644
index b44e05fc2fd..00000000000
--- a/lang/swi-prolog-lite/patches/patch-src_pl-funcs.h
+++ /dev/null
@@ -1,16 +0,0 @@
-$NetBSD: patch-src_pl-funcs.h,v 1.2 2014/05/28 10:29:12 markd Exp $
-
-Don't change visibility of a system prototype.
-
---- src/pl-funcs.h.orig	2014-04-25 14:06:38.000000000 +0000
-+++ src/pl-funcs.h
-@@ -347,7 +347,9 @@ COMMON(void)		setOSPrologFlags(void);
- COMMON(void)		RemoveTemporaryFiles(void);
- COMMON(bool)		OpenStream(int fd);
- COMMON(char *)		expandVars(const char *pattern, char *expanded, int len);
-+#ifndef HAVE_GETWD
- COMMON(char *)		getwd(char *buf);
-+#endif
- COMMON(char *)		AbsoluteFile(const char *spec, char *path);
- COMMON(int)		IsAbsolutePath(const char *spec);
- COMMON(char *)		BaseName(const char *f);
diff --git a/lang/swi-prolog-lite/patches/patch-src_pl-rsort.c b/lang/swi-prolog-lite/patches/patch-src_pl-rsort.c
deleted file mode 100644
index 70be582d9fb..00000000000
--- a/lang/swi-prolog-lite/patches/patch-src_pl-rsort.c
+++ /dev/null
@@ -1,217 +0,0 @@
-$NetBSD: patch-src_pl-rsort.c,v 1.1 2018/12/10 14:59:50 leot Exp $
-
-Use FreeBSD qsort_r(3) if not available instead of using nested
-functions.
-
---- src/pl-rsort.c.orig	2018-01-12 12:04:38.000000000 +0000
-+++ src/pl-rsort.c
-@@ -65,43 +65,177 @@ from pl-list.c.
- 
- #if !defined(HAVE_QSORT_R) && !defined(HAVE_QSORT_S)
- 
--#ifdef QSORT_R_WITH_NESTED_FUNCTIONS
-+/*-
-+ * SPDX-License-Identifier: BSD-3-Clause
-+ *
-+ * Copyright (c) 1992, 1993
-+ *	The Regents of the University of California.  All rights reserved.
-+ *
-+ * Redistribution and use in source and binary forms, with or without
-+ * modification, are permitted provided that the following conditions
-+ * are met:
-+ * 1. Redistributions of source code must retain the above copyright
-+ *    notice, this list of conditions and the following disclaimer.
-+ * 2. Redistributions in binary form must reproduce the above copyright
-+ *    notice, this list of conditions and the following disclaimer in the
-+ *    documentation and/or other materials provided with the distribution.
-+ * 3. Neither the name of the University nor the names of its contributors
-+ *    may be used to endorse or promote products derived from this software
-+ *    without specific prior written permission.
-+ *
-+ * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
-+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
-+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
-+ * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
-+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
-+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
-+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
-+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
-+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
-+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
-+ * SUCH DAMAGE.
-+ */
-+
-+typedef int		 cmp_t(void *, const void *, const void *);
-+static inline char	*med3(char *, char *, char *, cmp_t *, void *);
-+
-+#define	MIN(a, b)	((a) < (b) ? a : b)
-+
-+/*
-+ * Qsort routine from Bentley & McIlroy's "Engineering a Sort Function".
-+ */
- 
--void
--sort_r(void *base, size_t nel, size_t width,
--       int (*compar)(const void *a1, const void *a2, void *aarg), void *arg)
--{ int nested_cmp(const void *a, const void *b)
--  {
--    return compar(a, b, arg);
--  }
-+static inline void
-+swapfunc(char *a, char *b, size_t es)
-+{
-+	char t;
- 
--  qsort(base, nel, width, nested_cmp);
-+	do {
-+		t = *a;
-+		*a++ = *b;
-+		*b++ = t;
-+	} while (--es > 0);
- }
- 
--#else
-+#define	vecswap(a, b, n)				\
-+	if ((n) > 0) swapfunc(a, b, n)
- 
--static void *sort_r_ctx;
--static int (*sort_r_compar)(const void *a1, const void *a2, void *aarg);
-+#define	CMP(t, x, y) (cmp((t), (x), (y)))
- 
--int
--nested_cmp(const void *a, const void *b)
--{ return (*sort_r_compar)(a, b, sort_r_ctx);
-+static inline char *
-+med3(char *a, char *b, char *c, cmp_t *cmp, void *thunk
-+)
-+{
-+	return CMP(thunk, a, b) < 0 ?
-+	       (CMP(thunk, b, c) < 0 ? b : (CMP(thunk, a, c) < 0 ? c : a ))
-+	      :(CMP(thunk, b, c) > 0 ? b : (CMP(thunk, a, c) < 0 ? a : c ));
- }
- 
- void
--sort_r(void *base, size_t nel, size_t width,
--       int (*compar)(const void *a1, const void *a2, void *aarg), void *arg)
--{ PL_LOCK(L_SORTR);
--  sort_r_ctx = arg;
--  sort_r_compar = compar;
--
--  qsort(base, nel, width, nested_cmp);
--  PL_UNLOCK(L_SORTR);
-+qsort_r(void *a, size_t n, size_t es, void *thunk, cmp_t *cmp)
-+{
-+	char *pa, *pb, *pc, *pd, *pl, *pm, *pn;
-+	size_t d1, d2;
-+	int cmp_result;
-+	int swap_cnt;
-+
-+loop:
-+	swap_cnt = 0;
-+	if (n < 7) {
-+		for (pm = (char *)a + es; pm < (char *)a + n * es; pm += es)
-+			for (pl = pm; 
-+			     pl > (char *)a && CMP(thunk, pl - es, pl) > 0;
-+			     pl -= es)
-+				swapfunc(pl, pl - es, es);
-+		return;
-+	}
-+	pm = (char *)a + (n / 2) * es;
-+	if (n > 7) {
-+		pl = a;
-+		pn = (char *)a + (n - 1) * es;
-+		if (n > 40) {
-+			size_t d = (n / 8) * es;
-+
-+			pl = med3(pl, pl + d, pl + 2 * d, cmp, thunk);
-+			pm = med3(pm - d, pm, pm + d, cmp, thunk);
-+			pn = med3(pn - 2 * d, pn - d, pn, cmp, thunk);
-+		}
-+		pm = med3(pl, pm, pn, cmp, thunk);
-+	}
-+	swapfunc(a, pm, es);
-+	pa = pb = (char *)a + es;
-+
-+	pc = pd = (char *)a + (n - 1) * es;
-+	for (;;) {
-+		while (pb <= pc && (cmp_result = CMP(thunk, pb, a)) <= 0) {
-+			if (cmp_result == 0) {
-+				swap_cnt = 1;
-+				swapfunc(pa, pb, es);
-+				pa += es;
-+			}
-+			pb += es;
-+		}
-+		while (pb <= pc && (cmp_result = CMP(thunk, pc, a)) >= 0) {
-+			if (cmp_result == 0) {
-+				swap_cnt = 1;
-+				swapfunc(pc, pd, es);
-+				pd -= es;
-+			}
-+			pc -= es;
-+		}
-+		if (pb > pc)
-+			break;
-+		swapfunc(pb, pc, es);
-+		swap_cnt = 1;
-+		pb += es;
-+		pc -= es;
-+	}
-+	if (swap_cnt == 0) {  /* Switch to insertion sort */
-+		for (pm = (char *)a + es; pm < (char *)a + n * es; pm += es)
-+			for (pl = pm; 
-+			     pl > (char *)a && CMP(thunk, pl - es, pl) > 0;
-+			     pl -= es)
-+				swapfunc(pl, pl - es, es);
-+		return;
-+	}
-+
-+	pn = (char *)a + n * es;
-+	d1 = MIN(pa - (char *)a, pb - pa);
-+	vecswap(a, pb - d1, d1);
-+	d1 = MIN(pd - pc, pn - pd - es);
-+	vecswap(pb, pn - d1, d1);
-+
-+	d1 = pb - pa;
-+	d2 = pd - pc;
-+	if (d1 <= d2) {
-+		/* Recurse on left partition, then iterate on right partition */
-+		if (d1 > es) {
-+			qsort_r(a, d1 / es, es, thunk, cmp);
-+		}
-+		if (d2 > es) {
-+			/* Iterate rather than recurse to save stack space */
-+			/* qsort(pn - d2, d2 / es, es, cmp); */
-+			a = pn - d2;
-+			n = d2 / es;
-+			goto loop;
-+		}
-+	} else {
-+		/* Recurse on right partition, then iterate on left partition */
-+		if (d2 > es) {
-+			qsort_r(pn - d2, d2 / es, es, thunk, cmp);
-+		}
-+		if (d1 > es) {
-+			/* Iterate rather than recurse to save stack space */
-+			/* qsort(a, d1 / es, es, cmp); */
-+			n = d1 / es;
-+			goto loop;
-+		}
-+	}
- }
- 
--#endif
-+#define HAVE_QSORT_R
- 
--#else /*HAVE_QSORT_R|HAVE_QSORT_S*/
-+#endif /* !defined(HAVE_QSORT_R) && !defined(HAVE_QSORT_S) */
- 
- #ifndef QSORT_R_GNU
- struct sort_r_data
-@@ -132,6 +266,3 @@ sort_r(void *base, size_t nel, size_t wi
-     qsort_s(base, nel, width, &sort_r_arg_swap, &tmp);
- #endif
- }
--
--#endif /*HAVE_QSORT_R|HAVE_QSORT_S*/
--
diff --git a/lang/swi-prolog-lite/patches/patch-src_pl-thread.c b/lang/swi-prolog-lite/patches/patch-src_pl-thread.c
deleted file mode 100644
index fc9bdf706e8..00000000000
--- a/lang/swi-prolog-lite/patches/patch-src_pl-thread.c
+++ /dev/null
@@ -1,22 +0,0 @@
-$NetBSD: patch-src_pl-thread.c,v 1.1 2018/12/10 14:59:50 leot Exp $
-
-Add support for NetBSD pthread_setname_np(3).
-
---- src/pl-thread.c.orig	2018-01-12 12:04:38.000000000 +0000
-+++ src/pl-thread.c
-@@ -1635,10 +1635,15 @@ set_os_thread_name_from_charp(const char
-   if ( pthread_setname_np(name) == 0 )
-     return TRUE;
- #else
-+#if defined(__NetBSD__)
-+  if ( pthread_setname_np(pthread_self(), "%s", (void *)name) == 0 )
-+    return TRUE;
-+#else
-   if ( pthread_setname_np(pthread_self(), name) == 0 )
-     return TRUE;
- #endif
- #endif
-+#endif
-   return FALSE;
- }
-