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)
This commit is contained in:
Leonardo Taccari
parent
e223cb5458
commit
69c5711c6f
|
|
@ -7,7 +7,9 @@ PKGNAME= swi-prolog-lite-${SWIPLVERS}
|
|||
MAINTAINER= pkgsrc-users@NetBSD.org
|
||||
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
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue