pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/lang swi-prolog*: Update lang/swi-prolog* to 7.6.4
details: https://anonhg.NetBSD.org/pkgsrc/rev/36efc5c40c9e
branches: trunk
changeset: 326597:36efc5c40c9e
user: leot <leot%pkgsrc.org@localhost>
date: Mon Dec 10 14:59:50 2018 +0000
description:
swi-prolog*: Update lang/swi-prolog* to 7.6.4
pkgsrc changes:
- Add patches/patch-src_os_pl-files.c to avoid overlapping `src'
and `dst' in srtcpy(3). It is an undefined behaviour and it leads to build
issue in swi-prolog-packages on platforms that uses SSP.
- readline dependency is no longer needed for swi-prolog-lite.
The readline functionality is now provided as a package via
swi-prolog-packages.
- Inject CFLAGS via COFLAGS and pass -fPIC via CMFLAGS so that
swi-prolog-jpl will link
- Add patches/patch-src_pl-rsort.c to use FreeBSD qsort_r(3)
instead of using nested functions. This is probably more portable
and has less problems (e.g. does not need for PaX MPROTECT).
Changes:
7.6.x
-----
Major release. Multi-argument indexing, better multi-threaded
performance, threaded global GC (atoms and clauses), mode-directed
tabling, restored same expand and directive semantics for initial
load and reloading files, cleaner initializatin and command line
handling.
7.4.x
-----
Major release. More robust and better scalable support for multi-core
hardware, tabling, engines. Many enhancements to the RDF, HTTP and
SSL libraries. This is the first release licensed under the Simplified
BSD (BSD-2) license.
7.2.x
-----
Major release, providing native key-value support by means of dicts,
native strings using "hello world" syntax, web-accessible Prolog
engines (Pengines) and a high level SQL library called CQL.
Please note that this is just a summary of the most important changes,
for more information please give a look to:
<http://www.swi-prolog.org/ChangeLog?branch=stable>
diffstat:
lang/swi-prolog-jpl/Makefile | 7 +-
lang/swi-prolog-lite/Makefile | 7 +-
lang/swi-prolog-lite/Makefile.common | 9 +-
lang/swi-prolog-lite/PLIST | 87 ++--
lang/swi-prolog-lite/buildlink3.mk | 5 +-
lang/swi-prolog-lite/distinfo | 17 +-
lang/swi-prolog-lite/patches/patch-ad | 24 +-
lang/swi-prolog-lite/patches/patch-packages_Dialect.defs.in | 13 +-
lang/swi-prolog-lite/patches/patch-src_os_pl-files.c | 40 ++
lang/swi-prolog-lite/patches/patch-src_pl-rsort.c | 217 ++++++++++++
lang/swi-prolog-lite/patches/patch-src_pl-thread.c | 22 +
lang/swi-prolog-packages/Makefile | 12 +-
lang/swi-prolog-packages/PLIST | 63 ++-
13 files changed, 416 insertions(+), 107 deletions(-)
diffs (truncated from 1007 to 300 lines):
diff -r a40266895513 -r 36efc5c40c9e lang/swi-prolog-jpl/Makefile
--- a/lang/swi-prolog-jpl/Makefile Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-jpl/Makefile Mon Dec 10 14:59:50 2018 +0000
@@ -1,6 +1,5 @@
-# $NetBSD: Makefile,v 1.4 2015/08/18 07:31:10 wiz Exp $
+# $NetBSD: Makefile,v 1.5 2018/12/10 14:59:50 leot Exp $
-PKGREVISION= 2
.include "../../lang/swi-prolog-lite/Makefile.common"
PKGNAME= swi-prolog-jpl-${SWIPLVERS}
@@ -47,8 +46,6 @@
.include "../../lang/swi-prolog-lite/buildlink3.mk"
.include "../../mk/java-vm.mk"
.include "../../devel/gmp/buildlink3.mk"
-.include "../../devel/ncurses/buildlink3.mk"
-# uses rl_event_hook() interface
-.include "../../devel/readline/buildlink3.mk"
+.include "../../mk/curses.buildlink3.mk"
.include "../../mk/pthread.buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
diff -r a40266895513 -r 36efc5c40c9e lang/swi-prolog-lite/Makefile
--- a/lang/swi-prolog-lite/Makefile Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-lite/Makefile Mon Dec 10 14:59:50 2018 +0000
@@ -1,6 +1,5 @@
-# $NetBSD: Makefile,v 1.27 2018/09/06 19:07:12 leot Exp $
+# $NetBSD: Makefile,v 1.28 2018/12/10 14:59:50 leot Exp $
-PKGREVISION= 2
.include "Makefile.common"
PKGNAME= swi-prolog-lite-${SWIPLVERS}
@@ -31,9 +30,7 @@
TEST_TARGET= check
-.include "../../devel/ncurses/buildlink3.mk"
-# uses rl_event_hook() interface
-.include "../../devel/readline/buildlink3.mk"
.include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/curses.buildlink3.mk"
.include "../../mk/pthread.buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
diff -r a40266895513 -r 36efc5c40c9e lang/swi-prolog-lite/Makefile.common
--- a/lang/swi-prolog-lite/Makefile.common Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-lite/Makefile.common Mon Dec 10 14:59:50 2018 +0000
@@ -1,11 +1,11 @@
-# $NetBSD: Makefile.common,v 1.14 2017/01/19 18:52:15 agc Exp $
+# $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= 6.6.6
-DISTNAME= pl-${SWIPLVERS}
+SWIPLVERS= 7.6.4
+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/
@@ -16,3 +16,6 @@
DIST_SUBDIR= swi-prolog
DISTINFO_FILE= ${.CURDIR}/../../lang/swi-prolog-lite/distinfo
PATCHDIR= ${.CURDIR}/../../lang/swi-prolog-lite/patches
+
+CONFIGURE_ENV+= CMFLAGS="-fPIC"
+CONFIGURE_ENV+= COFLAGS=${CFLAGS:M*:Q}
diff -r a40266895513 -r 36efc5c40c9e lang/swi-prolog-lite/PLIST
--- a/lang/swi-prolog-lite/PLIST Mon Dec 10 14:42:45 2018 +0000
+++ b/lang/swi-prolog-lite/PLIST Mon Dec 10 14:59:50 2018 +0000
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.12 2014/05/28 10:29:12 markd Exp $
+@comment $NetBSD: PLIST,v 1.13 2018/12/10 14:59:50 leot Exp $
bin/swi-prolog
bin/swipl-ld
bin/swipl-rc
@@ -12,7 +12,9 @@
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
@@ -29,7 +31,7 @@
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/dotplrc
+lib/swi-prolog-${PKGVERSION}/customize/dotswiplrc
lib/swi-prolog-${PKGVERSION}/customize/dotxpcerc
lib/swi-prolog-${PKGVERSION}/customize/edit
lib/swi-prolog-${PKGVERSION}/demo/README
@@ -66,7 +68,8 @@
lib/swi-prolog-${PKGVERSION}/doc/Manual/check.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/chr.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/chrintro.html
-lib/swi-prolog-${PKGVERSION}/doc/Manual/clicense.html
+lib/swi-prolog-${PKGVERSION}/doc/Manual/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
@@ -85,18 +88,29 @@
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/extvar.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
@@ -136,6 +150,7 @@
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
@@ -145,6 +160,7 @@
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
@@ -170,8 +186,10 @@
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
@@ -191,7 +209,6 @@
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/readline.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/readutil.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/record.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/reexport.html
@@ -202,6 +219,7 @@
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
@@ -211,8 +229,8 @@
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/syntaxext.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
@@ -238,6 +256,7 @@
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
@@ -247,7 +266,6 @@
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/am_match.pl
lib/swi-prolog-${PKGVERSION}/library/ansi_term.pl
lib/swi-prolog-${PKGVERSION}/library/apply.pl
lib/swi-prolog-${PKGVERSION}/library/apply_macros.pl
@@ -259,11 +277,13 @@
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
@@ -276,48 +296,8 @@
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/ciao.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/aggregates.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/assertions.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/basicmodes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/classic.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/dcg.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/attributes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/basic_props.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/basiccontrol.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/exceptions.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/exceptions_db.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/hiord_rt.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/internals.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/io_aux.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/file_utils.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/format.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/freeze.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/hiord.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/hiordlib.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/iso_misc.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/isomodes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/lists.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/llists.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/nativeprops.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/nortchecks.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/odd.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/prolog_flags.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/read.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/regtypes.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/regtypes/regtypes_tr.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/sockets.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/sort.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/streams.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/strings.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/system.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms_check.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms_vars.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/unittestdecls.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/unittestprops.pl
-lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/write.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
@@ -334,6 +314,7 @@
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
@@ -347,10 +328,13 @@
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
@@ -363,13 +347,17 @@
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
Home |
Main Index |
Thread Index |
Old Index