swi-prolog-lite: Pass -DINSTALL_DOCUMENTATION=OFF to workaround build problems

[Leonardo Taccari <leot%NetBSD.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Leonardo Taccari <leot%NetBSD.org@localhost>
Pushed By:	leot
Date:		Sat Jan 26 19:07:44 2019 +0100
Changeset:	69c5711c6fc5bd093c811bf60db8a55754fb574e

Modified Files:
	swi-prolog-lite/Makefile
	swi-prolog-lite/PLIST
	swi-prolog-lite/TODO

Log Message:
swi-prolog-lite: Pass -DINSTALL_DOCUMENTATION=OFF to workaround build problems

- The previous build failure (`don't know how to make ../man/pldoc. Stop') can
  be avoided by passing -DINSTALL_DOCUMENTATION=OFF... It should be
  investigated if this is in some way a dependency of packages and/or if it is
  possible to provide documentation as part of swi-prolog-lite package.
- Pass -DSWIPL_ARCH in order to have a predicible SWIPL_ARCH (like PLARCH in
  the previous swi-prolog versions).
- The installation still fails due linking issues that needs further
  investigation (failed checks added in the TODO)

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=69c5711c6fc5bd093c811bf60db8a55754fb574e

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 swi-prolog-lite/Makefile |   2 +
 swi-prolog-lite/PLIST    | 595 +++++++++++++++--------------------------------
 swi-prolog-lite/TODO     |   9 +-
 3 files changed, 197 insertions(+), 409 deletions(-)

diffs:
diff --git a/swi-prolog-lite/Makefile b/swi-prolog-lite/Makefile
index 8fa2ecd4ab..f643a475ff 100644
--- a/swi-prolog-lite/Makefile
+++ b/swi-prolog-lite/Makefile
@@ -7,7 +7,9 @@ PKGNAME=		swi-prolog-lite-${SWIPLVERS}
 MAINTAINER=		pkgsrc-users%NetBSD.org@localhost
 COMMENT=		ISO/Edinburgh-style Prolog compiler
 
+CMAKE_ARGS+=		-DSWIPL_ARCH=${MACHINE_GNU_PLATFORM}
 CMAKE_ARGS+=		-DSWIPL_PACKAGES=OFF
+CMAKE_ARGS+=		-DINSTALL_DOCUMENTATION=OFF
 
 #CONFIGURE_ENV+=		PL=swi-prolog
 #CONFIGURE_ENV+=		PLARCH=${MACHINE_GNU_PLATFORM}	# make PLIST consistent
diff --git a/swi-prolog-lite/PLIST b/swi-prolog-lite/PLIST
index c2a407fcc7..4ebea92417 100644
--- a/swi-prolog-lite/PLIST
+++ b/swi-prolog-lite/PLIST
@@ -1,406 +1,191 @@
-@comment $NetBSD: PLIST,v 1.13 2018/12/10 14:59:50 leot Exp $
-bin/swi-prolog
+@comment $NetBSD$
+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
-man/man1/swipl-ld.1
-man/man1/swipl-rc.1
-@pkgdir lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog
+lib/swipl/LICENSE
+lib/swipl/README.md
+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/include/SWI-Prolog.h
+lib/swipl/include/SWI-Stream.h
+lib/swipl/include/Yap/YapInterface.h
+lib/swipl/include/sicstus/sicstus.h
+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/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/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/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/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/simplex.pl
+lib/swipl/library/codesio.pl
+lib/swipl/library/coinduction.pl
+lib/swipl/library/console_input.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/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/gensym.pl
+lib/swipl/library/git.pl
+lib/swipl/library/heaps.pl
+lib/swipl/library/hotfix.pl
+lib/swipl/library/iostream.pl
+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/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/persistency.pl
+lib/swipl/library/pio.pl
+lib/swipl/library/portray_text.pl
+lib/swipl/library/pprint.pl
+lib/swipl/library/predicate_options.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_source.pl
+lib/swipl/library/prolog_stack.pl
+lib/swipl/library/prolog_xref.pl
+lib/swipl/library/prolog_xref.qlf
+lib/swipl/library/pure_input.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/readln.pl
+lib/swipl/library/readutil.pl
+lib/swipl/library/record.pl
+lib/swipl/library/sandbox.pl
+lib/swipl/library/settings.pl
+lib/swipl/library/shell.pl
+lib/swipl/library/shlib.pl
+lib/swipl/library/solution_sequences.pl
+lib/swipl/library/sort.pl
+lib/swipl/library/statistics.pl
+lib/swipl/library/system.pl
+lib/swipl/library/tabling.pl
+lib/swipl/library/terms.pl
+lib/swipl/library/thread.pl
+lib/swipl/library/thread_pool.pl
+lib/swipl/library/threadutil.pl
+lib/swipl/library/tty.pl
+lib/swipl/library/ugraphs.pl
+lib/swipl/library/unicode/blocks.pl
+lib/swipl/library/unicode/unicode_data.pl
+lib/swipl/library/url.pl
+lib/swipl/library/utf8.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/yall.pl
+lib/swipl/library/zip.pl
+lib/swipl/swipl.home
+share/man/man1/swipl-ld.1
+share/man/man1/swipl.1
+share/pkgconfig/swipl.pc
diff --git a/swi-prolog-lite/TODO b/swi-prolog-lite/TODO
index f5210b4943..ae39c94fdb 100644
--- a/swi-prolog-lite/TODO
+++ b/swi-prolog-lite/TODO
@@ -1,8 +1,9 @@
 - Double-check that all removed patches are actually no longer
   needed (most of them were applied but maybe some build related ones
   needs to be adopted for cmake migration)
-- Build fails with:
-
+- -DINSTALL_DOCUMENTATION=OFF is needed otherwise the build fails with:
    don't know how to make ../man/pldoc. Stop
-
-  Needs to be investigated further.
+  Investigate if there is a way to solve that and provide the documentation via
+  swi-prolog-lite package.
+- Install fails due:
+   ERROR: lib/swipl/bin/x86_64--netbsd/swipl: missing library: libswipl.so.8