pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
swi-prolog-lite: Import swi-prolog-lite-8.0.1 as wip/swi-prolog-lite
Module Name: pkgsrc-wip
Committed By: Leonardo Taccari <leot%NetBSD.org@localhost>
Pushed By: leot
Date: Fri Jan 25 20:21:29 2019 +0100
Changeset: 6e7bdcca02e6e940a339ef146012c336194756b9
Modified Files:
Makefile
Added Files:
swi-prolog-lite/DESCR
swi-prolog-lite/Makefile
swi-prolog-lite/Makefile.common
swi-prolog-lite/PLIST
swi-prolog-lite/PLIST.Darwin
swi-prolog-lite/PLIST.Linux-x86_64
swi-prolog-lite/TODO
swi-prolog-lite/buildlink3.mk
swi-prolog-lite/distinfo
swi-prolog-lite/patches/patch-packages_clib_sha1_brg_endian.h
Log Message:
swi-prolog-lite: Import swi-prolog-lite-8.0.1 as wip/swi-prolog-lite
ISO/Edinburgh-style Prolog compiler. Compliant with Part 1 of the ISO
standard for Prolog. Covers all traditional Edinburgh Prolog features
and shares many features with Quintus and SICStus Prolog, including a
compatible module system. Very fast compiler, garbage collection (also
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.
Based on lang/swi-prolog-lite, still does not build and incomplete,
please see to TODO for more information.
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=6e7bdcca02e6e940a339ef146012c336194756b9
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
Makefile | 1 +
swi-prolog-lite/DESCR | 10 +
swi-prolog-lite/Makefile | 38 ++
swi-prolog-lite/Makefile.common | 29 ++
swi-prolog-lite/PLIST | 406 +++++++++++++++++++++
swi-prolog-lite/PLIST.Darwin | 3 +
swi-prolog-lite/PLIST.Linux-x86_64 | 4 +
swi-prolog-lite/TODO | 8 +
swi-prolog-lite/buildlink3.mk | 14 +
swi-prolog-lite/distinfo | 7 +
.../patches/patch-packages_clib_sha1_brg_endian.h | 15 +
11 files changed, 535 insertions(+)
diffs:
diff --git a/Makefile b/Makefile
index a9e3188d08..81fd582013 100644
--- a/Makefile
+++ b/Makefile
@@ -4413,6 +4413,7 @@ SUBDIR+= swami
SUBDIR+= swarp
SUBDIR+= swfmill
SUBDIR+= swftools
+SUBDIR+= swi-prolog-lite
SUBDIR+= swift
SUBDIR+= swift-git
SUBDIR+= swisseph
diff --git a/swi-prolog-lite/DESCR b/swi-prolog-lite/DESCR
new file mode 100644
index 0000000000..b22e0f8115
--- /dev/null
+++ b/swi-prolog-lite/DESCR
@@ -0,0 +1,10 @@
+ISO/Edinburgh-style Prolog compiler. Compliant with Part 1 of the ISO
+standard for Prolog. Covers all traditional Edinburgh Prolog features
+and shares many features with Quintus and SICStus Prolog, including a
+compatible module system. Very fast compiler, garbage collection (also
+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.
diff --git a/swi-prolog-lite/Makefile b/swi-prolog-lite/Makefile
new file mode 100644
index 0000000000..8fa2ecd4ab
--- /dev/null
+++ b/swi-prolog-lite/Makefile
@@ -0,0 +1,38 @@
+# $NetBSD: Makefile,v 1.28 2018/12/10 14:59:50 leot Exp $
+
+.include "Makefile.common"
+
+PKGNAME= swi-prolog-lite-${SWIPLVERS}
+
+MAINTAINER= pkgsrc-users%NetBSD.org@localhost
+COMMENT= ISO/Edinburgh-style Prolog compiler
+
+CMAKE_ARGS+= -DSWIPL_PACKAGES=OFF
+
+#CONFIGURE_ENV+= PL=swi-prolog
+#CONFIGURE_ENV+= PLARCH=${MACHINE_GNU_PLATFORM} # make PLIST consistent
+#USE_TOOLS+= gmake bash:run
+USE_TOOLS+= bash:run
+
+USE_LANGUAGES= c c++
+
+.include "../../mk/bsd.prefs.mk"
+
+.if !empty(LP64PLATFORMS:@.PLAT.@${MACHINE_PLATFORM:M${.PLAT.}}@) || \
+ (defined(ABI) && ${ABI} == "64")
+PLIST_SUBST+= BITS=64
+.else
+PLIST_SUBST+= BITS=32
+.endif
+
+REPLACE_INTERPRETER+= swipl
+REPLACE.swipl.old= /usr/bin/swipl
+REPLACE.swipl.new= ${PREFIX}/bin/swi-prolog
+REPLACE_FILES.swipl+= library/dialect/sicstus/swipl-lfr.pl
+
+TEST_TARGET= check
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/curses.buildlink3.mk"
+.include "../../mk/pthread.buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/swi-prolog-lite/Makefile.common b/swi-prolog-lite/Makefile.common
new file mode 100644
index 0000000000..cfcd7d98cd
--- /dev/null
+++ b/swi-prolog-lite/Makefile.common
@@ -0,0 +1,29 @@
+# $NetBSD: Makefile.common,v 1.15 2018/12/10 14:59:50 leot Exp $
+#
+# used by lang/swi-prolog/Makefile
+# used by lang/swi-prolog-packages/Makefile
+# used by lang/swi-prolog-jpl/Makefile
+
+SWIPLVERS= 8.0.1
+DISTNAME= swipl-${SWIPLVERS}
+CATEGORIES= lang
+MASTER_SITES= http://www.swi-prolog.org/download/stable/src/
+MASTER_SITES+= http://www.swi-prolog.org/download/devel/src/
+
+HOMEPAGE= http://www.swi-prolog.org/
+LICENSE= gnu-lgpl-v2.1
+
+DIST_SUBDIR= swi-prolog
+DISTINFO_FILE= ${.CURDIR}/../../wip/swi-prolog-lite/distinfo
+PATCHDIR= ${.CURDIR}/../../wip/swi-prolog-lite/patches
+
+MAKE_ENV+= LD_LIBRARY_PATH=${WRKSRC}/build/src
+
+USE_CMAKE= yes
+CMAKE_ARGS+= -DCMAKE_BUILD_TYPE=Release
+
+CONFIGURE_DIRS= build
+CMAKE_ARG_PATH= ..
+
+pre-configure:
+ cd ${WRKSRC} && ${MKDIR} build
diff --git a/swi-prolog-lite/PLIST b/swi-prolog-lite/PLIST
new file mode 100644
index 0000000000..c2a407fcc7
--- /dev/null
+++ b/swi-prolog-lite/PLIST
@@ -0,0 +1,406 @@
+@comment $NetBSD: PLIST,v 1.13 2018/12/10 14:59:50 leot Exp $
+bin/swi-prolog
+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
diff --git a/swi-prolog-lite/PLIST.Darwin b/swi-prolog-lite/PLIST.Darwin
new file mode 100644
index 0000000000..6a249347fd
--- /dev/null
+++ b/swi-prolog-lite/PLIST.Darwin
@@ -0,0 +1,3 @@
+@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/swi-prolog-lite/PLIST.Linux-x86_64 b/swi-prolog-lite/PLIST.Linux-x86_64
new file mode 100644
index 0000000000..ddf53678fe
--- /dev/null
+++ b/swi-prolog-lite/PLIST.Linux-x86_64
@@ -0,0 +1,4 @@
+@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/swi-prolog-lite/TODO b/swi-prolog-lite/TODO
new file mode 100644
index 0000000000..f5210b4943
--- /dev/null
+++ b/swi-prolog-lite/TODO
@@ -0,0 +1,8 @@
+- 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:
+
+ don't know how to make ../man/pldoc. Stop
+
+ Needs to be investigated further.
diff --git a/swi-prolog-lite/buildlink3.mk b/swi-prolog-lite/buildlink3.mk
new file mode 100644
index 0000000000..3b14771aec
--- /dev/null
+++ b/swi-prolog-lite/buildlink3.mk
@@ -0,0 +1,14 @@
+# $NetBSD: buildlink3.mk,v 1.13 2018/12/10 14:59:50 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_PKGSRCDIR.swi-prolog-lite?= ../../wip/swi-prolog-lite
+
+.endif # SWI_PROLOG_LITE_BUILDLINK3_MK
+
+BUILDLINK_TREE+= -swi-prolog-lite
diff --git a/swi-prolog-lite/distinfo b/swi-prolog-lite/distinfo
new file mode 100644
index 0000000000..bce2a8472b
--- /dev/null
+++ b/swi-prolog-lite/distinfo
@@ -0,0 +1,7 @@
+$NetBSD: distinfo,v 1.23 2019/01/06 08:55:47 markd Exp $
+
+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
diff --git a/swi-prolog-lite/patches/patch-packages_clib_sha1_brg_endian.h b/swi-prolog-lite/patches/patch-packages_clib_sha1_brg_endian.h
new file mode 100644
index 0000000000..b74403b41a
--- /dev/null
+++ b/swi-prolog-lite/patches/patch-packages_clib_sha1_brg_endian.h
@@ -0,0 +1,15 @@
+$NetBSD: patch-packages_clib_sha1_brg_endian.h,v 1.3 2015/12/29 23:34:56 dholland Exp $
+
+Support Dragonfly and Bitrig.
+
+--- packages/clib/sha1/brg_endian.h.orig 2014-04-13 08:40:33.000000000 +0000
++++ packages/clib/sha1/brg_endian.h
+@@ -39,7 +39,7 @@
+ /* Include files where endian defines and byteswap functions may reside */
+ #if defined(__sun__)
+ # include <sys/isa_defs.h>
+-#elif defined( __FreeBSD__ ) || defined( __OpenBSD__ ) || defined( __NetBSD__ )
++#elif defined( __FreeBSD__ ) || defined( __OpenBSD__ ) || defined( __NetBSD__ ) || defined( __DragonFly__ ) || defined( __Bitrig__ )
+ # include <sys/endian.h>
+ #elif defined( BSD ) && ( BSD >= 199103 ) || defined( __APPLE__ ) || \
+ defined( __CYGWIN__ ) || defined( __DJGPP__ ) || defined( __osf__ )
Home |
Main Index |
Thread Index |
Old Index