[pkgsrc/trunk]: pkgsrc/lang/swi-prolog-lite Update to SWI Prolog 5.9.7.

[asau <asau%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/6952954cd8ef
branches:  trunk
changeset: 571314:6952954cd8ef
user:      asau <asau%pkgsrc.org@localhost>
date:      Wed Feb 10 21:56:40 2010 +0000

description:
Update to SWI Prolog 5.9.7.
Lots of changes since 5.6.17.

diffstat:

 lang/swi-prolog-lite/Makefile         |   17 +-
 lang/swi-prolog-lite/Makefile.common  |    9 +-
 lang/swi-prolog-lite/PLIST            |  262 ++++++++++++++++++++++++++++++++-
 lang/swi-prolog-lite/buildlink3.mk    |    6 +-
 lang/swi-prolog-lite/distinfo         |   27 +--
 lang/swi-prolog-lite/patches/patch-aa |   33 ----
 lang/swi-prolog-lite/patches/patch-ab |   13 -
 lang/swi-prolog-lite/patches/patch-ac |   13 -
 lang/swi-prolog-lite/patches/patch-ad |   26 ++-
 lang/swi-prolog-lite/patches/patch-ae |   31 ----
 lang/swi-prolog-lite/patches/patch-af |   22 --
 lang/swi-prolog-lite/patches/patch-ag |   13 -
 lang/swi-prolog-lite/patches/patch-ah |   14 -
 lang/swi-prolog-lite/patches/patch-ai |   19 --
 lang/swi-prolog-lite/patches/patch-aj |   14 -
 lang/swi-prolog-lite/patches/patch-ak |   70 ---------
 lang/swi-prolog-lite/patches/patch-al |   27 ---
 lang/swi-prolog-lite/patches/patch-am |   15 -
 lang/swi-prolog-lite/patches/patch-an |   26 ---
 lang/swi-prolog-lite/patches/patch-ao |   20 +-
 lang/swi-prolog-lite/patches/patch-ap |   22 ++
 lang/swi-prolog-lite/patches/patch-aq |   25 +++
 22 files changed, 350 insertions(+), 374 deletions(-)

diffs (truncated from 968 to 300 lines):

diff -r d1f9b4ca5864 -r 6952954cd8ef lang/swi-prolog-lite/Makefile
--- a/lang/swi-prolog-lite/Makefile     Wed Feb 10 21:10:25 2010 +0000
+++ b/lang/swi-prolog-lite/Makefile     Wed Feb 10 21:56:40 2010 +0000
@@ -1,23 +1,22 @@
-# $NetBSD: Makefile,v 1.14 2009/05/20 00:58:21 wiz Exp $
+# $NetBSD: Makefile,v 1.15 2010/02/10 21:56:40 asau Exp $
 
 .include "Makefile.common"
 
 PKGNAME=               swi-prolog-lite-${SWIPLVERS}
-PKGREVISION=           4
 
 MAINTAINER=            pkgsrc-users%NetBSD.org@localhost
 COMMENT=               ISO/Edinburgh-style Prolog compiler
 
+PKG_DESTDIR_SUPPORT=   user-destdir
+
 GNU_CONFIGURE=         yes
-OVERRIDE_DIRDEPTH=     3
+CONFIGURE_DIRS=                src
 USE_GNU_READLINE=      yes # uses rl_event_hook() interface
 
 CONFIGURE_ENV+=                PL=swi-prolog
-CONFIGURE_ARGS+=       --disable-mt
+CONFIGURE_ENV+=                ARCH=${MACHINE_GNU_PLATFORM}    # make PLIST consistent
 USE_TOOLS+=            gmake bash:run
 REPLACE_BASH+=         dotfiles/edit
-#CPPFLAGS+=            -DPREFIX=\"${PREFIX}\"
-#CPPFLAGS+=            -DSWIPLVERS=\"${SWIPLVERS}\"
 
 .include "../../mk/bsd.prefs.mk"
 
@@ -30,10 +29,12 @@
 
 post-install:
        ${INSTALL_DATA} ${FILESDIR}/shlib.pl \
-               ${PREFIX}/lib/swi-prolog-${SWIPLVERS}/library/shlib.pl
+               ${DESTDIR}${PREFIX}/lib/swi-prolog-${SWIPLVERS}/library/shlib.pl
+
+TEST_TARGET=           check
 
 .include "../../devel/ncurses/buildlink3.mk"
 .include "../../devel/readline/buildlink3.mk"
 .include "../../devel/gmp/buildlink3.mk"
-#.include "../../mk/pthread.buildlink3.mk"
+.include "../../mk/pthread.buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
diff -r d1f9b4ca5864 -r 6952954cd8ef lang/swi-prolog-lite/Makefile.common
--- a/lang/swi-prolog-lite/Makefile.common      Wed Feb 10 21:10:25 2010 +0000
+++ b/lang/swi-prolog-lite/Makefile.common      Wed Feb 10 21:56:40 2010 +0000
@@ -1,14 +1,13 @@
-# $NetBSD: Makefile.common,v 1.5 2007/02/22 19:26:40 wiz Exp $
+# $NetBSD: Makefile.common,v 1.6 2010/02/10 21:56:41 asau Exp $
 
-SWIPLVERS=             5.6.17
+SWIPLVERS=             5.9.7
 DISTNAME=              pl-${SWIPLVERS}
 CATEGORIES=            lang
-MASTER_SITES=          ftp://ftp.swi.psy.uva.nl/SWI-Prolog/
+MASTER_SITES=          http://www.swi-prolog.org/download/stable/src/ \
+                       http://www.swi-prolog.org/download/devel/src/
 
 HOMEPAGE=              http://www.swi-prolog.org/
 
 DIST_SUBDIR=           swi-prolog
 DISTINFO_FILE=         ${.CURDIR}/../../lang/swi-prolog-lite/distinfo
 PATCHDIR=              ${.CURDIR}/../../lang/swi-prolog-lite/patches
-
-PLIST_SUBST+=          APPEND_ELF=${APPEND_ELF:Q}
diff -r d1f9b4ca5864 -r 6952954cd8ef lang/swi-prolog-lite/PLIST
--- a/lang/swi-prolog-lite/PLIST        Wed Feb 10 21:10:25 2010 +0000
+++ b/lang/swi-prolog-lite/PLIST        Wed Feb 10 21:56:40 2010 +0000
@@ -1,31 +1,239 @@
-@comment $NetBSD: PLIST,v 1.5 2009/06/14 20:34:15 joerg Exp $
+@comment $NetBSD: PLIST,v 1.6 2010/02/10 21:56:41 asau Exp $
 bin/plld
 bin/plrc
 bin/swi-prolog
-lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/plld
-lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/plrc
-lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_ARCH}-${LOWER_OPSYS}${APPEND_ELF}/swi-prolog
+lib/pkgconfig/pl.pc
+lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/plld
+lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/plrc
+lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swi-prolog
 lib/swi-prolog-${PKGVERSION}/bin/swipl
 lib/swi-prolog-${PKGVERSION}/boot/apply.pl
 lib/swi-prolog-${PKGVERSION}/boot/attvar.pl
 lib/swi-prolog-${PKGVERSION}/boot/autoload.pl
 lib/swi-prolog-${PKGVERSION}/boot/bags.pl
+lib/swi-prolog-${PKGVERSION}/boot/dcg.pl
 lib/swi-prolog-${PKGVERSION}/boot/dwim.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/menu.pl
 lib/swi-prolog-${PKGVERSION}/boot/messages.pl
 lib/swi-prolog-${PKGVERSION}/boot/parms.pl
 lib/swi-prolog-${PKGVERSION}/boot/qlf.pl
 lib/swi-prolog-${PKGVERSION}/boot/rc.pl
-lib/swi-prolog-${PKGVERSION}/boot/sort.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/writef.pl
-lib/swi-prolog-${PKGVERSION}/boot${BITS}.prc
+lib/swi-prolog-${PKGVERSION}/boot32.prc
+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/DLL.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/apply.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/applylist.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/block3.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/clicense.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/clpclp_distinct.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/dialect.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic-modules.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/dynstatic.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/editreload.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/extendarith.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/extvar.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/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/iso.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/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/metainmodule.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/mtunbound.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/navigator.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/nbset.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/ordsets.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/overrule.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/overview.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/pairs.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/pceemacs.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/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/prologxref.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/quickstart.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/readline.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/readutil.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/record.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/reexport.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/registry.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/relnotes.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/resmodules.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/runenv.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/runtime.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/sec-5.11.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/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/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