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>diff -r1.4 -r1.5 pkgsrc/lang/swi-prolog-jpl/Makefile
(leot)
@@ -1,16 +1,15 @@ | @@ -1,16 +1,15 @@ | |||
1 | # $NetBSD: Makefile,v 1.4 2015/08/18 07:31:10 wiz Exp $ | 1 | # $NetBSD: Makefile,v 1.5 2018/12/10 14:59:50 leot Exp $ | |
2 | 2 | |||
3 | PKGREVISION= 2 | |||
4 | .include "../../lang/swi-prolog-lite/Makefile.common" | 3 | .include "../../lang/swi-prolog-lite/Makefile.common" | |
5 | 4 | |||
6 | PKGNAME= swi-prolog-jpl-${SWIPLVERS} | 5 | PKGNAME= swi-prolog-jpl-${SWIPLVERS} | |
7 | 6 | |||
8 | MAINTAINER= pkgsrc-users@NetBSD.org | 7 | MAINTAINER= pkgsrc-users@NetBSD.org | |
9 | COMMENT= jpl package for SWI Prolog | 8 | COMMENT= jpl package for SWI Prolog | |
10 | 9 | |||
11 | GNU_CONFIGURE= yes | 10 | GNU_CONFIGURE= yes | |
12 | USE_TOOLS+= gmake pkg-config | 11 | USE_TOOLS+= gmake pkg-config | |
13 | MAKE_JOBS_SAFE= no | 12 | MAKE_JOBS_SAFE= no | |
14 | 13 | |||
15 | .include "../../mk/bsd.prefs.mk" | 14 | .include "../../mk/bsd.prefs.mk" | |
16 | 15 | |||
@@ -37,18 +36,16 @@ post-configure: | @@ -37,18 +36,16 @@ post-configure: | |||
37 | ${LN} -sf ${LOCALBASE}/bin/swi-prolog ${WRKSRC}/src | 36 | ${LN} -sf ${LOCALBASE}/bin/swi-prolog ${WRKSRC}/src | |
38 | cd ${WRKSRC}/packages; \ | 37 | cd ${WRKSRC}/packages; \ | |
39 | ${SETENV} \ | 38 | ${SETENV} \ | |
40 | CPP=${CPP:Q} \ | 39 | CPP=${CPP:Q} \ | |
41 | ${GMAKE} PKG=jpl configure | 40 | ${GMAKE} PKG=jpl configure | |
42 | mkdir ${WRKSRC}/include | 41 | mkdir ${WRKSRC}/include | |
43 | ${LN} -sf ${WRKSRC}/src/SWI-Prolog.h ${WRKSRC}/include | 42 | ${LN} -sf ${WRKSRC}/src/SWI-Prolog.h ${WRKSRC}/include | |
44 | ${LN} -sf ${WRKSRC}/src/os/SWI-Stream.h ${WRKSRC}/include | 43 | ${LN} -sf ${WRKSRC}/src/os/SWI-Stream.h ${WRKSRC}/include | |
45 | 44 | |||
46 | 45 | |||
47 | .include "../../lang/swi-prolog-lite/buildlink3.mk" | 46 | .include "../../lang/swi-prolog-lite/buildlink3.mk" | |
48 | .include "../../mk/java-vm.mk" | 47 | .include "../../mk/java-vm.mk" | |
49 | .include "../../devel/gmp/buildlink3.mk" | 48 | .include "../../devel/gmp/buildlink3.mk" | |
50 | .include "../../devel/ncurses/buildlink3.mk" | 49 | .include "../../mk/curses.buildlink3.mk" | |
51 | # uses rl_event_hook() interface | |||
52 | .include "../../devel/readline/buildlink3.mk" | |||
53 | .include "../../mk/pthread.buildlink3.mk" | 50 | .include "../../mk/pthread.buildlink3.mk" | |
54 | .include "../../mk/bsd.pkg.mk" | 51 | .include "../../mk/bsd.pkg.mk" |
@@ -1,16 +1,15 @@ | @@ -1,16 +1,15 @@ | |||
1 | # $NetBSD: Makefile,v 1.27 2018/09/06 19:07:12 leot Exp $ | 1 | # $NetBSD: Makefile,v 1.28 2018/12/10 14:59:50 leot Exp $ | |
2 | 2 | |||
3 | PKGREVISION= 2 | |||
4 | .include "Makefile.common" | 3 | .include "Makefile.common" | |
5 | 4 | |||
6 | PKGNAME= swi-prolog-lite-${SWIPLVERS} | 5 | PKGNAME= swi-prolog-lite-${SWIPLVERS} | |
7 | 6 | |||
8 | MAINTAINER= pkgsrc-users@NetBSD.org | 7 | MAINTAINER= pkgsrc-users@NetBSD.org | |
9 | COMMENT= ISO/Edinburgh-style Prolog compiler | 8 | COMMENT= ISO/Edinburgh-style Prolog compiler | |
10 | 9 | |||
11 | GNU_CONFIGURE= yes | 10 | GNU_CONFIGURE= yes | |
12 | CONFIGURE_DIRS= src | 11 | CONFIGURE_DIRS= src | |
13 | 12 | |||
14 | CONFIGURE_ENV+= PL=swi-prolog | 13 | CONFIGURE_ENV+= PL=swi-prolog | |
15 | CONFIGURE_ENV+= PLARCH=${MACHINE_GNU_PLATFORM} # make PLIST consistent | 14 | CONFIGURE_ENV+= PLARCH=${MACHINE_GNU_PLATFORM} # make PLIST consistent | |
16 | USE_TOOLS+= gmake bash:run | 15 | USE_TOOLS+= gmake bash:run | |
@@ -21,19 +20,17 @@ USE_TOOLS+= gmake bash:run | @@ -21,19 +20,17 @@ USE_TOOLS+= gmake bash:run | |||
21 | (defined(ABI) && ${ABI} == "64") | 20 | (defined(ABI) && ${ABI} == "64") | |
22 | PLIST_SUBST+= BITS=64 | 21 | PLIST_SUBST+= BITS=64 | |
23 | .else | 22 | .else | |
24 | PLIST_SUBST+= BITS=32 | 23 | PLIST_SUBST+= BITS=32 | |
25 | .endif | 24 | .endif | |
26 | 25 | |||
27 | REPLACE_INTERPRETER+= swipl | 26 | REPLACE_INTERPRETER+= swipl | |
28 | REPLACE.swipl.old= /usr/bin/swipl | 27 | REPLACE.swipl.old= /usr/bin/swipl | |
29 | REPLACE.swipl.new= ${PREFIX}/bin/swi-prolog | 28 | REPLACE.swipl.new= ${PREFIX}/bin/swi-prolog | |
30 | REPLACE_FILES.swipl+= library/dialect/sicstus/swipl-lfr.pl | 29 | REPLACE_FILES.swipl+= library/dialect/sicstus/swipl-lfr.pl | |
31 | 30 | |||
32 | TEST_TARGET= check | 31 | TEST_TARGET= check | |
33 | 32 | |||
34 | .include "../../devel/ncurses/buildlink3.mk" | |||
35 | # uses rl_event_hook() interface | |||
36 | .include "../../devel/readline/buildlink3.mk" | |||
37 | .include "../../devel/gmp/buildlink3.mk" | 33 | .include "../../devel/gmp/buildlink3.mk" | |
34 | .include "../../mk/curses.buildlink3.mk" | |||
38 | .include "../../mk/pthread.buildlink3.mk" | 35 | .include "../../mk/pthread.buildlink3.mk" | |
39 | .include "../../mk/bsd.pkg.mk" | 36 | .include "../../mk/bsd.pkg.mk" |
@@ -1,18 +1,21 @@ | @@ -1,18 +1,21 @@ | |||
1 | # $NetBSD: Makefile.common,v 1.14 2017/01/19 18:52:15 agc Exp $ | 1 | # $NetBSD: Makefile.common,v 1.15 2018/12/10 14:59:50 leot Exp $ | |
2 | # | 2 | # | |
3 | # used by lang/swi-prolog/Makefile | 3 | # used by lang/swi-prolog/Makefile | |
4 | # used by lang/swi-prolog-packages/Makefile | 4 | # used by lang/swi-prolog-packages/Makefile | |
5 | # used by lang/swi-prolog-jpl/Makefile | 5 | # used by lang/swi-prolog-jpl/Makefile | |
6 | 6 | |||
7 | SWIPLVERS= 6.6.6 | 7 | SWIPLVERS= 7.6.4 | |
8 | DISTNAME= pl-${SWIPLVERS} | 8 | DISTNAME= swipl-${SWIPLVERS} | |
9 | CATEGORIES= lang | 9 | CATEGORIES= lang | |
10 | MASTER_SITES= http://www.swi-prolog.org/download/stable/src/ | 10 | MASTER_SITES= http://www.swi-prolog.org/download/stable/src/ | |
11 | MASTER_SITES+= http://www.swi-prolog.org/download/devel/src/ | 11 | MASTER_SITES+= http://www.swi-prolog.org/download/devel/src/ | |
12 | 12 | |||
13 | HOMEPAGE= http://www.swi-prolog.org/ | 13 | HOMEPAGE= http://www.swi-prolog.org/ | |
14 | LICENSE= gnu-lgpl-v2.1 | 14 | LICENSE= gnu-lgpl-v2.1 | |
15 | 15 | |||
16 | DIST_SUBDIR= swi-prolog | 16 | DIST_SUBDIR= swi-prolog | |
17 | DISTINFO_FILE= ${.CURDIR}/../../lang/swi-prolog-lite/distinfo | 17 | DISTINFO_FILE= ${.CURDIR}/../../lang/swi-prolog-lite/distinfo | |
18 | PATCHDIR= ${.CURDIR}/../../lang/swi-prolog-lite/patches | 18 | PATCHDIR= ${.CURDIR}/../../lang/swi-prolog-lite/patches | |
19 | ||||
20 | CONFIGURE_ENV+= CMFLAGS="-fPIC" | |||
21 | CONFIGURE_ENV+= COFLAGS=${CFLAGS:M*:Q} |
@@ -1,45 +1,47 @@ | @@ -1,45 +1,47 @@ | |||
1 | @comment $NetBSD: PLIST,v 1.12 2014/05/28 10:29:12 markd Exp $ | 1 | @comment $NetBSD: PLIST,v 1.13 2018/12/10 14:59:50 leot Exp $ | |
2 | bin/swi-prolog | 2 | bin/swi-prolog | |
3 | bin/swipl-ld | 3 | bin/swipl-ld | |
4 | bin/swipl-rc | 4 | bin/swipl-rc | |
5 | lib/pkgconfig/swipl.pc | 5 | lib/pkgconfig/swipl.pc | |
6 | lib/swi-prolog-${PKGVERSION}/bin/swipl.home | 6 | lib/swi-prolog-${PKGVERSION}/bin/swipl.home | |
7 | lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swi-prolog | 7 | lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swi-prolog | |
8 | lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-ld | 8 | lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-ld | |
9 | lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-rc | 9 | lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-rc | |
10 | lib/swi-prolog-${PKGVERSION}/boot/apply.pl | 10 | lib/swi-prolog-${PKGVERSION}/boot/apply.pl | |
11 | lib/swi-prolog-${PKGVERSION}/boot/attvar.pl | 11 | lib/swi-prolog-${PKGVERSION}/boot/attvar.pl | |
12 | lib/swi-prolog-${PKGVERSION}/boot/autoload.pl | 12 | lib/swi-prolog-${PKGVERSION}/boot/autoload.pl | |
13 | lib/swi-prolog-${PKGVERSION}/boot/bags.pl | 13 | lib/swi-prolog-${PKGVERSION}/boot/bags.pl | |
14 | lib/swi-prolog-${PKGVERSION}/boot/dcg.pl | 14 | lib/swi-prolog-${PKGVERSION}/boot/dcg.pl | |
15 | lib/swi-prolog-${PKGVERSION}/boot/dicts.pl | |||
15 | lib/swi-prolog-${PKGVERSION}/boot/dwim.pl | 16 | lib/swi-prolog-${PKGVERSION}/boot/dwim.pl | |
17 | lib/swi-prolog-${PKGVERSION}/boot/engines.pl | |||
16 | lib/swi-prolog-${PKGVERSION}/boot/expand.pl | 18 | lib/swi-prolog-${PKGVERSION}/boot/expand.pl | |
17 | lib/swi-prolog-${PKGVERSION}/boot/history.pl | 19 | lib/swi-prolog-${PKGVERSION}/boot/history.pl | |
18 | lib/swi-prolog-${PKGVERSION}/boot/init.pl | 20 | lib/swi-prolog-${PKGVERSION}/boot/init.pl | |
19 | lib/swi-prolog-${PKGVERSION}/boot/license.pl | 21 | lib/swi-prolog-${PKGVERSION}/boot/license.pl | |
20 | lib/swi-prolog-${PKGVERSION}/boot/load.pl | 22 | lib/swi-prolog-${PKGVERSION}/boot/load.pl | |
21 | lib/swi-prolog-${PKGVERSION}/boot/messages.pl | 23 | lib/swi-prolog-${PKGVERSION}/boot/messages.pl | |
22 | lib/swi-prolog-${PKGVERSION}/boot/packs.pl | 24 | lib/swi-prolog-${PKGVERSION}/boot/packs.pl | |
23 | lib/swi-prolog-${PKGVERSION}/boot/parms.pl | 25 | lib/swi-prolog-${PKGVERSION}/boot/parms.pl | |
24 | lib/swi-prolog-${PKGVERSION}/boot/predopts.pl | 26 | lib/swi-prolog-${PKGVERSION}/boot/predopts.pl | |
25 | lib/swi-prolog-${PKGVERSION}/boot/qlf.pl | 27 | lib/swi-prolog-${PKGVERSION}/boot/qlf.pl | |
26 | lib/swi-prolog-${PKGVERSION}/boot/rc.pl | 28 | lib/swi-prolog-${PKGVERSION}/boot/rc.pl | |
27 | lib/swi-prolog-${PKGVERSION}/boot/syspred.pl | 29 | lib/swi-prolog-${PKGVERSION}/boot/syspred.pl | |
28 | lib/swi-prolog-${PKGVERSION}/boot/toplevel.pl | 30 | lib/swi-prolog-${PKGVERSION}/boot/toplevel.pl | |
29 | lib/swi-prolog-${PKGVERSION}/boot/topvars.pl | 31 | lib/swi-prolog-${PKGVERSION}/boot/topvars.pl | |
30 | lib/swi-prolog-${PKGVERSION}/boot${BITS}.prc | 32 | lib/swi-prolog-${PKGVERSION}/boot${BITS}.prc | |
31 | lib/swi-prolog-${PKGVERSION}/customize/README | 33 | lib/swi-prolog-${PKGVERSION}/customize/README | |
32 | lib/swi-prolog-${PKGVERSION}/customize/dotplrc | 34 | lib/swi-prolog-${PKGVERSION}/customize/dotswiplrc | |
33 | lib/swi-prolog-${PKGVERSION}/customize/dotxpcerc | 35 | lib/swi-prolog-${PKGVERSION}/customize/dotxpcerc | |
34 | lib/swi-prolog-${PKGVERSION}/customize/edit | 36 | lib/swi-prolog-${PKGVERSION}/customize/edit | |
35 | lib/swi-prolog-${PKGVERSION}/demo/README | 37 | lib/swi-prolog-${PKGVERSION}/demo/README | |
36 | lib/swi-prolog-${PKGVERSION}/demo/likes.pl | 38 | lib/swi-prolog-${PKGVERSION}/demo/likes.pl | |
37 | lib/swi-prolog-${PKGVERSION}/doc/Manual/64bits.html | 39 | lib/swi-prolog-${PKGVERSION}/doc/Manual/64bits.html | |
38 | lib/swi-prolog-${PKGVERSION}/doc/Manual/Bibliography.html | 40 | lib/swi-prolog-${PKGVERSION}/doc/Manual/Bibliography.html | |
39 | lib/swi-prolog-${PKGVERSION}/doc/Manual/Contents.html | 41 | lib/swi-prolog-${PKGVERSION}/doc/Manual/Contents.html | |
40 | lib/swi-prolog-${PKGVERSION}/doc/Manual/DCG.html | 42 | lib/swi-prolog-${PKGVERSION}/doc/Manual/DCG.html | |
41 | lib/swi-prolog-${PKGVERSION}/doc/Manual/DDE.html | 43 | lib/swi-prolog-${PKGVERSION}/doc/Manual/DDE.html | |
42 | lib/swi-prolog-${PKGVERSION}/doc/Manual/DocIndex.html | 44 | lib/swi-prolog-${PKGVERSION}/doc/Manual/DocIndex.html | |
43 | lib/swi-prolog-${PKGVERSION}/doc/Manual/IDE.html | 45 | lib/swi-prolog-${PKGVERSION}/doc/Manual/IDE.html | |
44 | lib/swi-prolog-${PKGVERSION}/doc/Manual/IO.html | 46 | lib/swi-prolog-${PKGVERSION}/doc/Manual/IO.html | |
45 | lib/swi-prolog-${PKGVERSION}/doc/Manual/SyntaxAndSemantics.html | 47 | lib/swi-prolog-${PKGVERSION}/doc/Manual/SyntaxAndSemantics.html | |
@@ -56,57 +58,69 @@ lib/swi-prolog-${PKGVERSION}/doc/Manual/ | @@ -56,57 +58,69 @@ lib/swi-prolog-${PKGVERSION}/doc/Manual/ | |||
56 | lib/swi-prolog-${PKGVERSION}/doc/Manual/breakpoint.html | 58 | lib/swi-prolog-${PKGVERSION}/doc/Manual/breakpoint.html | |
57 | lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.gif | 59 | lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.gif | |
58 | lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.html | 60 | lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.html | |
59 | lib/swi-prolog-${PKGVERSION}/doc/Manual/builtin.html | 61 | lib/swi-prolog-${PKGVERSION}/doc/Manual/builtin.html | |
60 | lib/swi-prolog-${PKGVERSION}/doc/Manual/builtinlist.html | 62 | lib/swi-prolog-${PKGVERSION}/doc/Manual/builtinlist.html | |
61 | lib/swi-prolog-${PKGVERSION}/doc/Manual/charconv.html | 63 | lib/swi-prolog-${PKGVERSION}/doc/Manual/charconv.html | |
62 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chario.html | 64 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chario.html | |
63 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chars.html | 65 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chars.html | |
64 | lib/swi-prolog-${PKGVERSION}/doc/Manual/charsio.html | 66 | lib/swi-prolog-${PKGVERSION}/doc/Manual/charsio.html | |
65 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chartype.html | 67 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chartype.html | |
66 | lib/swi-prolog-${PKGVERSION}/doc/Manual/check.html | 68 | lib/swi-prolog-${PKGVERSION}/doc/Manual/check.html | |
67 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chr.html | 69 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chr.html | |
68 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chrintro.html | 70 | lib/swi-prolog-${PKGVERSION}/doc/Manual/chrintro.html | |
69 | lib/swi-prolog-${PKGVERSION}/doc/Manual/clicense.html | 71 | lib/swi-prolog-${PKGVERSION}/doc/Manual/clp.html | |
72 | lib/swi-prolog-${PKGVERSION}/doc/Manual/clpb.html | |||
70 | lib/swi-prolog-${PKGVERSION}/doc/Manual/clpfd.html | 73 | lib/swi-prolog-${PKGVERSION}/doc/Manual/clpfd.html | |
71 | lib/swi-prolog-${PKGVERSION}/doc/Manual/clpqr.html | 74 | lib/swi-prolog-${PKGVERSION}/doc/Manual/clpqr.html | |
72 | lib/swi-prolog-${PKGVERSION}/doc/Manual/cmdline.html | 75 | lib/swi-prolog-${PKGVERSION}/doc/Manual/cmdline.html | |
73 | lib/swi-prolog-${PKGVERSION}/doc/Manual/compare.html | 76 | lib/swi-prolog-${PKGVERSION}/doc/Manual/compare.html | |
74 | lib/swi-prolog-${PKGVERSION}/doc/Manual/compilation.html | 77 | lib/swi-prolog-${PKGVERSION}/doc/Manual/compilation.html | |
75 | lib/swi-prolog-${PKGVERSION}/doc/Manual/consulting.html | 78 | lib/swi-prolog-${PKGVERSION}/doc/Manual/consulting.html | |
76 | lib/swi-prolog-${PKGVERSION}/doc/Manual/contrib.html | 79 | lib/swi-prolog-${PKGVERSION}/doc/Manual/contrib.html | |
77 | lib/swi-prolog-${PKGVERSION}/doc/Manual/control.html | 80 | lib/swi-prolog-${PKGVERSION}/doc/Manual/control.html | |
78 | lib/swi-prolog-${PKGVERSION}/doc/Manual/coroutining.html | 81 | lib/swi-prolog-${PKGVERSION}/doc/Manual/coroutining.html | |
79 | lib/swi-prolog-${PKGVERSION}/doc/Manual/csv.html | 82 | lib/swi-prolog-${PKGVERSION}/doc/Manual/csv.html | |
80 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ctxmodule.html | 83 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ctxmodule.html | |
81 | lib/swi-prolog-${PKGVERSION}/doc/Manual/cyclic.html | 84 | lib/swi-prolog-${PKGVERSION}/doc/Manual/cyclic.html | |
82 | lib/swi-prolog-${PKGVERSION}/doc/Manual/db.html | 85 | lib/swi-prolog-${PKGVERSION}/doc/Manual/db.html | |
83 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debug.html | 86 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debug.html | |
84 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debugger.html | 87 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debugger.html | |
85 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debugging.html | 88 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debugging.html | |
86 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debugoverview.html | 89 | lib/swi-prolog-${PKGVERSION}/doc/Manual/debugoverview.html | |
87 | lib/swi-prolog-${PKGVERSION}/doc/Manual/defmodule.html | 90 | lib/swi-prolog-${PKGVERSION}/doc/Manual/defmodule.html | |
91 | lib/swi-prolog-${PKGVERSION}/doc/Manual/delcont.html | |||
88 | lib/swi-prolog-${PKGVERSION}/doc/Manual/dialect.html | 92 | lib/swi-prolog-${PKGVERSION}/doc/Manual/dialect.html | |
93 | lib/swi-prolog-${PKGVERSION}/doc/Manual/dicts.html | |||
89 | lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic-modules.html | 94 | lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic-modules.html | |
90 | lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic.html | 95 | lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic.html | |
91 | lib/swi-prolog-${PKGVERSION}/doc/Manual/edit.html | 96 | lib/swi-prolog-${PKGVERSION}/doc/Manual/edit.html | |
92 | lib/swi-prolog-${PKGVERSION}/doc/Manual/editreload.html | 97 | lib/swi-prolog-${PKGVERSION}/doc/Manual/editreload.html | |
98 | lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-examples.html | |||
99 | lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-predicates.html | |||
100 | lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-resources.html | |||
101 | lib/swi-prolog-${PKGVERSION}/doc/Manual/engines.html | |||
102 | lib/swi-prolog-${PKGVERSION}/doc/Manual/error.html | |||
93 | lib/swi-prolog-${PKGVERSION}/doc/Manual/errors.html | 103 | lib/swi-prolog-${PKGVERSION}/doc/Manual/errors.html | |
94 | lib/swi-prolog-${PKGVERSION}/doc/Manual/examineprog.html | 104 | lib/swi-prolog-${PKGVERSION}/doc/Manual/examineprog.html | |
95 | lib/swi-prolog-${PKGVERSION}/doc/Manual/examples.html | 105 | lib/swi-prolog-${PKGVERSION}/doc/Manual/examples.html | |
96 | lib/swi-prolog-${PKGVERSION}/doc/Manual/excepthook.html | 106 | lib/swi-prolog-${PKGVERSION}/doc/Manual/excepthook.html | |
97 | lib/swi-prolog-${PKGVERSION}/doc/Manual/exception.html | 107 | lib/swi-prolog-${PKGVERSION}/doc/Manual/exception.html | |
98 | lib/swi-prolog-${PKGVERSION}/doc/Manual/exception3.html | 108 | lib/swi-prolog-${PKGVERSION}/doc/Manual/exception3.html | |
99 | lib/swi-prolog-${PKGVERSION}/doc/Manual/extvar.html | 109 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-integration.html | |
110 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-issues.html | |||
111 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-lists.html | |||
112 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-syntax.html | |||
113 | lib/swi-prolog-${PKGVERSION}/doc/Manual/extensions.html | |||
100 | lib/swi-prolog-${PKGVERSION}/doc/Manual/files.html | 114 | lib/swi-prolog-${PKGVERSION}/doc/Manual/files.html | |
101 | lib/swi-prolog-${PKGVERSION}/doc/Manual/findappfile.html | 115 | lib/swi-prolog-${PKGVERSION}/doc/Manual/findappfile.html | |
102 | lib/swi-prolog-${PKGVERSION}/doc/Manual/findhome.html | 116 | lib/swi-prolog-${PKGVERSION}/doc/Manual/findhome.html | |
103 | lib/swi-prolog-${PKGVERSION}/doc/Manual/flags.html | 117 | lib/swi-prolog-${PKGVERSION}/doc/Manual/flags.html | |
104 | lib/swi-prolog-${PKGVERSION}/doc/Manual/forall2.html | 118 | lib/swi-prolog-${PKGVERSION}/doc/Manual/forall2.html | |
105 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreign.html | 119 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreign.html | |
106 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigninclude.html | 120 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigninclude.html | |
107 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignlink.html | 121 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignlink.html | |
108 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignnotes.html | 122 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignnotes.html | |
109 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignoverview.html | 123 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignoverview.html | |
110 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignthread.html | 124 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignthread.html | |
111 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigntypes.html | 125 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigntypes.html | |
112 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignxmp.html | 126 | lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignxmp.html | |
@@ -126,290 +140,267 @@ lib/swi-prolog-${PKGVERSION}/doc/Manual/ | @@ -126,290 +140,267 @@ lib/swi-prolog-${PKGVERSION}/doc/Manual/ | |||
126 | lib/swi-prolog-${PKGVERSION}/doc/Manual/hooks.html | 140 | lib/swi-prolog-${PKGVERSION}/doc/Manual/hooks.html | |
127 | lib/swi-prolog-${PKGVERSION}/doc/Manual/idepreds.html | 141 | lib/swi-prolog-${PKGVERSION}/doc/Manual/idepreds.html | |
128 | lib/swi-prolog-${PKGVERSION}/doc/Manual/idesummary.html | 142 | lib/swi-prolog-${PKGVERSION}/doc/Manual/idesummary.html | |
129 | lib/swi-prolog-${PKGVERSION}/doc/Manual/implhistory.html | 143 | lib/swi-prolog-${PKGVERSION}/doc/Manual/implhistory.html | |
130 | lib/swi-prolog-${PKGVERSION}/doc/Manual/import.html | 144 | lib/swi-prolog-${PKGVERSION}/doc/Manual/import.html | |
131 | lib/swi-prolog-${PKGVERSION}/doc/Manual/importmodule.html | 145 | lib/swi-prolog-${PKGVERSION}/doc/Manual/importmodule.html | |
132 | lib/swi-prolog-${PKGVERSION}/doc/Manual/index.gif | 146 | lib/swi-prolog-${PKGVERSION}/doc/Manual/index.gif | |
133 | lib/swi-prolog-${PKGVERSION}/doc/Manual/index.html | 147 | lib/swi-prolog-${PKGVERSION}/doc/Manual/index.html | |
134 | lib/swi-prolog-${PKGVERSION}/doc/Manual/info.gif | 148 | lib/swi-prolog-${PKGVERSION}/doc/Manual/info.gif | |
135 | lib/swi-prolog-${PKGVERSION}/doc/Manual/initfile.html | 149 | lib/swi-prolog-${PKGVERSION}/doc/Manual/initfile.html | |
136 | lib/swi-prolog-${PKGVERSION}/doc/Manual/initgoal.html | 150 | lib/swi-prolog-${PKGVERSION}/doc/Manual/initgoal.html | |
137 | lib/swi-prolog-${PKGVERSION}/doc/Manual/intlibs.html | 151 | lib/swi-prolog-${PKGVERSION}/doc/Manual/intlibs.html | |
138 | lib/swi-prolog-${PKGVERSION}/doc/Manual/intro.html | 152 | lib/swi-prolog-${PKGVERSION}/doc/Manual/intro.html | |
153 | lib/swi-prolog-${PKGVERSION}/doc/Manual/iostream.html | |||
139 | lib/swi-prolog-${PKGVERSION}/doc/Manual/jitindex.html | 154 | lib/swi-prolog-${PKGVERSION}/doc/Manual/jitindex.html | |
140 | lib/swi-prolog-${PKGVERSION}/doc/Manual/libpl.html | 155 | lib/swi-prolog-${PKGVERSION}/doc/Manual/libpl.html | |
141 | lib/swi-prolog-${PKGVERSION}/doc/Manual/library.html | 156 | lib/swi-prolog-${PKGVERSION}/doc/Manual/library.html | |
142 | lib/swi-prolog-${PKGVERSION}/doc/Manual/license.html | 157 | lib/swi-prolog-${PKGVERSION}/doc/Manual/license.html | |
143 | lib/swi-prolog-${PKGVERSION}/doc/Manual/limits.html | 158 | lib/swi-prolog-${PKGVERSION}/doc/Manual/limits.html | |
144 | lib/swi-prolog-${PKGVERSION}/doc/Manual/listing.html | 159 | lib/swi-prolog-${PKGVERSION}/doc/Manual/listing.html | |
145 | lib/swi-prolog-${PKGVERSION}/doc/Manual/lists.html | 160 | lib/swi-prolog-${PKGVERSION}/doc/Manual/lists.html | |
146 | lib/swi-prolog-${PKGVERSION}/doc/Manual/loadfilehook.html | 161 | lib/swi-prolog-${PKGVERSION}/doc/Manual/loadfilehook.html | |
147 | lib/swi-prolog-${PKGVERSION}/doc/Manual/locale.html | 162 | lib/swi-prolog-${PKGVERSION}/doc/Manual/locale.html | |
163 | lib/swi-prolog-${PKGVERSION}/doc/Manual/main.html | |||
148 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipatom.html | 164 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipatom.html | |
149 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipmodule.html | 165 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipmodule.html | |
150 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipstack.html | 166 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipstack.html | |
151 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipterm.html | 167 | lib/swi-prolog-${PKGVERSION}/doc/Manual/manipterm.html | |
152 | lib/swi-prolog-${PKGVERSION}/doc/Manual/memory.html | 168 | lib/swi-prolog-${PKGVERSION}/doc/Manual/memory.html | |
153 | lib/swi-prolog-${PKGVERSION}/doc/Manual/metacall.html | 169 | lib/swi-prolog-${PKGVERSION}/doc/Manual/metacall.html | |
154 | lib/swi-prolog-${PKGVERSION}/doc/Manual/metapred.html | 170 | lib/swi-prolog-${PKGVERSION}/doc/Manual/metapred.html | |
155 | lib/swi-prolog-${PKGVERSION}/doc/Manual/miscarith.html | 171 | lib/swi-prolog-${PKGVERSION}/doc/Manual/miscarith.html | |
156 | lib/swi-prolog-${PKGVERSION}/doc/Manual/miscpreds.html | 172 | lib/swi-prolog-${PKGVERSION}/doc/Manual/miscpreds.html | |
157 | lib/swi-prolog-${PKGVERSION}/doc/Manual/modulecompat.html | 173 | lib/swi-prolog-${PKGVERSION}/doc/Manual/modulecompat.html | |
158 | lib/swi-prolog-${PKGVERSION}/doc/Manual/moduleop.html | 174 | lib/swi-prolog-${PKGVERSION}/doc/Manual/moduleop.html | |
159 | lib/swi-prolog-${PKGVERSION}/doc/Manual/modules.html | 175 | lib/swi-prolog-${PKGVERSION}/doc/Manual/modules.html | |
160 | lib/swi-prolog-${PKGVERSION}/doc/Manual/mt-xpce.html | 176 | lib/swi-prolog-${PKGVERSION}/doc/Manual/mt-xpce.html | |
161 | lib/swi-prolog-${PKGVERSION}/doc/Manual/mtoplevel.html | 177 | lib/swi-prolog-${PKGVERSION}/doc/Manual/mtoplevel.html | |
162 | lib/swi-prolog-${PKGVERSION}/doc/Manual/navigator.html | 178 | lib/swi-prolog-${PKGVERSION}/doc/Manual/navigator.html | |
163 | lib/swi-prolog-${PKGVERSION}/doc/Manual/nb_set.html | 179 | lib/swi-prolog-${PKGVERSION}/doc/Manual/nb_set.html | |
164 | lib/swi-prolog-${PKGVERSION}/doc/Manual/next.gif | 180 | lib/swi-prolog-${PKGVERSION}/doc/Manual/next.gif | |
165 | lib/swi-prolog-${PKGVERSION}/doc/Manual/operators.html | 181 | lib/swi-prolog-${PKGVERSION}/doc/Manual/operators.html | |
166 | lib/swi-prolog-${PKGVERSION}/doc/Manual/opsummary.html | 182 | lib/swi-prolog-${PKGVERSION}/doc/Manual/opsummary.html | |
167 | lib/swi-prolog-${PKGVERSION}/doc/Manual/option.html | 183 | lib/swi-prolog-${PKGVERSION}/doc/Manual/option.html | |
168 | lib/swi-prolog-${PKGVERSION}/doc/Manual/optparse.html | 184 | lib/swi-prolog-${PKGVERSION}/doc/Manual/optparse.html | |
169 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ordsets.html | 185 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ordsets.html | |
170 | lib/swi-prolog-${PKGVERSION}/doc/Manual/otherlicenses.html | 186 | lib/swi-prolog-${PKGVERSION}/doc/Manual/otherlicenses.html | |
171 | lib/swi-prolog-${PKGVERSION}/doc/Manual/overrule.html | 187 | lib/swi-prolog-${PKGVERSION}/doc/Manual/overrule.html | |
172 | lib/swi-prolog-${PKGVERSION}/doc/Manual/overview.html | 188 | lib/swi-prolog-${PKGVERSION}/doc/Manual/overview.html | |
189 | lib/swi-prolog-${PKGVERSION}/doc/Manual/packs.html | |||
173 | lib/swi-prolog-${PKGVERSION}/doc/Manual/pairs.html | 190 | lib/swi-prolog-${PKGVERSION}/doc/Manual/pairs.html | |
174 | lib/swi-prolog-${PKGVERSION}/doc/Manual/pceemacs.html | 191 | lib/swi-prolog-${PKGVERSION}/doc/Manual/pceemacs.html | |
192 | lib/swi-prolog-${PKGVERSION}/doc/Manual/persistency.html | |||
175 | lib/swi-prolog-${PKGVERSION}/doc/Manual/pio.html | 193 | lib/swi-prolog-${PKGVERSION}/doc/Manual/pio.html | |
176 | lib/swi-prolog-${PKGVERSION}/doc/Manual/plld.html | 194 | lib/swi-prolog-${PKGVERSION}/doc/Manual/plld.html | |
177 | lib/swi-prolog-${PKGVERSION}/doc/Manual/portabilitystrategies.html | 195 | lib/swi-prolog-${PKGVERSION}/doc/Manual/portabilitystrategies.html | |
178 | lib/swi-prolog-${PKGVERSION}/doc/Manual/practical.html | 196 | lib/swi-prolog-${PKGVERSION}/doc/Manual/practical.html | |
179 | lib/swi-prolog-${PKGVERSION}/doc/Manual/preddesc.html | 197 | lib/swi-prolog-${PKGVERSION}/doc/Manual/preddesc.html | |
180 | lib/swi-prolog-${PKGVERSION}/doc/Manual/predicate_options.html | 198 | lib/swi-prolog-${PKGVERSION}/doc/Manual/predicate_options.html | |
181 | lib/swi-prolog-${PKGVERSION}/doc/Manual/predsummary.html | 199 | lib/swi-prolog-${PKGVERSION}/doc/Manual/predsummary.html | |
182 | lib/swi-prolog-${PKGVERSION}/doc/Manual/prev.gif | 200 | lib/swi-prolog-${PKGVERSION}/doc/Manual/prev.gif | |
183 | lib/swi-prolog-${PKGVERSION}/doc/Manual/profile.html | 201 | lib/swi-prolog-${PKGVERSION}/doc/Manual/profile.html | |
184 | lib/swi-prolog-${PKGVERSION}/doc/Manual/profnode.gif | 202 | lib/swi-prolog-${PKGVERSION}/doc/Manual/profnode.gif | |
185 | lib/swi-prolog-${PKGVERSION}/doc/Manual/projectfiles.html | 203 | lib/swi-prolog-${PKGVERSION}/doc/Manual/projectfiles.html | |
186 | lib/swi-prolog-${PKGVERSION}/doc/Manual/prolog_xref.html | 204 | lib/swi-prolog-${PKGVERSION}/doc/Manual/prolog_xref.html | |
187 | lib/swi-prolog-${PKGVERSION}/doc/Manual/prologpack.html | 205 | lib/swi-prolog-${PKGVERSION}/doc/Manual/prologpack.html | |
188 | lib/swi-prolog-${PKGVERSION}/doc/Manual/protocol.html | 206 | lib/swi-prolog-${PKGVERSION}/doc/Manual/protocol.html | |
189 | lib/swi-prolog-${PKGVERSION}/doc/Manual/qsaveforeign.html | 207 | lib/swi-prolog-${PKGVERSION}/doc/Manual/qsaveforeign.html | |
190 | lib/swi-prolog-${PKGVERSION}/doc/Manual/qsavelimits.html | 208 | lib/swi-prolog-${PKGVERSION}/doc/Manual/qsavelimits.html | |
191 | lib/swi-prolog-${PKGVERSION}/doc/Manual/quasiquotations.html | 209 | lib/swi-prolog-${PKGVERSION}/doc/Manual/quasiquotations.html | |
192 | lib/swi-prolog-${PKGVERSION}/doc/Manual/quickstart.html | 210 | lib/swi-prolog-${PKGVERSION}/doc/Manual/quickstart.html | |
193 | lib/swi-prolog-${PKGVERSION}/doc/Manual/random.html | 211 | lib/swi-prolog-${PKGVERSION}/doc/Manual/random.html | |
194 | lib/swi-prolog-${PKGVERSION}/doc/Manual/readline.html | |||
195 | lib/swi-prolog-${PKGVERSION}/doc/Manual/readutil.html | 212 | lib/swi-prolog-${PKGVERSION}/doc/Manual/readutil.html | |
196 | lib/swi-prolog-${PKGVERSION}/doc/Manual/record.html | 213 | lib/swi-prolog-${PKGVERSION}/doc/Manual/record.html | |
197 | lib/swi-prolog-${PKGVERSION}/doc/Manual/reexport.html | 214 | lib/swi-prolog-${PKGVERSION}/doc/Manual/reexport.html | |
198 | lib/swi-prolog-${PKGVERSION}/doc/Manual/registry.html | 215 | lib/swi-prolog-${PKGVERSION}/doc/Manual/registry.html | |
199 | lib/swi-prolog-${PKGVERSION}/doc/Manual/resmodules.html | 216 | lib/swi-prolog-${PKGVERSION}/doc/Manual/resmodules.html | |
200 | lib/swi-prolog-${PKGVERSION}/doc/Manual/runtime.html | 217 | lib/swi-prolog-${PKGVERSION}/doc/Manual/runtime.html | |
201 | lib/swi-prolog-${PKGVERSION}/doc/Manual/sicstus-chr.html | 218 | lib/swi-prolog-${PKGVERSION}/doc/Manual/sicstus-chr.html | |
202 | lib/swi-prolog-${PKGVERSION}/doc/Manual/signal.html | 219 | lib/swi-prolog-${PKGVERSION}/doc/Manual/signal.html | |
203 | lib/swi-prolog-${PKGVERSION}/doc/Manual/simplex.html | 220 | lib/swi-prolog-${PKGVERSION}/doc/Manual/simplex.html | |
204 | lib/swi-prolog-${PKGVERSION}/doc/Manual/softlicense.html | 221 | lib/swi-prolog-${PKGVERSION}/doc/Manual/softlicense.html | |
222 | lib/swi-prolog-${PKGVERSION}/doc/Manual/solutionsequences.html | |||
205 | lib/swi-prolog-${PKGVERSION}/doc/Manual/sponsor.html | 223 | lib/swi-prolog-${PKGVERSION}/doc/Manual/sponsor.html | |
206 | lib/swi-prolog-${PKGVERSION}/doc/Manual/statistics.html | 224 | lib/swi-prolog-${PKGVERSION}/doc/Manual/statistics.html | |
207 | lib/swi-prolog-${PKGVERSION}/doc/Manual/status.html | 225 | lib/swi-prolog-${PKGVERSION}/doc/Manual/status.html | |
208 | lib/swi-prolog-${PKGVERSION}/doc/Manual/streamstat.html | 226 | lib/swi-prolog-${PKGVERSION}/doc/Manual/streamstat.html | |
209 | lib/swi-prolog-${PKGVERSION}/doc/Manual/strings.html | 227 | lib/swi-prolog-${PKGVERSION}/doc/Manual/strings.html | |
210 | lib/swi-prolog-${PKGVERSION}/doc/Manual/summary.html | 228 | lib/swi-prolog-${PKGVERSION}/doc/Manual/summary.html | |
211 | lib/swi-prolog-${PKGVERSION}/doc/Manual/swiorother.html | 229 | lib/swi-prolog-${PKGVERSION}/doc/Manual/swiorother.html | |
212 | lib/swi-prolog-${PKGVERSION}/doc/Manual/swiprolog.html | 230 | lib/swi-prolog-${PKGVERSION}/doc/Manual/swiprolog.html | |
213 | lib/swi-prolog-${PKGVERSION}/doc/Manual/syntax.html | 231 | lib/swi-prolog-${PKGVERSION}/doc/Manual/syntax.html | |
214 | lib/swi-prolog-${PKGVERSION}/doc/Manual/syntaxext.html | |||
215 | lib/swi-prolog-${PKGVERSION}/doc/Manual/system.html | 232 | lib/swi-prolog-${PKGVERSION}/doc/Manual/system.html | |
233 | lib/swi-prolog-${PKGVERSION}/doc/Manual/tabling.html | |||
216 | lib/swi-prolog-${PKGVERSION}/doc/Manual/termrw.html | 234 | lib/swi-prolog-${PKGVERSION}/doc/Manual/termrw.html | |
217 | lib/swi-prolog-${PKGVERSION}/doc/Manual/thmonitor.html | 235 | lib/swi-prolog-${PKGVERSION}/doc/Manual/thmonitor.html | |
218 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcom.html | 236 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcom.html | |
219 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcreate.html | 237 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcreate.html | |
220 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadpool.html | 238 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadpool.html | |
221 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threads.html | 239 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threads.html | |
222 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadsync.html | 240 | lib/swi-prolog-${PKGVERSION}/doc/Manual/threadsync.html | |
223 | lib/swi-prolog-${PKGVERSION}/doc/Manual/thutil.html | 241 | lib/swi-prolog-${PKGVERSION}/doc/Manual/thutil.html | |
224 | lib/swi-prolog-${PKGVERSION}/doc/Manual/toplevel.html | 242 | lib/swi-prolog-${PKGVERSION}/doc/Manual/toplevel.html | |
225 | lib/swi-prolog-${PKGVERSION}/doc/Manual/topvars.html | 243 | lib/swi-prolog-${PKGVERSION}/doc/Manual/topvars.html | |
226 | lib/swi-prolog-${PKGVERSION}/doc/Manual/tracehook.html | 244 | lib/swi-prolog-${PKGVERSION}/doc/Manual/tracehook.html | |
227 | lib/swi-prolog-${PKGVERSION}/doc/Manual/tty.html | 245 | lib/swi-prolog-${PKGVERSION}/doc/Manual/tty.html | |
228 | lib/swi-prolog-${PKGVERSION}/doc/Manual/typetest.html | 246 | lib/swi-prolog-${PKGVERSION}/doc/Manual/typetest.html | |
229 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ugraphs.html | 247 | lib/swi-prolog-${PKGVERSION}/doc/Manual/ugraphs.html | |
230 | lib/swi-prolog-${PKGVERSION}/doc/Manual/up.gif | 248 | lib/swi-prolog-${PKGVERSION}/doc/Manual/up.gif | |
231 | lib/swi-prolog-${PKGVERSION}/doc/Manual/url.html | 249 | lib/swi-prolog-${PKGVERSION}/doc/Manual/url.html | |
232 | lib/swi-prolog-${PKGVERSION}/doc/Manual/useresource.html | 250 | lib/swi-prolog-${PKGVERSION}/doc/Manual/useresource.html | |
233 | lib/swi-prolog-${PKGVERSION}/doc/Manual/usingmodules.html | 251 | lib/swi-prolog-${PKGVERSION}/doc/Manual/usingmodules.html | |
234 | lib/swi-prolog-${PKGVERSION}/doc/Manual/varnumbers.html | 252 | lib/swi-prolog-${PKGVERSION}/doc/Manual/varnumbers.html | |
235 | lib/swi-prolog-${PKGVERSION}/doc/Manual/whymodules.html | 253 | lib/swi-prolog-${PKGVERSION}/doc/Manual/whymodules.html | |
236 | lib/swi-prolog-${PKGVERSION}/doc/Manual/widechars.html | 254 | lib/swi-prolog-${PKGVERSION}/doc/Manual/widechars.html | |
237 | lib/swi-prolog-${PKGVERSION}/doc/Manual/www_browser.html | 255 | lib/swi-prolog-${PKGVERSION}/doc/Manual/www_browser.html | |
238 | lib/swi-prolog-${PKGVERSION}/doc/Manual/xref.html | 256 | lib/swi-prolog-${PKGVERSION}/doc/Manual/xref.html | |
239 | lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatdep.gif | 257 | lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatdep.gif | |
240 | lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatfile.gif | 258 | lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatfile.gif | |
259 | lib/swi-prolog-${PKGVERSION}/doc/Manual/yall.html | |||
241 | lib/swi-prolog-${PKGVERSION}/doc/Manual/yellow_pages.gif | 260 | lib/swi-prolog-${PKGVERSION}/doc/Manual/yellow_pages.gif | |
242 | lib/swi-prolog-${PKGVERSION}/include/SWI-Prolog.h | 261 | lib/swi-prolog-${PKGVERSION}/include/SWI-Prolog.h | |
243 | lib/swi-prolog-${PKGVERSION}/include/SWI-Stream.h | 262 | lib/swi-prolog-${PKGVERSION}/include/SWI-Stream.h | |
244 | lib/swi-prolog-${PKGVERSION}/include/Yap/YapInterface.h | 263 | lib/swi-prolog-${PKGVERSION}/include/Yap/YapInterface.h | |
245 | lib/swi-prolog-${PKGVERSION}/include/sicstus/sicstus.h | 264 | lib/swi-prolog-${PKGVERSION}/include/sicstus/sicstus.h | |
246 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.a | 265 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.a | |
247 | lib/swi-prolog-${PKGVERSION}/library/INDEX.pl | 266 | lib/swi-prolog-${PKGVERSION}/library/INDEX.pl | |
248 | lib/swi-prolog-${PKGVERSION}/library/MANUAL | 267 | lib/swi-prolog-${PKGVERSION}/library/MANUAL | |
249 | lib/swi-prolog-${PKGVERSION}/library/aggregate.pl | 268 | lib/swi-prolog-${PKGVERSION}/library/aggregate.pl | |
250 | lib/swi-prolog-${PKGVERSION}/library/am_match.pl | |||
251 | lib/swi-prolog-${PKGVERSION}/library/ansi_term.pl | 269 | lib/swi-prolog-${PKGVERSION}/library/ansi_term.pl | |
252 | lib/swi-prolog-${PKGVERSION}/library/apply.pl | 270 | lib/swi-prolog-${PKGVERSION}/library/apply.pl | |
253 | lib/swi-prolog-${PKGVERSION}/library/apply_macros.pl | 271 | lib/swi-prolog-${PKGVERSION}/library/apply_macros.pl | |
254 | lib/swi-prolog-${PKGVERSION}/library/arithmetic.pl | 272 | lib/swi-prolog-${PKGVERSION}/library/arithmetic.pl | |
255 | lib/swi-prolog-${PKGVERSION}/library/assoc.pl | 273 | lib/swi-prolog-${PKGVERSION}/library/assoc.pl | |
256 | lib/swi-prolog-${PKGVERSION}/library/backcomp.pl | 274 | lib/swi-prolog-${PKGVERSION}/library/backcomp.pl | |
257 | lib/swi-prolog-${PKGVERSION}/library/base32.pl | 275 | lib/swi-prolog-${PKGVERSION}/library/base32.pl | |
258 | lib/swi-prolog-${PKGVERSION}/library/base64.pl | 276 | lib/swi-prolog-${PKGVERSION}/library/base64.pl | |
259 | lib/swi-prolog-${PKGVERSION}/library/broadcast.pl | 277 | lib/swi-prolog-${PKGVERSION}/library/broadcast.pl | |
260 | lib/swi-prolog-${PKGVERSION}/library/charsio.pl | 278 | lib/swi-prolog-${PKGVERSION}/library/charsio.pl | |
261 | lib/swi-prolog-${PKGVERSION}/library/check.pl | 279 | lib/swi-prolog-${PKGVERSION}/library/check.pl | |
280 | lib/swi-prolog-${PKGVERSION}/library/check_installation.pl | |||
262 | lib/swi-prolog-${PKGVERSION}/library/checklast.pl | 281 | lib/swi-prolog-${PKGVERSION}/library/checklast.pl | |
263 | lib/swi-prolog-${PKGVERSION}/library/checkselect.pl | 282 | lib/swi-prolog-${PKGVERSION}/library/checkselect.pl | |
264 | lib/swi-prolog-${PKGVERSION}/library/clp/bounds.pl | 283 | lib/swi-prolog-${PKGVERSION}/library/clp/bounds.pl | |
265 | lib/swi-prolog-${PKGVERSION}/library/clp/clp_distinct.pl | 284 | lib/swi-prolog-${PKGVERSION}/library/clp/clp_distinct.pl | |
266 | lib/swi-prolog-${PKGVERSION}/library/clp/clp_events.pl | 285 | lib/swi-prolog-${PKGVERSION}/library/clp/clp_events.pl | |
286 | lib/swi-prolog-${PKGVERSION}/library/clp/clpb.pl | |||
267 | lib/swi-prolog-${PKGVERSION}/library/clp/clpfd.pl | 287 | lib/swi-prolog-${PKGVERSION}/library/clp/clpfd.pl | |
268 | lib/swi-prolog-${PKGVERSION}/library/clp/simplex.pl | 288 | lib/swi-prolog-${PKGVERSION}/library/clp/simplex.pl | |
269 | lib/swi-prolog-${PKGVERSION}/library/codesio.pl | 289 | lib/swi-prolog-${PKGVERSION}/library/codesio.pl | |
270 | lib/swi-prolog-${PKGVERSION}/library/coinduction.pl | 290 | lib/swi-prolog-${PKGVERSION}/library/coinduction.pl | |
271 | lib/swi-prolog-${PKGVERSION}/library/console_input.pl | 291 | lib/swi-prolog-${PKGVERSION}/library/console_input.pl | |
272 | lib/swi-prolog-${PKGVERSION}/library/csv.pl | 292 | lib/swi-prolog-${PKGVERSION}/library/csv.pl | |
273 | lib/swi-prolog-${PKGVERSION}/library/ctypes.pl | 293 | lib/swi-prolog-${PKGVERSION}/library/ctypes.pl | |
274 | lib/swi-prolog-${PKGVERSION}/library/date.pl | 294 | lib/swi-prolog-${PKGVERSION}/library/date.pl | |
275 | lib/swi-prolog-${PKGVERSION}/library/dcg/basics.pl | 295 | lib/swi-prolog-${PKGVERSION}/library/dcg/basics.pl | |
276 | lib/swi-prolog-${PKGVERSION}/library/debug.pl | 296 | lib/swi-prolog-${PKGVERSION}/library/debug.pl | |
277 | lib/swi-prolog-${PKGVERSION}/library/dialect.pl | 297 | lib/swi-prolog-${PKGVERSION}/library/dialect.pl | |
278 | lib/swi-prolog-${PKGVERSION}/library/dialect/bim.pl | 298 | lib/swi-prolog-${PKGVERSION}/library/dialect/bim.pl | |
279 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao.pl | |||
280 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/aggregates.pl | |||
281 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/assertions.pl | |||
282 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/basicmodes.pl | |||
283 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/classic.pl | |||
284 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/dcg.pl | |||
285 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/attributes.pl | |||
286 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/basic_props.pl | |||
287 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/basiccontrol.pl | |||
288 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/exceptions.pl | |||
289 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/exceptions_db.pl | |||
290 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/hiord_rt.pl | |||
291 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/internals.pl | |||
292 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/engine/io_aux.pl | |||
293 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/file_utils.pl | |||
294 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/format.pl | |||
295 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/freeze.pl | |||
296 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/hiord.pl | |||
297 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/hiordlib.pl | |||
298 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/iso_misc.pl | |||
299 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/isomodes.pl | |||
300 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/lists.pl | |||
301 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/llists.pl | |||
302 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/nativeprops.pl | |||
303 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/nortchecks.pl | |||
304 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/odd.pl | |||
305 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/prolog_flags.pl | |||
306 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/read.pl | |||
307 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/regtypes.pl | |||
308 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/regtypes/regtypes_tr.pl | |||
309 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/sockets.pl | |||
310 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/sort.pl | |||
311 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/streams.pl | |||
312 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/strings.pl | |||
313 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/system.pl | |||
314 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms.pl | |||
315 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms_check.pl | |||
316 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/terms_vars.pl | |||
317 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/unittestdecls.pl | |||
318 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/unittestprops.pl | |||
319 | lib/swi-prolog-${PKGVERSION}/library/dialect/ciao/write.pl | |||
320 | lib/swi-prolog-${PKGVERSION}/library/dialect/commons.pl | 299 | lib/swi-prolog-${PKGVERSION}/library/dialect/commons.pl | |
300 | lib/swi-prolog-${PKGVERSION}/library/dialect/eclipse/test_util_iso.pl | |||
321 | lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog.pl | 301 | lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog.pl | |
322 | lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog/format.pl | 302 | lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog/format.pl | |
323 | lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog.pl | 303 | lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog.pl | |
324 | lib/swi-prolog-${PKGVERSION}/library/dialect/iso/iso_predicates.pl | 304 | lib/swi-prolog-${PKGVERSION}/library/dialect/iso/iso_predicates.pl | |
325 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus.pl | 305 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus.pl | |
326 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/arrays.pl | 306 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/arrays.pl | |
327 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/block.pl | 307 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/block.pl | |
328 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/lists.pl | 308 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/lists.pl | |
329 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/sockets.pl | 309 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/sockets.pl | |
330 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/swipl-lfr.pl | 310 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/swipl-lfr.pl | |
331 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/system.pl | 311 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/system.pl | |
332 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/terms.pl | 312 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/terms.pl | |
333 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/timeout.pl | 313 | lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/timeout.pl | |
334 | lib/swi-prolog-${PKGVERSION}/library/dialect/swi/syspred_options.pl | 314 | lib/swi-prolog-${PKGVERSION}/library/dialect/swi/syspred_options.pl | |
335 | lib/swi-prolog-${PKGVERSION}/library/dialect/yap.pl | 315 | lib/swi-prolog-${PKGVERSION}/library/dialect/yap.pl | |
336 | lib/swi-prolog-${PKGVERSION}/library/dialect/yap/README.TXT | 316 | lib/swi-prolog-${PKGVERSION}/library/dialect/yap/README.TXT | |
317 | lib/swi-prolog-${PKGVERSION}/library/dicts.pl | |||
337 | lib/swi-prolog-${PKGVERSION}/library/dif.pl | 318 | lib/swi-prolog-${PKGVERSION}/library/dif.pl | |
338 | lib/swi-prolog-${PKGVERSION}/library/edinburgh.pl | 319 | lib/swi-prolog-${PKGVERSION}/library/edinburgh.pl | |
339 | lib/swi-prolog-${PKGVERSION}/library/edit.pl | 320 | lib/swi-prolog-${PKGVERSION}/library/edit.pl | |
340 | lib/swi-prolog-${PKGVERSION}/library/error.pl | 321 | lib/swi-prolog-${PKGVERSION}/library/error.pl | |
341 | lib/swi-prolog-${PKGVERSION}/library/explain.pl | 322 | lib/swi-prolog-${PKGVERSION}/library/explain.pl | |
342 | lib/swi-prolog-${PKGVERSION}/library/fastrw.pl | 323 | lib/swi-prolog-${PKGVERSION}/library/fastrw.pl | |
343 | lib/swi-prolog-${PKGVERSION}/library/files.pl | 324 | lib/swi-prolog-${PKGVERSION}/library/files.pl | |
344 | lib/swi-prolog-${PKGVERSION}/library/gensym.pl | 325 | lib/swi-prolog-${PKGVERSION}/library/gensym.pl | |
345 | lib/swi-prolog-${PKGVERSION}/library/git.pl | 326 | lib/swi-prolog-${PKGVERSION}/library/git.pl | |
346 | lib/swi-prolog-${PKGVERSION}/library/heaps.pl | 327 | lib/swi-prolog-${PKGVERSION}/library/heaps.pl | |
347 | lib/swi-prolog-${PKGVERSION}/library/help.pl | 328 | lib/swi-prolog-${PKGVERSION}/library/help.pl | |
348 | lib/swi-prolog-${PKGVERSION}/library/helpidx.pl | 329 | lib/swi-prolog-${PKGVERSION}/library/helpidx.pl | |
349 | lib/swi-prolog-${PKGVERSION}/library/hotfix.pl | 330 | lib/swi-prolog-${PKGVERSION}/library/hotfix.pl | |
331 | lib/swi-prolog-${PKGVERSION}/library/iostream.pl | |||
332 | lib/swi-prolog-${PKGVERSION}/library/lazy_lists.pl | |||
350 | lib/swi-prolog-${PKGVERSION}/library/listing.pl | 333 | lib/swi-prolog-${PKGVERSION}/library/listing.pl | |
351 | lib/swi-prolog-${PKGVERSION}/library/lists.pl | 334 | lib/swi-prolog-${PKGVERSION}/library/lists.pl | |
352 | lib/swi-prolog-${PKGVERSION}/library/main.pl | 335 | lib/swi-prolog-${PKGVERSION}/library/main.pl | |
353 | lib/swi-prolog-${PKGVERSION}/library/make.pl | 336 | lib/swi-prolog-${PKGVERSION}/library/make.pl | |
337 | lib/swi-prolog-${PKGVERSION}/library/modules.pl | |||
354 | lib/swi-prolog-${PKGVERSION}/library/nb_rbtrees.pl | 338 | lib/swi-prolog-${PKGVERSION}/library/nb_rbtrees.pl | |
355 | lib/swi-prolog-${PKGVERSION}/library/nb_set.pl | 339 | lib/swi-prolog-${PKGVERSION}/library/nb_set.pl | |
356 | lib/swi-prolog-${PKGVERSION}/library/occurs.pl | 340 | lib/swi-prolog-${PKGVERSION}/library/occurs.pl | |
357 | lib/swi-prolog-${PKGVERSION}/library/operators.pl | 341 | lib/swi-prolog-${PKGVERSION}/library/operators.pl | |
358 | lib/swi-prolog-${PKGVERSION}/library/option.pl | 342 | lib/swi-prolog-${PKGVERSION}/library/option.pl | |
359 | lib/swi-prolog-${PKGVERSION}/library/optparse.pl | 343 | lib/swi-prolog-${PKGVERSION}/library/optparse.pl | |
360 | lib/swi-prolog-${PKGVERSION}/library/ordsets.pl | 344 | lib/swi-prolog-${PKGVERSION}/library/ordsets.pl | |
361 | lib/swi-prolog-${PKGVERSION}/library/oset.pl | 345 | lib/swi-prolog-${PKGVERSION}/library/oset.pl | |
362 | lib/swi-prolog-${PKGVERSION}/library/pairs.pl | 346 | lib/swi-prolog-${PKGVERSION}/library/pairs.pl | |
363 | lib/swi-prolog-${PKGVERSION}/library/persistency.pl | 347 | lib/swi-prolog-${PKGVERSION}/library/persistency.pl | |
364 | lib/swi-prolog-${PKGVERSION}/library/pio.pl | 348 | lib/swi-prolog-${PKGVERSION}/library/pio.pl | |
365 | lib/swi-prolog-${PKGVERSION}/library/portray_text.pl | 349 | lib/swi-prolog-${PKGVERSION}/library/portray_text.pl | |
350 | lib/swi-prolog-${PKGVERSION}/library/pprint.pl | |||
366 | lib/swi-prolog-${PKGVERSION}/library/predicate_options.pl | 351 | lib/swi-prolog-${PKGVERSION}/library/predicate_options.pl | |
367 | lib/swi-prolog-${PKGVERSION}/library/prolog_autoload.pl | 352 | lib/swi-prolog-${PKGVERSION}/library/prolog_autoload.pl | |
368 | lib/swi-prolog-${PKGVERSION}/library/prolog_breakpoints.pl | 353 | lib/swi-prolog-${PKGVERSION}/library/prolog_breakpoints.pl | |
369 | lib/swi-prolog-${PKGVERSION}/library/prolog_clause.pl | 354 | lib/swi-prolog-${PKGVERSION}/library/prolog_clause.pl | |
370 | lib/swi-prolog-${PKGVERSION}/library/prolog_codewalk.pl | 355 | lib/swi-prolog-${PKGVERSION}/library/prolog_codewalk.pl | |
371 | lib/swi-prolog-${PKGVERSION}/library/prolog_colour.pl | 356 | lib/swi-prolog-${PKGVERSION}/library/prolog_colour.pl | |
357 | lib/swi-prolog-${PKGVERSION}/library/prolog_format.pl | |||
372 | lib/swi-prolog-${PKGVERSION}/library/prolog_history.pl | 358 | lib/swi-prolog-${PKGVERSION}/library/prolog_history.pl | |
359 | lib/swi-prolog-${PKGVERSION}/library/prolog_install.pl | |||
360 | lib/swi-prolog-${PKGVERSION}/library/prolog_jiti.pl | |||
373 | lib/swi-prolog-${PKGVERSION}/library/prolog_metainference.pl | 361 | lib/swi-prolog-${PKGVERSION}/library/prolog_metainference.pl | |
374 | lib/swi-prolog-${PKGVERSION}/library/prolog_pack.pl | 362 | lib/swi-prolog-${PKGVERSION}/library/prolog_pack.pl | |
375 | lib/swi-prolog-${PKGVERSION}/library/prolog_source.pl | 363 | lib/swi-prolog-${PKGVERSION}/library/prolog_source.pl | |
376 | lib/swi-prolog-${PKGVERSION}/library/prolog_stack.pl | 364 | lib/swi-prolog-${PKGVERSION}/library/prolog_stack.pl | |
377 | lib/swi-prolog-${PKGVERSION}/library/prolog_xref.pl | 365 | lib/swi-prolog-${PKGVERSION}/library/prolog_xref.pl | |
378 | lib/swi-prolog-${PKGVERSION}/library/pure_input.pl | 366 | lib/swi-prolog-${PKGVERSION}/library/pure_input.pl | |
379 | lib/swi-prolog-${PKGVERSION}/library/qpforeign.pl | 367 | lib/swi-prolog-${PKGVERSION}/library/qpforeign.pl | |
380 | lib/swi-prolog-${PKGVERSION}/library/qsave.pl | 368 | lib/swi-prolog-${PKGVERSION}/library/qsave.pl | |
381 | lib/swi-prolog-${PKGVERSION}/library/quasi_quotations.pl | 369 | lib/swi-prolog-${PKGVERSION}/library/quasi_quotations.pl | |
382 | lib/swi-prolog-${PKGVERSION}/library/quintus.pl | 370 | lib/swi-prolog-${PKGVERSION}/library/quintus.pl | |
383 | lib/swi-prolog-${PKGVERSION}/library/random.pl | 371 | lib/swi-prolog-${PKGVERSION}/library/random.pl | |
384 | lib/swi-prolog-${PKGVERSION}/library/rbtrees.pl | 372 | lib/swi-prolog-${PKGVERSION}/library/rbtrees.pl | |
385 | lib/swi-prolog-${PKGVERSION}/library/readln.pl | 373 | lib/swi-prolog-${PKGVERSION}/library/readln.pl | |
386 | lib/swi-prolog-${PKGVERSION}/library/readutil.pl | 374 | lib/swi-prolog-${PKGVERSION}/library/readutil.pl | |
387 | lib/swi-prolog-${PKGVERSION}/library/record.pl | 375 | lib/swi-prolog-${PKGVERSION}/library/record.pl | |
388 | lib/swi-prolog-${PKGVERSION}/library/sandbox.pl | 376 | lib/swi-prolog-${PKGVERSION}/library/sandbox.pl | |
389 | lib/swi-prolog-${PKGVERSION}/library/settings.pl | 377 | lib/swi-prolog-${PKGVERSION}/library/settings.pl | |
390 | lib/swi-prolog-${PKGVERSION}/library/shell.pl | 378 | lib/swi-prolog-${PKGVERSION}/library/shell.pl | |
391 | lib/swi-prolog-${PKGVERSION}/library/shlib.pl | 379 | lib/swi-prolog-${PKGVERSION}/library/shlib.pl | |
380 | lib/swi-prolog-${PKGVERSION}/library/solution_sequences.pl | |||
392 | lib/swi-prolog-${PKGVERSION}/library/sort.pl | 381 | lib/swi-prolog-${PKGVERSION}/library/sort.pl | |
393 | lib/swi-prolog-${PKGVERSION}/library/statistics.pl | 382 | lib/swi-prolog-${PKGVERSION}/library/statistics.pl | |
394 | lib/swi-prolog-${PKGVERSION}/library/system.pl | 383 | lib/swi-prolog-${PKGVERSION}/library/system.pl | |
384 | lib/swi-prolog-${PKGVERSION}/library/tabling.pl | |||
395 | lib/swi-prolog-${PKGVERSION}/library/terms.pl | 385 | lib/swi-prolog-${PKGVERSION}/library/terms.pl | |
396 | lib/swi-prolog-${PKGVERSION}/library/thread.pl | 386 | lib/swi-prolog-${PKGVERSION}/library/thread.pl | |
397 | lib/swi-prolog-${PKGVERSION}/library/thread_pool.pl | 387 | lib/swi-prolog-${PKGVERSION}/library/thread_pool.pl | |
398 | lib/swi-prolog-${PKGVERSION}/library/threadutil.pl | 388 | lib/swi-prolog-${PKGVERSION}/library/threadutil.pl | |
399 | lib/swi-prolog-${PKGVERSION}/library/tty.pl | 389 | lib/swi-prolog-${PKGVERSION}/library/tty.pl | |
400 | lib/swi-prolog-${PKGVERSION}/library/ugraphs.pl | 390 | lib/swi-prolog-${PKGVERSION}/library/ugraphs.pl | |
401 | lib/swi-prolog-${PKGVERSION}/library/unicode/blocks.pl | 391 | lib/swi-prolog-${PKGVERSION}/library/unicode/blocks.pl | |
402 | lib/swi-prolog-${PKGVERSION}/library/unicode/unicode_data.pl | 392 | lib/swi-prolog-${PKGVERSION}/library/unicode/unicode_data.pl | |
403 | lib/swi-prolog-${PKGVERSION}/library/url.pl | 393 | lib/swi-prolog-${PKGVERSION}/library/url.pl | |
404 | lib/swi-prolog-${PKGVERSION}/library/utf8.pl | 394 | lib/swi-prolog-${PKGVERSION}/library/utf8.pl | |
405 | lib/swi-prolog-${PKGVERSION}/library/varnumbers.pl | 395 | lib/swi-prolog-${PKGVERSION}/library/varnumbers.pl | |
406 | lib/swi-prolog-${PKGVERSION}/library/vm.pl | 396 | lib/swi-prolog-${PKGVERSION}/library/vm.pl | |
407 | lib/swi-prolog-${PKGVERSION}/library/when.pl | 397 | lib/swi-prolog-${PKGVERSION}/library/when.pl | |
408 | lib/swi-prolog-${PKGVERSION}/library/win_menu.pl | 398 | lib/swi-prolog-${PKGVERSION}/library/win_menu.pl | |
409 | lib/swi-prolog-${PKGVERSION}/library/writef.pl | 399 | lib/swi-prolog-${PKGVERSION}/library/writef.pl | |
410 | lib/swi-prolog-${PKGVERSION}/library/www_browser.pl | 400 | lib/swi-prolog-${PKGVERSION}/library/www_browser.pl | |
401 | lib/swi-prolog-${PKGVERSION}/library/yall.pl | |||
411 | lib/swi-prolog-${PKGVERSION}/swipl.home | 402 | lib/swi-prolog-${PKGVERSION}/swipl.home | |
412 | man/man1/swi-prolog.1 | 403 | man/man1/swi-prolog.1 | |
413 | man/man1/swipl-ld.1 | 404 | man/man1/swipl-ld.1 | |
414 | man/man1/swipl-rc.1 | 405 | man/man1/swipl-rc.1 | |
415 | @pkgdir lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog | 406 | @pkgdir lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog |
@@ -1,17 +1,14 @@ | @@ -1,17 +1,14 @@ | |||
1 | # $NetBSD: buildlink3.mk,v 1.12 2015/08/18 07:31:01 wiz Exp $ | 1 | # $NetBSD: buildlink3.mk,v 1.13 2018/12/10 14:59:50 leot Exp $ | |
2 | 2 | |||
3 | BUILDLINK_TREE+= swi-prolog-lite | 3 | BUILDLINK_TREE+= swi-prolog-lite | |
4 | 4 | |||
5 | .if !defined(SWI_PROLOG_LITE_BUILDLINK3_MK) | 5 | .if !defined(SWI_PROLOG_LITE_BUILDLINK3_MK) | |
6 | SWI_PROLOG_LITE_BUILDLINK3_MK:= | 6 | SWI_PROLOG_LITE_BUILDLINK3_MK:= | |
7 | 7 | |||
8 | BUILDLINK_API_DEPENDS.swi-prolog-lite+= swi-prolog-lite>=5.2.9 | 8 | BUILDLINK_API_DEPENDS.swi-prolog-lite+= swi-prolog-lite>=5.2.9 | |
9 | BUILDLINK_ABI_DEPENDS.swi-prolog-lite+= swi-prolog-lite>=6.6.6nb2 | 9 | BUILDLINK_ABI_DEPENDS.swi-prolog-lite+= swi-prolog-lite>=6.6.6nb2 | |
10 | BUILDLINK_PKGSRCDIR.swi-prolog-lite?= ../../lang/swi-prolog-lite | 10 | BUILDLINK_PKGSRCDIR.swi-prolog-lite?= ../../lang/swi-prolog-lite | |
11 | 11 | |||
12 | .include "../../devel/ncurses/buildlink3.mk" | |||
13 | .include "../../devel/readline/buildlink3.mk" | |||
14 | #.include "../../devel/gmp/buildlink3.mk" ? | |||
15 | .endif # SWI_PROLOG_LITE_BUILDLINK3_MK | 12 | .endif # SWI_PROLOG_LITE_BUILDLINK3_MK | |
16 | 13 | |||
17 | BUILDLINK_TREE+= -swi-prolog-lite | 14 | BUILDLINK_TREE+= -swi-prolog-lite |
@@ -1,10 +1,13 @@ | @@ -1,10 +1,13 @@ | |||
1 | $NetBSD: distinfo,v 1.21 2015/12/29 23:34:56 dholland Exp $ | 1 | $NetBSD: distinfo,v 1.22 2018/12/10 14:59:50 leot Exp $ | |
2 | 2 | |||
3 | SHA1 (swi-prolog/pl-6.6.6.tar.gz) = 38cc6772a48fd412f50fc06e24e6e4673eb71d3b | 3 | SHA1 (swi-prolog/swipl-7.6.4.tar.gz) = 655acec1abb62a2d09edc85f52a08101a9665379 | |
4 | RMD160 (swi-prolog/pl-6.6.6.tar.gz) = 0bb257d261189f09fe1a49262ce0f03774a6e8f5 | 4 | RMD160 (swi-prolog/swipl-7.6.4.tar.gz) = 26e4358d277761380298d9e8c189e9aa1147609c | |
5 | SHA512 (swi-prolog/pl-6.6.6.tar.gz) = a850b0f6b283d34aa77d5e9d8a0053161fa534fa6d8935c7472362ff7b59ea6035de0658d9e38c317e2d92ed810370f2adc3e92b6346fc0ff392d18f1c8012a6 | 5 | SHA512 (swi-prolog/swipl-7.6.4.tar.gz) = f0ed16e4f1436115651c38a0bb37008d0dadad5a19b0f09894fcfc51dd3d429f86488e89cce00788c3c36cc2f0cd2957f92df47d5441133a6f8ea9d91ca5470f | |
6 | Size (swi-prolog/pl-6.6.6.tar.gz) = 14838653 bytes | 6 | Size (swi-prolog/swipl-7.6.4.tar.gz) = 16777875 bytes | |
7 | SHA1 (patch-ad) = a6c0b88f4e2f2a26ba1f2e56eb620d8a467f939f | 7 | SHA1 (patch-ad) = f5e7ec0cce757963e021539a397af387eff5cf8f | |
8 | SHA1 (patch-packages_Dialect.defs.in) = f75ceac51bae428a81ba2001d39d8408ccb099f9 | 8 | SHA1 (patch-packages_Dialect.defs.in) = 7ef29c29efc62e9162c53e88efc1f3e9ec987198 | |
9 | SHA1 (patch-packages_clib_sha1_brg_endian.h) = e7bc21953cedafce67e0070b9ec326446bf474fa | 9 | SHA1 (patch-packages_clib_sha1_brg_endian.h) = e7bc21953cedafce67e0070b9ec326446bf474fa | |
10 | SHA1 (patch-src_os_pl-files.c) = 222a9a4682808fc62e410b01f38e31c4dcc62f53 | |||
10 | SHA1 (patch-src_pl-funcs.h) = fd821e245ca49a42e595096d05a21ee20d25c41c | 11 | SHA1 (patch-src_pl-funcs.h) = fd821e245ca49a42e595096d05a21ee20d25c41c | |
12 | SHA1 (patch-src_pl-rsort.c) = 233430c9ead3e1361f40ae541d0527408a141d6e | |||
13 | SHA1 (patch-src_pl-thread.c) = d45bb808e8fc80ab0766720415677328bd9bee1c |
@@ -1,15 +1,19 @@ | @@ -1,15 +1,19 @@ | |||
1 | $NetBSD: patch-ad,v 1.5 2014/05/28 10:29:12 markd Exp $ | 1 | $NetBSD: patch-ad,v 1.6 2018/12/10 14:59:50 leot Exp $ | |
2 | 2 | |||
3 | Split install target. | 3 | Split install target. | |
4 | 4 | |||
5 | --- packages/Makefile.in.orig 2014-04-25 14:06:38.000000000 +0000 | 5 | --- packages/Makefile.in.orig 2018-01-12 12:04:38.000000000 +0000 | |
6 | +++ packages/Makefile.in | 6 | +++ packages/Makefile.in | |
7 | @@ -91,6 +91,8 @@ install:: | 7 | @@ -112,9 +112,11 @@ install:: | |
8 | for p in $(PKG); do \ | 8 | $(MAKE) -C $$p $@ || echo $$p >> .failed.$@; \ | |
9 | if [ -r $$p/Makefile ]; then $(MAKE) -C $$p $@ || exit 1; fi; \ | 9 | fi; \ | |
10 | done | 10 | done | |
11 | + | 11 | - $(FORCE_MKINDEX) | |
12 | +post-install:: | 12 | $(END_FORPKG) | |
13 | $(FORCE_MKINDEX) | |||
14 | 13 | |||
14 | +post-install:: | |||
15 | + $(FORCE_MKINDEX) | |||
16 | + | |||
15 | rpm-install: html-install | 17 | rpm-install: html-install | |
18 | $(BEGIN_FORPKG) | |||
19 | for p in $(PKG); do \ |
@@ -1,22 +1,15 @@ | @@ -1,22 +1,15 @@ | |||
1 | $NetBSD: patch-packages_Dialect.defs.in,v 1.1 2014/05/28 10:29:12 markd Exp $ | 1 | $NetBSD: patch-packages_Dialect.defs.in,v 1.2 2018/12/10 14:59:50 leot Exp $ | |
2 | ||||
3 | Adjust LDFLAGS to link with installed libraries. | |||
2 | 4 | |||
3 | --- packages/Dialect.defs.in.orig 2014-05-27 12:23:38.000000000 +0000 | 5 | --- packages/Dialect.defs.in.orig 2014-05-27 12:23:38.000000000 +0000 | |
4 | +++ packages/Dialect.defs.in | 6 | +++ packages/Dialect.defs.in | |
5 | @@ -44,7 +44,7 @@ SO=@SO_EXT@ | |||
6 | SO_PATH=@SO_PATH@ | |||
7 | COFLAGS=@COFLAGS@ | |||
8 | CWFLAGS=@CWFLAGS@ | |||
9 | -CMFLAGS=@CMFLAGS@ | |||
10 | +CMFLAGS=@CMFLAGS@ -fPIC | |||
11 | CIFLAGS=@CIFLAGS@ -I@abs_top_builddir@/../include | |||
12 | DEFS=@DEFS@ -D__SWI_PROLOG__ | |||
13 | CFLAGS=$(COFLAGS) $(CWFLAGS) $(CMFLAGS) $(CIFLAGS) $(PKGCFLAGS) $(DEFS) | |||
14 | @@ -57,7 +57,7 @@ else | 7 | @@ -57,7 +57,7 @@ else | |
15 | LIBPLSO=$(LIBPLEMBED) | 8 | LIBPLSO=$(LIBPLEMBED) | |
16 | endif | 9 | endif | |
17 | 10 | |||
18 | -PLLDFLAGS=@LDFLAGS@ -L@abs_top_builddir@/../lib/$(PLARCH) | 11 | -PLLDFLAGS=@LDFLAGS@ -L@abs_top_builddir@/../lib/$(PLARCH) | |
19 | +PLLDFLAGS=@LDFLAGS@ -L$(PLBASE)/lib/$(PLARCH) | 12 | +PLLDFLAGS=@LDFLAGS@ -L$(PLBASE)/lib/$(PLARCH) | |
20 | LDSOFLAGS=@SO_LDFLAGS@ $(PLLDFLAGS) $(PKGLDFLAGS) | 13 | LDSOFLAGS=@SO_LDFLAGS@ $(PLLDFLAGS) $(PKGLDFLAGS) | |
21 | LDFLAGS=$(PLLDFLAGS) $(PKGLDFLAGS) | 14 | LDFLAGS=$(PLLDFLAGS) $(PKGLDFLAGS) | |
22 | 15 |
$NetBSD: patch-src_os_pl-files.c,v 1.1 2018/12/10 14:59:50 leot Exp $
Avoid overlapping `src' and `dst' in strcpy(3).
This is reproducible via:
% ln -s `which swi-prolog` swipl-l
% ./swipl-l
...and was also triggered similarly as part of building swi-prolog-packages.
--- src/os/pl-files.c.orig 2018-01-12 12:04:38.000000000 +0000
+++ src/os/pl-files.c
@@ -273,6 +273,7 @@ ReadLink(const char *f, char *buf)
static char *
DeRefLink1(const char *f, char *lbuf)
{ char buf[MAXPATHLEN];
+ char tmpbuf[MAXPATHLEN];
char *l;
if ( (l=ReadLink(f, buf)) )
@@ -282,13 +283,14 @@ DeRefLink1(const char *f, char *lbuf)
} else
{ char *q;
- strcpy(lbuf, f);
- q = &lbuf[strlen(lbuf)];
- while(q>lbuf && q[-1] != '/')
+ strcpy(tmpbuf, f);
+ q = &tmpbuf[strlen(tmpbuf)];
+ while(q>tmpbuf && q[-1] != '/')
q--;
strcpy(q, l);
- canonicaliseFileName(lbuf);
+ canonicaliseFileName(tmpbuf);
+ strcpy(lbuf, tmpbuf);
return lbuf;
}
$NetBSD: patch-src_pl-rsort.c,v 1.1 2018/12/10 14:59:50 leot Exp $
Use FreeBSD qsort_r(3) if not available instead of using nested
functions.
--- src/pl-rsort.c.orig 2018-01-12 12:04:38.000000000 +0000
+++ src/pl-rsort.c
@@ -65,43 +65,177 @@ from pl-list.c.
#if !defined(HAVE_QSORT_R) && !defined(HAVE_QSORT_S)
-#ifdef QSORT_R_WITH_NESTED_FUNCTIONS
+/*-
+ * SPDX-License-Identifier: BSD-3-Clause
+ *
+ * Copyright (c) 1992, 1993
+ * The Regents of the University of California. All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ * 3. Neither the name of the University nor the names of its contributors
+ * may be used to endorse or promote products derived from this software
+ * without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+ * SUCH DAMAGE.
+ */
+
+typedef int cmp_t(void *, const void *, const void *);
+static inline char *med3(char *, char *, char *, cmp_t *, void *);
+
+#define MIN(a, b) ((a) < (b) ? a : b)
+
+/*
+ * Qsort routine from Bentley & McIlroy's "Engineering a Sort Function".
+ */
-void
-sort_r(void *base, size_t nel, size_t width,
- int (*compar)(const void *a1, const void *a2, void *aarg), void *arg)
-{ int nested_cmp(const void *a, const void *b)
- {
- return compar(a, b, arg);
- }
+static inline void
+swapfunc(char *a, char *b, size_t es)
+{
+ char t;
- qsort(base, nel, width, nested_cmp);
+ do {
+ t = *a;
+ *a++ = *b;
+ *b++ = t;
+ } while (--es > 0);
}
-#else
+#define vecswap(a, b, n) \
+ if ((n) > 0) swapfunc(a, b, n)
-static void *sort_r_ctx;
-static int (*sort_r_compar)(const void *a1, const void *a2, void *aarg);
+#define CMP(t, x, y) (cmp((t), (x), (y)))
-int
-nested_cmp(const void *a, const void *b)
-{ return (*sort_r_compar)(a, b, sort_r_ctx);
+static inline char *
+med3(char *a, char *b, char *c, cmp_t *cmp, void *thunk
+)
+{
+ return CMP(thunk, a, b) < 0 ?
+ (CMP(thunk, b, c) < 0 ? b : (CMP(thunk, a, c) < 0 ? c : a ))
+ :(CMP(thunk, b, c) > 0 ? b : (CMP(thunk, a, c) < 0 ? a : c ));
}
void
-sort_r(void *base, size_t nel, size_t width,
- int (*compar)(const void *a1, const void *a2, void *aarg), void *arg)
-{ PL_LOCK(L_SORTR);
- sort_r_ctx = arg;
- sort_r_compar = compar;
-
- qsort(base, nel, width, nested_cmp);
- PL_UNLOCK(L_SORTR);
+qsort_r(void *a, size_t n, size_t es, void *thunk, cmp_t *cmp)
+{
+ char *pa, *pb, *pc, *pd, *pl, *pm, *pn;
+ size_t d1, d2;
+ int cmp_result;
+ int swap_cnt;
+
+loop:
+ swap_cnt = 0;
+ if (n < 7) {
+ for (pm = (char *)a + es; pm < (char *)a + n * es; pm += es)
+ for (pl = pm;
+ pl > (char *)a && CMP(thunk, pl - es, pl) > 0;
+ pl -= es)
+ swapfunc(pl, pl - es, es);
+ return;
+ }
+ pm = (char *)a + (n / 2) * es;
+ if (n > 7) {
+ pl = a;
+ pn = (char *)a + (n - 1) * es;
+ if (n > 40) {
+ size_t d = (n / 8) * es;
+
+ pl = med3(pl, pl + d, pl + 2 * d, cmp, thunk);
+ pm = med3(pm - d, pm, pm + d, cmp, thunk);
+ pn = med3(pn - 2 * d, pn - d, pn, cmp, thunk);
+ }
+ pm = med3(pl, pm, pn, cmp, thunk);
+ }
+ swapfunc(a, pm, es);
+ pa = pb = (char *)a + es;
+
+ pc = pd = (char *)a + (n - 1) * es;
+ for (;;) {
+ while (pb <= pc && (cmp_result = CMP(thunk, pb, a)) <= 0) {
+ if (cmp_result == 0) {
+ swap_cnt = 1;
+ swapfunc(pa, pb, es);
+ pa += es;
+ }
+ pb += es;
+ }
+ while (pb <= pc && (cmp_result = CMP(thunk, pc, a)) >= 0) {
+ if (cmp_result == 0) {
+ swap_cnt = 1;
+ swapfunc(pc, pd, es);
+ pd -= es;
+ }
+ pc -= es;
+ }
+ if (pb > pc)
+ break;
+ swapfunc(pb, pc, es);
+ swap_cnt = 1;
+ pb += es;
+ pc -= es;
+ }
+ if (swap_cnt == 0) { /* Switch to insertion sort */
+ for (pm = (char *)a + es; pm < (char *)a + n * es; pm += es)
+ for (pl = pm;
+ pl > (char *)a && CMP(thunk, pl - es, pl) > 0;
+ pl -= es)
+ swapfunc(pl, pl - es, es);
+ return;
+ }
+
+ pn = (char *)a + n * es;
+ d1 = MIN(pa - (char *)a, pb - pa);
+ vecswap(a, pb - d1, d1);
+ d1 = MIN(pd - pc, pn - pd - es);
+ vecswap(pb, pn - d1, d1);
+
+ d1 = pb - pa;
+ d2 = pd - pc;
+ if (d1 <= d2) {
+ /* Recurse on left partition, then iterate on right partition */
+ if (d1 > es) {
+ qsort_r(a, d1 / es, es, thunk, cmp);
+ }
+ if (d2 > es) {
+ /* Iterate rather than recurse to save stack space */
+ /* qsort(pn - d2, d2 / es, es, cmp); */
+ a = pn - d2;
+ n = d2 / es;
+ goto loop;
+ }
+ } else {
+ /* Recurse on right partition, then iterate on left partition */
+ if (d2 > es) {
+ qsort_r(pn - d2, d2 / es, es, thunk, cmp);
+ }
+ if (d1 > es) {
+ /* Iterate rather than recurse to save stack space */
+ /* qsort(a, d1 / es, es, cmp); */
+ n = d1 / es;
+ goto loop;
+ }
+ }
}
-#endif
+#define HAVE_QSORT_R
-#else /*HAVE_QSORT_R|HAVE_QSORT_S*/
+#endif /* !defined(HAVE_QSORT_R) && !defined(HAVE_QSORT_S) */
#ifndef QSORT_R_GNU
struct sort_r_data
@@ -132,6 +266,3 @@ sort_r(void *base, size_t nel, size_t wi
qsort_s(base, nel, width, &sort_r_arg_swap, &tmp);
#endif
}
-
-#endif /*HAVE_QSORT_R|HAVE_QSORT_S*/
-
$NetBSD: patch-src_pl-thread.c,v 1.1 2018/12/10 14:59:50 leot Exp $
Add support for NetBSD pthread_setname_np(3).
--- src/pl-thread.c.orig 2018-01-12 12:04:38.000000000 +0000
+++ src/pl-thread.c
@@ -1635,10 +1635,15 @@ set_os_thread_name_from_charp(const char
if ( pthread_setname_np(name) == 0 )
return TRUE;
#else
+#if defined(__NetBSD__)
+ if ( pthread_setname_np(pthread_self(), "%s", (void *)name) == 0 )
+ return TRUE;
+#else
if ( pthread_setname_np(pthread_self(), name) == 0 )
return TRUE;
#endif
#endif
+#endif
return FALSE;
}
@@ -1,16 +1,15 @@ | @@ -1,16 +1,15 @@ | |||
1 | # $NetBSD: Makefile,v 1.50 2018/12/09 21:05:33 adam Exp $ | 1 | # $NetBSD: Makefile,v 1.51 2018/12/10 14:59:50 leot Exp $ | |
2 | 2 | |||
3 | PKGREVISION= 2 | |||
4 | .include "../../lang/swi-prolog-lite/Makefile.common" | 3 | .include "../../lang/swi-prolog-lite/Makefile.common" | |
5 | 4 | |||
6 | PKGNAME= swi-prolog-packages-${SWIPLVERS} | 5 | PKGNAME= swi-prolog-packages-${SWIPLVERS} | |
7 | 6 | |||
8 | MAINTAINER= pkgsrc-users@NetBSD.org | 7 | MAINTAINER= pkgsrc-users@NetBSD.org | |
9 | COMMENT= Packages for SWI Prolog | 8 | COMMENT= Packages for SWI Prolog | |
10 | 9 | |||
11 | GNU_CONFIGURE= yes | 10 | GNU_CONFIGURE= yes | |
12 | USE_TOOLS+= gmake pkg-config | 11 | USE_TOOLS+= gmake pkg-config | |
13 | MAKE_JOBS_SAFE= no | 12 | MAKE_JOBS_SAFE= no | |
14 | 13 | |||
15 | .include "../../mk/bsd.prefs.mk" | 14 | .include "../../mk/bsd.prefs.mk" | |
16 | 15 | |||
@@ -58,41 +57,46 @@ checkforx: | @@ -58,41 +57,46 @@ checkforx: | |||
58 | ${ECHO} $$! >${WRKDIR}/.Xvfb.pid | 57 | ${ECHO} $$! >${WRKDIR}/.Xvfb.pid | |
59 | ${ECHO} checkforx: Xvfb-PID: `${CAT} ${WRKDIR}/.Xvfb.pid` | 58 | ${ECHO} checkforx: Xvfb-PID: `${CAT} ${WRKDIR}/.Xvfb.pid` | |
60 | sleep 5 | 59 | sleep 5 | |
61 | DISPLAY= :2 | 60 | DISPLAY= :2 | |
62 | . else | 61 | . else | |
63 | @${ECHO} "Error: Environment variable DISPLAY must be set" | 62 | @${ECHO} "Error: Environment variable DISPLAY must be set" | |
64 | @${ECHO} " and point to a connectible X server." | 63 | @${ECHO} " and point to a connectible X server." | |
65 | @${FALSE} | 64 | @${FALSE} | |
66 | . endif #Xvfb | 65 | . endif #Xvfb | |
67 | .endif #DISPLAY | 66 | .endif #DISPLAY | |
68 | 67 | |||
69 | MAKE_ENV+= DISPLAY=${DISPLAY:Q} | 68 | MAKE_ENV+= DISPLAY=${DISPLAY:Q} | |
70 | 69 | |||
70 | # XXX: editline bindings seems limited and does not support completion, remove | |||
71 | # XXX: them in order to always use readline.pl. | |||
71 | post-install: teardownx | 72 | post-install: teardownx | |
73 | ${RM} ${DESTDIR}${PREFIX}/lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libedit4pl.so || ${TRUE} | |||
74 | ${RM} ${DESTDIR}${PREFIX}/lib/swi-prolog-${PKGVERSION}/library/editline.pl || ${TRUE} | |||
72 | ${RM} -f ${LOCALBASE}/lib/swi-prolog-${SWIPLVERS}/xpce-${XPCE_VERSION}/prolog/lib/.pwd | 75 | ${RM} -f ${LOCALBASE}/lib/swi-prolog-${SWIPLVERS}/xpce-${XPCE_VERSION}/prolog/lib/.pwd | |
73 | ${INSTALL_DATA} ${WRKSRC}/packages/xpce/man/xpce-client.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/xpce-client.1 | 76 | ${INSTALL_DATA} ${WRKSRC}/packages/xpce/man/xpce-client.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/xpce-client.1 | |
74 | ${INSTALL_DATA} ${WRKSRC}/packages/xpce/man/xpce.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/xpce.1 | 77 | ${INSTALL_DATA} ${WRKSRC}/packages/xpce/man/xpce.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/xpce.1 | |
78 | ||||
75 | teardownx: | 79 | teardownx: | |
76 | ${ECHO} teardownx: Xvfb-PID: `${CAT} ${WRKDIR}/.Xvfb.pid` | 80 | ${ECHO} teardownx: Xvfb-PID: `${CAT} ${WRKDIR}/.Xvfb.pid` | |
77 | sleep 5 | 81 | sleep 5 | |
78 | -kill `${CAT} ${WRKDIR}/.Xvfb.pid` | 82 | -kill `${CAT} ${WRKDIR}/.Xvfb.pid` | |
79 | ${RM} -f ${WRKDIR}/.Xvfb.pid | 83 | ${RM} -f ${WRKDIR}/.Xvfb.pid | |
80 | 84 | |||
81 | # I need this on FreeBSD, perhaps this depends on GCC behaviour: | 85 | # I need this on FreeBSD, perhaps this depends on GCC behaviour: | |
82 | CHECK_WRKREF_SKIP= lib/swi-prolog-${SWIPLVERS}/xpce-${XPCE_VERSION}/lib/${MACHINE_GNU_PLATFORM}/pl2xpce.so | 86 | CHECK_WRKREF_SKIP= lib/swi-prolog-${SWIPLVERS}/xpce-${XPCE_VERSION}/lib/${MACHINE_GNU_PLATFORM}/pl2xpce.so | |
83 | 87 | |||
84 | 88 | |||
85 | .include "../../archivers/libarchive/buildlink3.mk" | 89 | .include "../../archivers/libarchive/buildlink3.mk" | |
86 | .include "../../lang/swi-prolog-lite/buildlink3.mk" | 90 | .include "../../lang/swi-prolog-lite/buildlink3.mk" | |
87 | .include "../../mk/jpeg.buildlink3.mk" | 91 | .include "../../mk/jpeg.buildlink3.mk" | |
88 | .include "../../devel/gmp/buildlink3.mk" | 92 | .include "../../devel/gmp/buildlink3.mk" | |
89 | .include "../../devel/ncurses/buildlink3.mk" | 93 | .include "../../devel/ossp-uuid/buildlink3.mk" | |
90 | # uses rl_event_hook() interface | |||
91 | .include "../../devel/readline/buildlink3.mk" | 94 | .include "../../devel/readline/buildlink3.mk" | |
92 | .include "../../security/openssl/buildlink3.mk" | 95 | .include "../../security/openssl/buildlink3.mk" | |
93 | .include "../../x11/libXft/buildlink3.mk" | 96 | .include "../../x11/libXft/buildlink3.mk" | |
94 | .include "../../x11/libXinerama/buildlink3.mk" | 97 | .include "../../x11/libXinerama/buildlink3.mk" | |
95 | .include "../../x11/libXpm/buildlink3.mk" | 98 | .include "../../x11/libXpm/buildlink3.mk" | |
96 | .include "../../x11/libXt/buildlink3.mk" | 99 | .include "../../x11/libXt/buildlink3.mk" | |
100 | .include "../../mk/curses.buildlink3.mk" | |||
97 | .include "../../mk/pthread.buildlink3.mk" | 101 | .include "../../mk/pthread.buildlink3.mk" | |
98 | .include "../../mk/bsd.pkg.mk" | 102 | .include "../../mk/bsd.pkg.mk" |
@@ -1,60 +1,66 @@ | @@ -1,60 +1,66 @@ | |||
1 | @comment $NetBSD: PLIST,v 1.10 2014/05/28 10:29:12 markd Exp $ | 1 | @comment $NetBSD: PLIST,v 1.11 2018/12/10 14:59:50 leot Exp $ | |
2 | bin/xpce-client | 2 | bin/xpce-client | |
3 | lib/swi-prolog-${PKGVERSION}/Makefile | 3 | lib/swi-prolog-${PKGVERSION}/Makefile | |
4 | lib/swi-prolog-${PKGVERSION}/include/SWI-cpp.h | 4 | lib/swi-prolog-${PKGVERSION}/include/SWI-cpp.h | |
5 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/archive4pl.so | 5 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/archive4pl.so | |
6 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/cgi.so | 6 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/cgi.so | |
7 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/crypt.so | 7 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/crypt.so | |
8 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/crypto4pl.so | |||
8 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/double_metaphone.so | 9 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/double_metaphone.so | |
9 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/files.so | 10 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/files.so | |
11 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/hashstream.so | |||
10 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/http_stream.so | 12 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/http_stream.so | |
11 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/isub.so | 13 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/isub.so | |
12 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/json.so | 14 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/json.so | |
15 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/md54pl.so | |||
13 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/memfile.so | 16 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/memfile.so | |
14 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/mime.so | |||
15 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/ntriples.so | 17 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/ntriples.so | |
16 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/pdt_console.so | 18 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/pdt_console.so | |
17 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/pl2xpce.so | 19 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/pl2xpce.so | |
18 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/porter_stem.so | 20 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/porter_stem.so | |
19 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/process.so | 21 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/process.so | |
22 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/prolog_stream.so | |||
20 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/protobufs.so | 23 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/protobufs.so | |
21 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/rdf_db.so | 24 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/rdf_db.so | |
25 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/readline4pl.so | |||
22 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/readutil.so | 26 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/readutil.so | |
23 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/rlimit.so | 27 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/rlimit.so | |
24 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/sgml2pl.so | 28 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/sgml2pl.so | |
25 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/sha4pl.so | 29 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/sha4pl.so | |
26 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/snowball.so | 30 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/snowball.so | |
27 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/socket.so | 31 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/socket.so | |
28 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/ssl4pl.so | 32 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/ssl4pl.so | |
29 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/streaminfo.so | 33 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/streaminfo.so | |
30 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/syslog.so | 34 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/syslog.so | |
31 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/table.so | 35 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/table.so | |
32 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/time.so | 36 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/time.so | |
33 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/turtle.so | 37 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/turtle.so | |
34 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/uid.so | 38 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/uid.so | |
35 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/unicode4pl.so | 39 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/unicode4pl.so | |
36 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/unix.so | 40 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/unix.so | |
37 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/uri.so | 41 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/uri.so | |
42 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/uuid.so | |||
43 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/websocket.so | |||
38 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/zlib4pl.so | 44 | lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/zlib4pl.so | |
39 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML4.dcl | 45 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML4.dcl | |
40 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML4.dtd | 46 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML4.dtd | |
41 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML4.soc | 47 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML4.soc | |
42 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML5.dtd | 48 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTML5.dtd | |
43 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTMLlat1.ent | 49 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTMLlat1.ent | |
44 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTMLspec.ent | 50 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTMLspec.ent | |
45 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTMLsym.ent | 51 | lib/swi-prolog-${PKGVERSION}/library/DTD/HTMLsym.ent | |
46 | lib/swi-prolog-${PKGVERSION}/library/R.pl | |||
47 | lib/swi-prolog-${PKGVERSION}/library/archive.pl | 52 | lib/swi-prolog-${PKGVERSION}/library/archive.pl | |
53 | lib/swi-prolog-${PKGVERSION}/library/c14n2.pl | |||
48 | lib/swi-prolog-${PKGVERSION}/library/cgi.pl | 54 | lib/swi-prolog-${PKGVERSION}/library/cgi.pl | |
49 | lib/swi-prolog-${PKGVERSION}/library/chr.pl | 55 | lib/swi-prolog-${PKGVERSION}/library/chr.pl | |
50 | lib/swi-prolog-${PKGVERSION}/library/chr/README | 56 | lib/swi-prolog-${PKGVERSION}/library/chr/README | |
51 | lib/swi-prolog-${PKGVERSION}/library/chr/a_star.pl | 57 | lib/swi-prolog-${PKGVERSION}/library/chr/a_star.pl | |
52 | lib/swi-prolog-${PKGVERSION}/library/chr/binomialheap.pl | 58 | lib/swi-prolog-${PKGVERSION}/library/chr/binomialheap.pl | |
53 | lib/swi-prolog-${PKGVERSION}/library/chr/builtins.pl | 59 | lib/swi-prolog-${PKGVERSION}/library/chr/builtins.pl | |
54 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_compiler_errors.pl | 60 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_compiler_errors.pl | |
55 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_compiler_options.pl | 61 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_compiler_options.pl | |
56 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_compiler_utility.pl | 62 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_compiler_utility.pl | |
57 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_debug.pl | 63 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_debug.pl | |
58 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_hashtable_store.pl | 64 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_hashtable_store.pl | |
59 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_integertable_store.pl | 65 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_integertable_store.pl | |
60 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_messages.pl | 66 | lib/swi-prolog-${PKGVERSION}/library/chr/chr_messages.pl | |
@@ -68,201 +74,235 @@ lib/swi-prolog-${PKGVERSION}/library/chr | @@ -68,201 +74,235 @@ lib/swi-prolog-${PKGVERSION}/library/chr | |||
68 | lib/swi-prolog-${PKGVERSION}/library/chr/pairlist.pl | 74 | lib/swi-prolog-${PKGVERSION}/library/chr/pairlist.pl | |
69 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq.pl | 75 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq.pl | |
70 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/bb_q.pl | 76 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/bb_q.pl | |
71 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/bv_q.pl | 77 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/bv_q.pl | |
72 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/fourmotz_q.pl | 78 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/fourmotz_q.pl | |
73 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/ineq_q.pl | 79 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/ineq_q.pl | |
74 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/itf_q.pl | 80 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/itf_q.pl | |
75 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/nf_q.pl | 81 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/nf_q.pl | |
76 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/store_q.pl | 82 | lib/swi-prolog-${PKGVERSION}/library/clp/clpq/store_q.pl | |
77 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/README | 83 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/README | |
78 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/class.pl | 84 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/class.pl | |
79 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/dump.pl | 85 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/dump.pl | |
80 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/geler.pl | 86 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/geler.pl | |
87 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/highlight.pl | |||
81 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/itf.pl | 88 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/itf.pl | |
82 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/ordering.pl | 89 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/ordering.pl | |
83 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/project.pl | 90 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/project.pl | |
84 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/redund.pl | 91 | lib/swi-prolog-${PKGVERSION}/library/clp/clpqr/redund.pl | |
85 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr.pl | 92 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr.pl | |
86 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/bb_r.pl | 93 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/bb_r.pl | |
87 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/bv_r.pl | 94 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/bv_r.pl | |
88 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/fourmotz_r.pl | 95 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/fourmotz_r.pl | |
89 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/ineq_r.pl | 96 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/ineq_r.pl | |
90 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/itf_r.pl | 97 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/itf_r.pl | |
91 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/nf_r.pl | 98 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/nf_r.pl | |
92 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/store_r.pl | 99 | lib/swi-prolog-${PKGVERSION}/library/clp/clpr/store_r.pl | |
100 | lib/swi-prolog-${PKGVERSION}/library/cql/cql.pl | |||
101 | lib/swi-prolog-${PKGVERSION}/library/cql/cql_autoschema.pl | |||
102 | lib/swi-prolog-${PKGVERSION}/library/cql/cql_database.pl | |||
103 | lib/swi-prolog-${PKGVERSION}/library/cql/cql_hooks.pl | |||
104 | lib/swi-prolog-${PKGVERSION}/library/cql/sql_keywords.pl | |||
105 | lib/swi-prolog-${PKGVERSION}/library/cql/sql_parser.pl | |||
106 | lib/swi-prolog-${PKGVERSION}/library/cql/sql_tokenizer.pl | |||
107 | lib/swi-prolog-${PKGVERSION}/library/cql/sql_write.pl | |||
93 | lib/swi-prolog-${PKGVERSION}/library/crypt.pl | 108 | lib/swi-prolog-${PKGVERSION}/library/crypt.pl | |
109 | lib/swi-prolog-${PKGVERSION}/library/crypto.pl | |||
94 | lib/swi-prolog-${PKGVERSION}/library/doc_files.pl | 110 | lib/swi-prolog-${PKGVERSION}/library/doc_files.pl | |
95 | lib/swi-prolog-${PKGVERSION}/library/doc_http.pl | 111 | lib/swi-prolog-${PKGVERSION}/library/doc_http.pl | |
96 | lib/swi-prolog-${PKGVERSION}/library/doc_latex.pl | 112 | lib/swi-prolog-${PKGVERSION}/library/doc_latex.pl | |
97 | lib/swi-prolog-${PKGVERSION}/library/double_metaphone.pl | 113 | lib/swi-prolog-${PKGVERSION}/library/double_metaphone.pl | |
98 | lib/swi-prolog-${PKGVERSION}/library/filesex.pl | 114 | lib/swi-prolog-${PKGVERSION}/library/filesex.pl | |
115 | lib/swi-prolog-${PKGVERSION}/library/hash_stream.pl | |||
99 | lib/swi-prolog-${PKGVERSION}/library/http/INDEX.pl | 116 | lib/swi-prolog-${PKGVERSION}/library/http/INDEX.pl | |
100 | lib/swi-prolog-${PKGVERSION}/library/http/README | 117 | lib/swi-prolog-${PKGVERSION}/library/http/README | |
101 | lib/swi-prolog-${PKGVERSION}/library/http/ax.pl | 118 | lib/swi-prolog-${PKGVERSION}/library/http/ax.pl | |
102 | lib/swi-prolog-${PKGVERSION}/library/http/dcg_basics.pl | 119 | lib/swi-prolog-${PKGVERSION}/library/http/dcg_basics.pl | |
103 | lib/swi-prolog-${PKGVERSION}/library/http/html_head.pl | 120 | lib/swi-prolog-${PKGVERSION}/library/http/html_head.pl | |
104 | lib/swi-prolog-${PKGVERSION}/library/http/html_quasiquotations.pl | 121 | lib/swi-prolog-${PKGVERSION}/library/http/html_quasiquotations.pl | |
105 | lib/swi-prolog-${PKGVERSION}/library/http/html_write.pl | 122 | lib/swi-prolog-${PKGVERSION}/library/http/html_write.pl | |
106 | lib/swi-prolog-${PKGVERSION}/library/http/http_authenticate.pl | 123 | lib/swi-prolog-${PKGVERSION}/library/http/http_authenticate.pl | |
107 | lib/swi-prolog-${PKGVERSION}/library/http/http_client.pl | 124 | lib/swi-prolog-${PKGVERSION}/library/http/http_client.pl | |
108 | lib/swi-prolog-${PKGVERSION}/library/http/http_cookie.pl | 125 | lib/swi-prolog-${PKGVERSION}/library/http/http_cookie.pl | |
109 | lib/swi-prolog-${PKGVERSION}/library/http/http_cors.pl | 126 | lib/swi-prolog-${PKGVERSION}/library/http/http_cors.pl | |
127 | lib/swi-prolog-${PKGVERSION}/library/http/http_digest.pl | |||
110 | lib/swi-prolog-${PKGVERSION}/library/http/http_dirindex.pl | 128 | lib/swi-prolog-${PKGVERSION}/library/http/http_dirindex.pl | |
111 | lib/swi-prolog-${PKGVERSION}/library/http/http_dispatch.pl | 129 | lib/swi-prolog-${PKGVERSION}/library/http/http_dispatch.pl | |
112 | lib/swi-prolog-${PKGVERSION}/library/http/http_error.pl | 130 | lib/swi-prolog-${PKGVERSION}/library/http/http_error.pl | |
113 | lib/swi-prolog-${PKGVERSION}/library/http/http_exception.pl | 131 | lib/swi-prolog-${PKGVERSION}/library/http/http_exception.pl | |
114 | lib/swi-prolog-${PKGVERSION}/library/http/http_files.pl | 132 | lib/swi-prolog-${PKGVERSION}/library/http/http_files.pl | |
115 | lib/swi-prolog-${PKGVERSION}/library/http/http_header.pl | 133 | lib/swi-prolog-${PKGVERSION}/library/http/http_header.pl | |
116 | lib/swi-prolog-${PKGVERSION}/library/http/http_hook.pl | 134 | lib/swi-prolog-${PKGVERSION}/library/http/http_hook.pl | |
117 | lib/swi-prolog-${PKGVERSION}/library/http/http_host.pl | 135 | lib/swi-prolog-${PKGVERSION}/library/http/http_host.pl | |
118 | lib/swi-prolog-${PKGVERSION}/library/http/http_json.pl | 136 | lib/swi-prolog-${PKGVERSION}/library/http/http_json.pl | |
119 | lib/swi-prolog-${PKGVERSION}/library/http/http_load.pl | 137 | lib/swi-prolog-${PKGVERSION}/library/http/http_load.pl | |
120 | lib/swi-prolog-${PKGVERSION}/library/http/http_log.pl | 138 | lib/swi-prolog-${PKGVERSION}/library/http/http_log.pl | |
121 | lib/swi-prolog-${PKGVERSION}/library/http/http_mime_plugin.pl | 139 | lib/swi-prolog-${PKGVERSION}/library/http/http_multipart_plugin.pl | |
122 | lib/swi-prolog-${PKGVERSION}/library/http/http_open.pl | 140 | lib/swi-prolog-${PKGVERSION}/library/http/http_open.pl | |
123 | lib/swi-prolog-${PKGVERSION}/library/http/http_openid.pl | 141 | lib/swi-prolog-${PKGVERSION}/library/http/http_openid.pl | |
124 | lib/swi-prolog-${PKGVERSION}/library/http/http_parameters.pl | 142 | lib/swi-prolog-${PKGVERSION}/library/http/http_parameters.pl | |
125 | lib/swi-prolog-${PKGVERSION}/library/http/http_path.pl | 143 | lib/swi-prolog-${PKGVERSION}/library/http/http_path.pl | |
144 | lib/swi-prolog-${PKGVERSION}/library/http/http_proxy.pl | |||
126 | lib/swi-prolog-${PKGVERSION}/library/http/http_pwp.pl | 145 | lib/swi-prolog-${PKGVERSION}/library/http/http_pwp.pl | |
127 | lib/swi-prolog-${PKGVERSION}/library/http/http_server_files.pl | 146 | lib/swi-prolog-${PKGVERSION}/library/http/http_server_files.pl | |
128 | lib/swi-prolog-${PKGVERSION}/library/http/http_session.pl | 147 | lib/swi-prolog-${PKGVERSION}/library/http/http_session.pl | |
129 | lib/swi-prolog-${PKGVERSION}/library/http/http_sgml_plugin.pl | 148 | lib/swi-prolog-${PKGVERSION}/library/http/http_sgml_plugin.pl | |
130 | lib/swi-prolog-${PKGVERSION}/library/http/http_ssl_plugin.pl | 149 | lib/swi-prolog-${PKGVERSION}/library/http/http_ssl_plugin.pl | |
131 | lib/swi-prolog-${PKGVERSION}/library/http/http_stream.pl | 150 | lib/swi-prolog-${PKGVERSION}/library/http/http_stream.pl | |
132 | lib/swi-prolog-${PKGVERSION}/library/http/http_unix_daemon.pl | 151 | lib/swi-prolog-${PKGVERSION}/library/http/http_unix_daemon.pl | |
133 | lib/swi-prolog-${PKGVERSION}/library/http/http_wrapper.pl | 152 | lib/swi-prolog-${PKGVERSION}/library/http/http_wrapper.pl | |
153 | lib/swi-prolog-${PKGVERSION}/library/http/hub.pl | |||
134 | lib/swi-prolog-${PKGVERSION}/library/http/inetd_httpd.pl | 154 | lib/swi-prolog-${PKGVERSION}/library/http/inetd_httpd.pl | |
155 | lib/swi-prolog-${PKGVERSION}/library/http/jquery.pl | |||
135 | lib/swi-prolog-${PKGVERSION}/library/http/js_grammar.pl | 156 | lib/swi-prolog-${PKGVERSION}/library/http/js_grammar.pl | |
136 | lib/swi-prolog-${PKGVERSION}/library/http/js_write.pl | 157 | lib/swi-prolog-${PKGVERSION}/library/http/js_write.pl | |
137 | lib/swi-prolog-${PKGVERSION}/library/http/json.pl | 158 | lib/swi-prolog-${PKGVERSION}/library/http/json.pl | |
138 | lib/swi-prolog-${PKGVERSION}/library/http/json_convert.pl | 159 | lib/swi-prolog-${PKGVERSION}/library/http/json_convert.pl | |
139 | lib/swi-prolog-${PKGVERSION}/library/http/mimepack.pl | 160 | lib/swi-prolog-${PKGVERSION}/library/http/mimepack.pl | |
140 | lib/swi-prolog-${PKGVERSION}/library/http/mimetype.pl | 161 | lib/swi-prolog-${PKGVERSION}/library/http/mimetype.pl | |
162 | lib/swi-prolog-${PKGVERSION}/library/http/term_html.pl | |||
141 | lib/swi-prolog-${PKGVERSION}/library/http/thread_httpd.pl | 163 | lib/swi-prolog-${PKGVERSION}/library/http/thread_httpd.pl | |
142 | lib/swi-prolog-${PKGVERSION}/library/http/web/css/dirindex.css | 164 | lib/swi-prolog-${PKGVERSION}/library/http/web/css/dirindex.css | |
143 | lib/swi-prolog-${PKGVERSION}/library/http/web/css/openid.css | 165 | lib/swi-prolog-${PKGVERSION}/library/http/web/css/openid.css | |
166 | lib/swi-prolog-${PKGVERSION}/library/http/web/css/plterm.css | |||
144 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/back.png | 167 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/back.png | |
145 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/c.png | 168 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/c.png | |
146 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/compressed.png | 169 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/compressed.png | |
147 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/folder.png | 170 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/folder.png | |
148 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/generic.png | 171 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/generic.png | |
149 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/layout.png | 172 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/layout.png | |
150 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/openid-logo-square.png | 173 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/openid-logo-square.png | |
151 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/openid-logo-tiny.png | 174 | lib/swi-prolog-${PKGVERSION}/library/http/web/icons/openid-logo-tiny.png | |
175 | lib/swi-prolog-${PKGVERSION}/library/http/web/js/jquery-1.11.3.min.js | |||
176 | lib/swi-prolog-${PKGVERSION}/library/http/web/js/pengines.js | |||
177 | lib/swi-prolog-${PKGVERSION}/library/http/websocket.pl | |||
152 | lib/swi-prolog-${PKGVERSION}/library/http/xpce_httpd.pl | 178 | lib/swi-prolog-${PKGVERSION}/library/http/xpce_httpd.pl | |
153 | lib/swi-prolog-${PKGVERSION}/library/http/yadis.pl | 179 | lib/swi-prolog-${PKGVERSION}/library/http/yadis.pl | |
154 | lib/swi-prolog-${PKGVERSION}/library/iso_639.pl | 180 | lib/swi-prolog-${PKGVERSION}/library/iso_639.pl | |
155 | lib/swi-prolog-${PKGVERSION}/library/isub.pl | 181 | lib/swi-prolog-${PKGVERSION}/library/isub.pl | |
182 | lib/swi-prolog-${PKGVERSION}/library/md5.pl | |||
156 | lib/swi-prolog-${PKGVERSION}/library/memfile.pl | 183 | lib/swi-prolog-${PKGVERSION}/library/memfile.pl | |
157 | lib/swi-prolog-${PKGVERSION}/library/mime.pl | |||
158 | lib/swi-prolog-${PKGVERSION}/library/pdt_console.pl | 184 | lib/swi-prolog-${PKGVERSION}/library/pdt_console.pl | |
185 | lib/swi-prolog-${PKGVERSION}/library/pengines.pl | |||
186 | lib/swi-prolog-${PKGVERSION}/library/pengines_io.pl | |||
187 | lib/swi-prolog-${PKGVERSION}/library/pengines_sandbox.pl | |||
159 | lib/swi-prolog-${PKGVERSION}/library/pldoc.pl | 188 | lib/swi-prolog-${PKGVERSION}/library/pldoc.pl | |
160 | lib/swi-prolog-${PKGVERSION}/library/pldoc/README | 189 | lib/swi-prolog-${PKGVERSION}/library/pldoc/README.md | |
161 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_access.pl | 190 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_access.pl | |
162 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_colour.pl | 191 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_colour.pl | |
163 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_html.pl | 192 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_html.pl | |
164 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_htmlsrc.pl | 193 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_htmlsrc.pl | |
165 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_index.pl | 194 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_index.pl | |
166 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_library.pl | 195 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_library.pl | |
167 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_man.pl | 196 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_man.pl | |
168 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_modes.pl | 197 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_modes.pl | |
169 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_pack.pl | 198 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_pack.pl | |
170 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_process.pl | 199 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_process.pl | |
171 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_register.pl | 200 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_register.pl | |
172 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_search.pl | 201 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_search.pl | |
173 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_util.pl | 202 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_util.pl | |
174 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_wiki.pl | 203 | lib/swi-prolog-${PKGVERSION}/library/pldoc/doc_wiki.pl | |
175 | lib/swi-prolog-${PKGVERSION}/library/pldoc/edit.gif | 204 | lib/swi-prolog-${PKGVERSION}/library/pldoc/edit.png | |
205 | lib/swi-prolog-${PKGVERSION}/library/pldoc/editpred.png | |||
176 | lib/swi-prolog-${PKGVERSION}/library/pldoc/favicon.ico | 206 | lib/swi-prolog-${PKGVERSION}/library/pldoc/favicon.ico | |
177 | lib/swi-prolog-${PKGVERSION}/library/pldoc/h1-bg.png | 207 | lib/swi-prolog-${PKGVERSION}/library/pldoc/h1-bg.png | |
178 | lib/swi-prolog-${PKGVERSION}/library/pldoc/h2-bg.png | 208 | lib/swi-prolog-${PKGVERSION}/library/pldoc/h2-bg.png | |
179 | lib/swi-prolog-${PKGVERSION}/library/pldoc/hooks.pl | 209 | lib/swi-prolog-${PKGVERSION}/library/pldoc/hooks.pl | |
180 | lib/swi-prolog-${PKGVERSION}/library/pldoc/multi-bg.png | 210 | lib/swi-prolog-${PKGVERSION}/library/pldoc/multi-bg.png | |
181 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pldoc.css | 211 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pldoc.css | |
182 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pldoc.js | 212 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pldoc.js | |
183 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pldoc.sty | 213 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pldoc.sty | |
184 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pllisting.css | 214 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pllisting.css | |
185 | lib/swi-prolog-${PKGVERSION}/library/pldoc/priv-bg.png | 215 | lib/swi-prolog-${PKGVERSION}/library/pldoc/priv-bg.png | |
186 | lib/swi-prolog-${PKGVERSION}/library/pldoc/private.png | 216 | lib/swi-prolog-${PKGVERSION}/library/pldoc/private.png | |
187 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pub-bg.png | 217 | lib/swi-prolog-${PKGVERSION}/library/pldoc/pub-bg.png | |
188 | lib/swi-prolog-${PKGVERSION}/library/pldoc/public.png | 218 | lib/swi-prolog-${PKGVERSION}/library/pldoc/public.png | |
189 | lib/swi-prolog-${PKGVERSION}/library/pldoc/reload.gif | 219 | lib/swi-prolog-${PKGVERSION}/library/pldoc/reload.png | |
190 | lib/swi-prolog-${PKGVERSION}/library/pldoc/source.png | 220 | lib/swi-prolog-${PKGVERSION}/library/pldoc/source.png | |
191 | lib/swi-prolog-${PKGVERSION}/library/pldoc/up.gif | 221 | lib/swi-prolog-${PKGVERSION}/library/pldoc/up.gif | |
192 | lib/swi-prolog-${PKGVERSION}/library/plunit.pl | 222 | lib/swi-prolog-${PKGVERSION}/library/plunit.pl | |
193 | lib/swi-prolog-${PKGVERSION}/library/porter_stem.pl | 223 | lib/swi-prolog-${PKGVERSION}/library/porter_stem.pl | |
194 | lib/swi-prolog-${PKGVERSION}/library/process.pl | 224 | lib/swi-prolog-${PKGVERSION}/library/process.pl | |
195 | lib/swi-prolog-${PKGVERSION}/library/prolog_server.pl | 225 | lib/swi-prolog-${PKGVERSION}/library/prolog_server.pl | |
226 | lib/swi-prolog-${PKGVERSION}/library/prolog_stream.pl | |||
196 | lib/swi-prolog-${PKGVERSION}/library/protobufs.pl | 227 | lib/swi-prolog-${PKGVERSION}/library/protobufs.pl | |
197 | lib/swi-prolog-${PKGVERSION}/library/pwp.pl | 228 | lib/swi-prolog-${PKGVERSION}/library/pwp.pl | |
198 | lib/swi-prolog-${PKGVERSION}/library/rdf.pl | 229 | lib/swi-prolog-${PKGVERSION}/library/rdf.pl | |
199 | lib/swi-prolog-${PKGVERSION}/library/rdf_ntriples.pl | 230 | lib/swi-prolog-${PKGVERSION}/library/rdf_ntriples.pl | |
200 | lib/swi-prolog-${PKGVERSION}/library/rdf_parser.pl | 231 | lib/swi-prolog-${PKGVERSION}/library/rdf_parser.pl | |
201 | lib/swi-prolog-${PKGVERSION}/library/rdf_triple.pl | 232 | lib/swi-prolog-${PKGVERSION}/library/rdf_triple.pl | |
202 | lib/swi-prolog-${PKGVERSION}/library/rdf_write.pl | 233 | lib/swi-prolog-${PKGVERSION}/library/rdf_write.pl | |
234 | lib/swi-prolog-${PKGVERSION}/library/readline.pl | |||
203 | lib/swi-prolog-${PKGVERSION}/library/rewrite.pl | 235 | lib/swi-prolog-${PKGVERSION}/library/rewrite.pl | |
204 | lib/swi-prolog-${PKGVERSION}/library/rlimit.pl | 236 | lib/swi-prolog-${PKGVERSION}/library/rlimit.pl | |
237 | lib/swi-prolog-${PKGVERSION}/library/saml.pl | |||
205 | lib/swi-prolog-${PKGVERSION}/library/semweb/INDEX.pl | 238 | lib/swi-prolog-${PKGVERSION}/library/semweb/INDEX.pl | |
206 | lib/swi-prolog-${PKGVERSION}/library/semweb/README | 239 | lib/swi-prolog-${PKGVERSION}/library/semweb/README.md | |
207 | lib/swi-prolog-${PKGVERSION}/library/semweb/dc.rdfs | 240 | lib/swi-prolog-${PKGVERSION}/library/semweb/dc.rdfs | |
208 | lib/swi-prolog-${PKGVERSION}/library/semweb/eor.rdfs | 241 | lib/swi-prolog-${PKGVERSION}/library/semweb/eor.rdfs | |
209 | lib/swi-prolog-${PKGVERSION}/library/semweb/owl.owl | 242 | lib/swi-prolog-${PKGVERSION}/library/semweb/owl.owl | |
243 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf11.pl | |||
244 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf11_containers.pl | |||
210 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_cache.pl | 245 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_cache.pl | |
211 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_compare.pl | 246 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_compare.pl | |
212 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_db.pl | 247 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_db.pl | |
213 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_edit.pl | 248 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_edit.pl | |
214 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_http_plugin.pl | 249 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_http_plugin.pl | |
215 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_library.pl | 250 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_library.pl | |
216 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_library.ttl | 251 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_library.ttl | |
217 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_litindex.pl | 252 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_litindex.pl | |
218 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_ntriples.pl | 253 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_ntriples.pl | |
219 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_persistency.pl | 254 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_persistency.pl | |
220 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_portray.pl | 255 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_portray.pl | |
256 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_sandbox.pl | |||
221 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_turtle.pl | 257 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_turtle.pl | |
222 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_turtle_write.pl | 258 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_turtle_write.pl | |
223 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_zlib_plugin.pl | 259 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_zlib_plugin.pl | |
260 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdfa.pl | |||
224 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdfs.pl | 261 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdfs.pl | |
225 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdfs.rdfs | 262 | lib/swi-prolog-${PKGVERSION}/library/semweb/rdfs.rdfs | |
226 | lib/swi-prolog-${PKGVERSION}/library/semweb/sparql_client.pl | 263 | lib/swi-prolog-${PKGVERSION}/library/semweb/sparql_client.pl | |
227 | lib/swi-prolog-${PKGVERSION}/library/semweb/turtle.pl | 264 | lib/swi-prolog-${PKGVERSION}/library/semweb/turtle.pl | |
228 | lib/swi-prolog-${PKGVERSION}/library/sgml.pl | 265 | lib/swi-prolog-${PKGVERSION}/library/sgml.pl | |
229 | lib/swi-prolog-${PKGVERSION}/library/sgml_write.pl | 266 | lib/swi-prolog-${PKGVERSION}/library/sgml_write.pl | |
230 | lib/swi-prolog-${PKGVERSION}/library/sha.pl | 267 | lib/swi-prolog-${PKGVERSION}/library/sha.pl | |
231 | lib/swi-prolog-${PKGVERSION}/library/snowball.pl | 268 | lib/swi-prolog-${PKGVERSION}/library/snowball.pl | |
232 | lib/swi-prolog-${PKGVERSION}/library/socket.pl | 269 | lib/swi-prolog-${PKGVERSION}/library/socket.pl | |
233 | lib/swi-prolog-${PKGVERSION}/library/ssl.pl | 270 | lib/swi-prolog-${PKGVERSION}/library/ssl.pl | |
234 | lib/swi-prolog-${PKGVERSION}/library/streaminfo.pl | 271 | lib/swi-prolog-${PKGVERSION}/library/streaminfo.pl | |
235 | lib/swi-prolog-${PKGVERSION}/library/streampool.pl | 272 | lib/swi-prolog-${PKGVERSION}/library/streampool.pl | |
236 | lib/swi-prolog-${PKGVERSION}/library/syslog.pl | 273 | lib/swi-prolog-${PKGVERSION}/library/syslog.pl | |
237 | lib/swi-prolog-${PKGVERSION}/library/table.pl | 274 | lib/swi-prolog-${PKGVERSION}/library/table.pl | |
238 | lib/swi-prolog-${PKGVERSION}/library/table_util.pl | 275 | lib/swi-prolog-${PKGVERSION}/library/table_util.pl | |
276 | lib/swi-prolog-${PKGVERSION}/library/term_to_json.pl | |||
239 | lib/swi-prolog-${PKGVERSION}/library/test_cover.pl | 277 | lib/swi-prolog-${PKGVERSION}/library/test_cover.pl | |
240 | lib/swi-prolog-${PKGVERSION}/library/test_wizard.pl | 278 | lib/swi-prolog-${PKGVERSION}/library/test_wizard.pl | |
241 | lib/swi-prolog-${PKGVERSION}/library/time.pl | 279 | lib/swi-prolog-${PKGVERSION}/library/time.pl | |
242 | lib/swi-prolog-${PKGVERSION}/library/udp_broadcast.pl | 280 | lib/swi-prolog-${PKGVERSION}/library/udp_broadcast.pl | |
243 | lib/swi-prolog-${PKGVERSION}/library/uid.pl | 281 | lib/swi-prolog-${PKGVERSION}/library/uid.pl | |
244 | lib/swi-prolog-${PKGVERSION}/library/unicode.pl | 282 | lib/swi-prolog-${PKGVERSION}/library/unicode.pl | |
245 | lib/swi-prolog-${PKGVERSION}/library/unix.pl | 283 | lib/swi-prolog-${PKGVERSION}/library/unix.pl | |
246 | lib/swi-prolog-${PKGVERSION}/library/uri.pl | 284 | lib/swi-prolog-${PKGVERSION}/library/uri.pl | |
285 | lib/swi-prolog-${PKGVERSION}/library/uuid.pl | |||
286 | lib/swi-prolog-${PKGVERSION}/library/xmldsig.pl | |||
287 | lib/swi-prolog-${PKGVERSION}/library/xmlenc.pl | |||
247 | lib/swi-prolog-${PKGVERSION}/library/xpath.pl | 288 | lib/swi-prolog-${PKGVERSION}/library/xpath.pl | |
248 | lib/swi-prolog-${PKGVERSION}/library/xsdp_types.pl | 289 | lib/swi-prolog-${PKGVERSION}/library/xsdp_types.pl | |
249 | lib/swi-prolog-${PKGVERSION}/library/zlib.pl | 290 | lib/swi-prolog-${PKGVERSION}/library/zlib.pl | |
250 | lib/swi-prolog-${PKGVERSION}/swi-prolog.rc | 291 | lib/swi-prolog-${PKGVERSION}/swi-prolog.rc | |
251 | lib/swi-prolog-${PKGVERSION}/swipl-win.rc | 292 | lib/swi-prolog-${PKGVERSION}/swipl-win.rc | |
252 | lib/swi-prolog-${PKGVERSION}/xpce/COPYING | |||
253 | lib/swi-prolog-${PKGVERSION}/xpce/Defaults | 293 | lib/swi-prolog-${PKGVERSION}/xpce/Defaults | |
254 | lib/swi-prolog-${PKGVERSION}/xpce/Defaults.user | 294 | lib/swi-prolog-${PKGVERSION}/xpce/Defaults.user | |
255 | lib/swi-prolog-${PKGVERSION}/xpce/README | 295 | lib/swi-prolog-${PKGVERSION}/xpce/README.md | |
256 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/customise.hlp | 296 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/customise.hlp | |
257 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/dialog.hlp | 297 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/dialog.hlp | |
258 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/emacs.hlp | 298 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/emacs.hlp | |
259 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/event_monitor.hlp | 299 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/event_monitor.hlp | |
260 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/help.hlp | 300 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/help.hlp | |
261 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/pcedraw.hlp | 301 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/pcedraw.hlp | |
262 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/pcefaq.hlp | 302 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/pcefaq.hlp | |
263 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/plprefs.hlp | 303 | lib/swi-prolog-${PKGVERSION}/xpce/appl-help/plprefs.hlp | |
264 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/alert.xpm | 304 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/alert.xpm | |
265 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/arrow_length.xpm | 305 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/arrow_length.xpm | |
266 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/arrow_wing.xpm | 306 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/arrow_wing.xpm | |
267 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/arrows.bm | 307 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/arrows.bm | |
268 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/back.xpm | 308 | lib/swi-prolog-${PKGVERSION}/xpce/bitmaps/16x16/back.xpm | |
@@ -960,26 +1000,27 @@ lib/swi-prolog-${PKGVERSION}/xpce/prolog | @@ -960,26 +1000,27 @@ lib/swi-prolog-${PKGVERSION}/xpce/prolog | |||
960 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/draw/undo.pl | 1000 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/draw/undo.pl | |
961 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/draw_extend.pl | 1001 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/draw_extend.pl | |
962 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/edit_dialog.pl | 1002 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/edit_dialog.pl | |
963 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/annotate_mode.pl | 1003 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/annotate_mode.pl | |
964 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/application.pl | 1004 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/application.pl | |
965 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/bookmarks.pl | 1005 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/bookmarks.pl | |
966 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/buffer.pl | 1006 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/buffer.pl | |
967 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/buffer_menu.pl | 1007 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/buffer_menu.pl | |
968 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/c_mode.pl | 1008 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/c_mode.pl | |
969 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/chr_mode.pl | 1009 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/chr_mode.pl | |
970 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/cpp_mode.pl | 1010 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/cpp_mode.pl | |
971 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/dde_server.pl | 1011 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/dde_server.pl | |
972 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/emacs.pl | 1012 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/emacs.pl | |
1013 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/emacs_chrome_server.pl | |||
973 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/find.pl | 1014 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/find.pl | |
974 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/fundamental_mode.pl | 1015 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/fundamental_mode.pl | |
975 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/gdb.pl | 1016 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/gdb.pl | |
976 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/help.pl | 1017 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/help.pl | |
977 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/history.pl | 1018 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/history.pl | |
978 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/hit_list.pl | 1019 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/hit_list.pl | |
979 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/html_mode.pl | 1020 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/html_mode.pl | |
980 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/java_mode.pl | 1021 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/java_mode.pl | |
981 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/javascript_mode.pl | 1022 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/javascript_mode.pl | |
982 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/language_mode.pl | 1023 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/language_mode.pl | |
983 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/latex_mode.pl | 1024 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/latex_mode.pl | |
984 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/logtalk_mode.pl | 1025 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/logtalk_mode.pl | |
985 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/man_mode.pl | 1026 | lib/swi-prolog-${PKGVERSION}/xpce/prolog/lib/emacs/man_mode.pl |