diff options
author | Rene Ladan <rene@FreeBSD.org> | 2020-05-05 15:38:11 +0000 |
---|---|---|
committer | Rene Ladan <rene@FreeBSD.org> | 2020-05-05 15:38:11 +0000 |
commit | 0786acb3155523a38d1442f3c16ca56750f1db04 (patch) | |
tree | 42843d6e23bc6be789c7f1284cdc61d43d3c0942 /lang/yap | |
parent | e0510744daebb2bb9f73bf707c276e02e4c191fe (diff) | |
download | ports-0786acb3155523a38d1442f3c16ca56750f1db04.tar.gz ports-0786acb3155523a38d1442f3c16ca56750f1db04.zip |
Notes
Diffstat (limited to 'lang/yap')
-rw-r--r-- | lang/yap/Makefile | 42 | ||||
-rw-r--r-- | lang/yap/distinfo | 2 | ||||
-rw-r--r-- | lang/yap/files/patch-Makefile.in | 20 | ||||
-rw-r--r-- | lang/yap/files/patch-configure | 31 | ||||
-rw-r--r-- | lang/yap/files/patch-library__dialect__swi__fli__blobs.c | 10 | ||||
-rw-r--r-- | lang/yap/files/patch-packages_swi-minisat2_C_SolverTypes.h | 31 | ||||
-rw-r--r-- | lang/yap/pkg-descr | 8 | ||||
-rw-r--r-- | lang/yap/pkg-plist | 476 |
8 files changed, 0 insertions, 620 deletions
diff --git a/lang/yap/Makefile b/lang/yap/Makefile deleted file mode 100644 index a2b5e6d93d52..000000000000 --- a/lang/yap/Makefile +++ /dev/null @@ -1,42 +0,0 @@ -# Created by: Danilo Egea Gondolfo <danilogondolfo@gmail.com> -# $FreeBSD$ - -PORTNAME= yap -PORTVERSION= 6.2.2 -PORTREVISION= 9 -CATEGORIES= lang -MASTER_SITES= http://www.dcc.fc.up.pt/~vsc/Yap/ - -MAINTAINER= danilo@FreeBSD.org -COMMENT= High-performance Prolog compiler - -BROKEN= unfetchable -DEPRECATED= Broken for more than 6 months -EXPIRATION_DATE= 2020-05-05 - -LIB_DEPENDS= libgmp.so:math/gmp - -PORTSCOUT= limit:^6\.2\. -CONFLICTS= yap-6.3.* - -OPTIONS_DEFINE= DOCS - -DOCS_USE= TEX=formats:build,dvipsk:build -DOCS_BUILD_DEPENDS= ${LOCALBASE}/bin/texi2html:textproc/texi2html \ - ${LOCALBASE}/bin/texi2pdf:print/texinfo -DOCS_INSTALL_TARGET= install install_docs - -USE_LDCONFIG= yes -GNU_CONFIGURE= yes -CONFIGURE_ARGS= --enable-max-performance \ - --disable-myddas -USES= gmake localbase readline - -DOCSDIR= ${PREFIX}/share/doc/Yap -DATADIR= ${PREFIX}/share/Yap - -post-build-DOCS-off: - # prevent the instalation of three docs files - ${REINPLACE_CMD} -e '559,562d' ${WRKSRC}/Makefile - -.include <bsd.port.mk> diff --git a/lang/yap/distinfo b/lang/yap/distinfo deleted file mode 100644 index c7019045ef67..000000000000 --- a/lang/yap/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (yap-6.2.2.tar.gz) = f15f8382104443319a5883eafce5f52f4143b526c7f1cd88d19c1f63fc06d750 -SIZE (yap-6.2.2.tar.gz) = 5499811 diff --git a/lang/yap/files/patch-Makefile.in b/lang/yap/files/patch-Makefile.in deleted file mode 100644 index 8fdd7dfb7ac4..000000000000 --- a/lang/yap/files/patch-Makefile.in +++ /dev/null @@ -1,20 +0,0 @@ ---- Makefile.in.orig 2015-07-23 15:33:43 UTC -+++ Makefile.in -@@ -94,7 +94,7 @@ SO=@SO@ - MAKEINFO=makeinfo - TEXI2DVI=texi2dvi - TEXI2HTML=texi2html --TEXI2PDF=texi2pdf -+TEXI2PDF=texi2pdf -b - YAPLIB=@YAPLIB@ - SONAMEFLAG=@SONAMEFLAG@ - -@@ -776,7 +776,7 @@ yap.ps: $(YAPDOCS) - pdf: yap.pdf - - yap.pdf: $(YAPDOCS) -- $(TEXI2PDF) $(srcdir)/docs/yap.tex -+ -$(TEXI2PDF) $(srcdir)/docs/yap.tex - - clean_docs: - rm -f *.aux *.ca *.cas *.cn *.cns *.cp *.cps *.cy *.cys *.dvi *.fn *.fns *.ky *.log *.sa *.sas *.sn *.sns *.sy *.sys *~ *.tp *.vr *.toc *.pg diff --git a/lang/yap/files/patch-configure b/lang/yap/files/patch-configure deleted file mode 100644 index 8eb01ee400ed..000000000000 --- a/lang/yap/files/patch-configure +++ /dev/null @@ -1,31 +0,0 @@ -https://sourceforge.net/p/yap/yap-6.3/ci/139f64a45900 -https://sourceforge.net/p/yap/yap-6.3/ci/da61f1c31fed - ---- configure.orig 2011-10-23 22:11:24 UTC -+++ configure -@@ -4397,13 +4397,9 @@ then - C_PARSER_FLAGS="-O3 -Wall -Wstrict-prototypes -Wmissing-prototypes $CFLAGS" - CFLAGS="-O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes $CFLAGS" - case "`$CC --version < /dev/null`" in -- *3.4*) CFLAGS="-fno-gcse -fno-crossjumping $CFLAGS" ;; -+ gcc-3.4*) CFLAGS="-fno-gcse -fno-crossjumping $CFLAGS" ;; - esac - case "$target_cpu" in -- i*86*) -- CFLAGS="-DBP_FREE $CFLAGS" -- CXXFLAGS="-DBP_FREE $CXXFLAGS" -- ;; - sparc*) - case "$target_os" in - *solaris2-9*) CFLAGS="-mno-app-regs -DOPTIMISE_ALL_REGS_FOR_SPARC=1 $CFLAGS" -@@ -4433,10 +4429,6 @@ then - i486*) - CFLAGS="-march=i486 $CFLAGS" - CXXFLAGS="-march=i486 $CXXFLAGS" -- ;; -- i386*) -- CFLAGS="-march=i386 $CFLAGS" -- CXXFLAGS="-march=i386 $CXXFLAGS" - ;; - esac - fi diff --git a/lang/yap/files/patch-library__dialect__swi__fli__blobs.c b/lang/yap/files/patch-library__dialect__swi__fli__blobs.c deleted file mode 100644 index b00f15a2f728..000000000000 --- a/lang/yap/files/patch-library__dialect__swi__fli__blobs.c +++ /dev/null @@ -1,10 +0,0 @@ ---- ./library/dialect/swi/fli/blobs.c.orig 2010-12-02 09:47:28.000000000 -0200 -+++ ./library/dialect/swi/fli/blobs.c 2013-11-02 21:10:56.000000000 -0200 -@@ -18,6 +18,7 @@ - #include <Yap.h> - #include <Yatom.h> - -+#include <stdio.h> - #include <string.h> - - #include <SWI-Prolog.h> diff --git a/lang/yap/files/patch-packages_swi-minisat2_C_SolverTypes.h b/lang/yap/files/patch-packages_swi-minisat2_C_SolverTypes.h deleted file mode 100644 index 1d6f5f1f79fc..000000000000 --- a/lang/yap/files/patch-packages_swi-minisat2_C_SolverTypes.h +++ /dev/null @@ -1,31 +0,0 @@ -https://sourceforge.net/p/yap/yap-6.3/ci/e938c1774890 -https://sourceforge.net/p/yap/yap-6.3/ci/6d2e2597b183 - ---- packages/swi-minisat2/C/SolverTypes.h.orig 2010-10-18 08:48:21 UTC -+++ packages/swi-minisat2/C/SolverTypes.h -@@ -119,11 +119,7 @@ public: - - // -- use this function instead: - template<class V> -- friend Clause* Clause_new(const V& ps, bool learnt = false) { -- assert(sizeof(Lit) == sizeof(uint32_t)); -- assert(sizeof(float) == sizeof(uint32_t)); -- void* mem = malloc(sizeof(Clause) + sizeof(uint32_t)*(ps.size())); -- return new (mem) Clause(ps, learnt); } -+ friend Clause* Clause_new(const V& ps, bool learnt); - - int size () const { return size_etc >> 3; } - void shrink (int i) { assert(i <= size()); size_etc = (((size_etc >> 3) - i) << 3) | (size_etc & 7); } -@@ -147,6 +143,12 @@ public: - }; - - -+template<class V> -+Clause* Clause_new(const V& ps, bool learnt) { -+ assert(sizeof(Lit) == sizeof(uint32_t)); -+ assert(sizeof(float) == sizeof(uint32_t)); -+ void* mem = malloc(sizeof(Clause) + sizeof(uint32_t)*(ps.size())); -+ return new (mem) Clause(ps, learnt); } - /*_________________________________________________________________________________________________ - | - | subsumes : (other : const Clause&) -> Lit diff --git a/lang/yap/pkg-descr b/lang/yap/pkg-descr deleted file mode 100644 index e7c1308bda06..000000000000 --- a/lang/yap/pkg-descr +++ /dev/null @@ -1,8 +0,0 @@ -YAP is a high-performance Prolog compiler developed at -LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog -engine is based in the WAM (Warren Abstract Machine), with several -optimizations for better performance. YAP follows the Edinburgh -tradition, and is largely compatible with the ISO-Prolog standard and -with Quintus and SICStus Prolog. - -WWW: http://www.dcc.fc.up.pt/~vsc/Yap/ diff --git a/lang/yap/pkg-plist b/lang/yap/pkg-plist deleted file mode 100644 index e43f78085439..000000000000 --- a/lang/yap/pkg-plist +++ /dev/null @@ -1,476 +0,0 @@ -bin/yap -include/Yap/TermExt.h -include/Yap/Atoms.h -include/Yap/Tags_32bits.h -include/Yap/Tags_32Ops.h -include/Yap/Tags_32LowTag.h -include/Yap/Tags_64bits.h -include/Yap/Tags_24bits.h -include/Yap/sshift.h -include/Yap/Yap.h -include/Yap/Yatom.h -include/Yap/YapHeap.h -include/Yap/Regs.h -include/Yap/Yapproto.h -include/Yap/absmi.h -include/Yap/alloc.h -include/Yap/amidefs.h -include/Yap/amiops.h -include/Yap/arrays.h -include/Yap/arith2.h -include/Yap/attvar.h -include/Yap/clause.h -include/Yap/compile.h -include/Yap/corout.h -include/Yap/dlmalloc.h -include/Yap/dglobals.h -include/Yap/dhstruct.h -include/Yap/eval.h -include/Yap/heapgc.h -include/Yap/hglobals.h -include/Yap/hstruct.h -include/Yap/iglobals.h -include/Yap/ihstruct.h -include/Yap/index.h -include/Yap/iopreds.h -include/Yap/iswiatoms.h -include/Yap/rclause.h -include/Yap/rglobals.h -include/Yap/rheap.h -include/Yap/rhstruct.h -include/Yap/threads.h -include/Yap/tracer.h -include/Yap/trim_trail.h -include/Yap/yapio.h -include/Yap/eam.h -include/Yap/eamamasm.h -include/Yap/opt.config.h -include/Yap/opt.proto.h -include/Yap/opt.structs.h -include/Yap/opt.macros.h -include/Yap/cut_c.h -include/Yap/or.macros.h -include/Yap/or.sbaamiops.h -include/Yap/or.sbaunify.h -include/Yap/tab.structs.h -include/Yap/locks_x86.h -include/Yap/locks_sparc.h -include/Yap/locks_mips.h -include/Yap/locks_mips_funcs.h -include/Yap/locks_alpha.h -include/Yap/locks_alpha_funcs.h -include/Yap/locks_pthread.h -include/Yap/iatoms.h -include/Yap/ratoms.h -include/Yap/tatoms.h -include/Yap/swi.h -include/Yap/myddas.h -include/Yap/myddas_structs.h -include/Yap/myddas_statistics.h -include/Yap/myddas_statistics_structs.h -include/Yap/myddas_wkb.h -include/Yap/myddas_wkb2prolog.h -include/Yap/c_interface.h -include/Yap/clause_list.h -include/Yap/dswiatoms.h -include/Yap/udi.h -include/Yap/rtree_udi.h -include/Yap/yap_structs.h -include/Yap/YapInterface.h -include/Yap/SWI-Prolog.h -include/Yap/SWI-Stream.h -include/Yap/config.h -include/Yap/parms.h -lib/Yap/startup.yss -lib/Yap/libplstream.so -lib/Yap/matrix.so -lib/Yap/yap_random.so -lib/Yap/regexp.so -lib/Yap/yap_rl.so -lib/Yap/sys.so -lib/Yap/tries.so -lib/Yap/itries.so -lib/Yap/unix.so -lib/Yap/random.so -lib/Yap/socket.so -lib/Yap/cgi.so -lib/Yap/memfile.so -lib/Yap/files.so -lib/Yap/mime.so -lib/Yap/crypt.so -lib/Yap/time.so -lib/Yap/readutil.so -lib/Yap/streaminfo.so -lib/Yap/process.so -lib/Yap/sha4pl.so -lib/Yap/uri.so -lib/Yap/http_stream.so -lib/Yap/json.so -lib/Yap/sgml2pl.so -lib/Yap/rdf_db.so -lib/Yap/turtle.so -lib/Yap/pl-tai.so -lib/Yap/zlib4pl.so -lib/Yap/pl-minisat.so -lib/libYap.a -lib/web/css/dirindex.css -lib/web/css/openid.css -%%PORTDOCS%%%%DOCSDIR%%/Artistic -%%PORTDOCS%%%%DOCSDIR%%/README -%%PORTDOCS%%%%DOCSDIR%%/COPYING -%%PORTDOCS%%%%DOCSDIR%%/yap.html -%%PORTDOCS%%%%DOCSDIR%%/yap.pdf -%%PORTDOCS%%%%DOCSDIR%%/changes4.3.html -%%PORTDOCS%%%%DOCSDIR%%/changes-5.0.html -%%PORTDOCS%%%%DOCSDIR%%/changes-5.1.html -%%PORTDOCS%%%%DOCSDIR%%/changes-6.0.html -%%DATADIR%%/pl/arith.yap -%%DATADIR%%/pl/arrays.yap -%%DATADIR%%/pl/attributes.yap -%%DATADIR%%/pl/boot.yap -%%DATADIR%%/pl/callcount.yap -%%DATADIR%%/pl/checker.yap -%%DATADIR%%/pl/chtypes.yap -%%DATADIR%%/pl/consult.yap -%%DATADIR%%/pl/control.yap -%%DATADIR%%/pl/corout.yap -%%DATADIR%%/pl/debug.yap -%%DATADIR%%/pl/depth_bound.yap -%%DATADIR%%/pl/dialect.yap -%%DATADIR%%/pl/directives.yap -%%DATADIR%%/pl/eam.yap -%%DATADIR%%/pl/eval.yap -%%DATADIR%%/pl/errors.yap -%%DATADIR%%/pl/flags.yap -%%DATADIR%%/pl/grammar.yap -%%DATADIR%%/pl/ground.yap -%%DATADIR%%/pl/hacks.yap -%%DATADIR%%/pl/init.yap -%%DATADIR%%/pl/listing.yap -%%DATADIR%%/pl/udi.yap -%%DATADIR%%/pl/lists.yap -%%DATADIR%%/pl/messages.yap -%%DATADIR%%/pl/load_foreign.yap -%%DATADIR%%/pl/modules.yap -%%DATADIR%%/pl/preds.yap -%%DATADIR%%/pl/profile.yap -%%DATADIR%%/pl/protect.yap -%%DATADIR%%/pl/save.yap -%%DATADIR%%/pl/setof.yap -%%DATADIR%%/pl/signals.yap -%%DATADIR%%/pl/sockets.yap -%%DATADIR%%/pl/sort.yap -%%DATADIR%%/pl/statistics.yap -%%DATADIR%%/pl/strict_iso.yap -%%DATADIR%%/pl/tabling.yap -%%DATADIR%%/pl/threads.yap -%%DATADIR%%/pl/utils.yap -%%DATADIR%%/pl/yapor.yap -%%DATADIR%%/pl/yio.yap -%%DATADIR%%/unix.pl -%%DATADIR%%/random.pl -%%DATADIR%%/socket.pl -%%DATADIR%%/cgi.pl -%%DATADIR%%/memfile.pl -%%DATADIR%%/filesex.pl -%%DATADIR%%/mime.pl -%%DATADIR%%/crypt.pl -%%DATADIR%%/time.pl -%%DATADIR%%/streaminfo.pl -%%DATADIR%%/process.pl -%%DATADIR%%/prolog_server.pl -%%DATADIR%%/sha.pl -%%DATADIR%%/uri.pl -%%DATADIR%%/http/web/icons/back.png -%%DATADIR%%/http/web/icons/c.png -%%DATADIR%%/http/web/icons/compressed.png -%%DATADIR%%/http/web/icons/folder.png -%%DATADIR%%/http/web/icons/generic.png -%%DATADIR%%/http/web/icons/layout.png -%%DATADIR%%/http/web/icons/openid-logo-square.png -%%DATADIR%%/http/web/icons/openid-logo-tiny.png -%%DATADIR%%/http/html_write.pl -%%DATADIR%%/http/http_client.pl -%%DATADIR%%/http/http_header.pl -%%DATADIR%%/http/http_mime_plugin.pl -%%DATADIR%%/http/http_sgml_plugin.pl -%%DATADIR%%/http/mimepack.pl -%%DATADIR%%/http/mimetype.pl -%%DATADIR%%/http/dcg_basics.pl -%%DATADIR%%/http/thread_httpd.pl -%%DATADIR%%/http/xpce_httpd.pl -%%DATADIR%%/http/inetd_httpd.pl -%%DATADIR%%/http/http_wrapper.pl -%%DATADIR%%/http/http_open.pl -%%DATADIR%%/http/http_session.pl -%%DATADIR%%/http/http_error.pl -%%DATADIR%%/http/http_parameters.pl -%%DATADIR%%/http/http_dispatch.pl -%%DATADIR%%/http/http_authenticate.pl -%%DATADIR%%/http/http_stream.pl -%%DATADIR%%/http/http_log.pl -%%DATADIR%%/http/http_path.pl -%%DATADIR%%/http/http_hook.pl -%%DATADIR%%/http/html_head.pl -%%DATADIR%%/http/http_exception.pl -%%DATADIR%%/http/json.pl -%%DATADIR%%/http/http_json.pl -%%DATADIR%%/http/json_convert.pl -%%DATADIR%%/http/http_dirindex.pl -%%DATADIR%%/http/http_server_files.pl -%%DATADIR%%/http/http_pwp.pl -%%DATADIR%%/http/http_host.pl -%%DATADIR%%/http/http_openid.pl -%%DATADIR%%/http/js_write.pl -%%DATADIR%%/http/README -%%DATADIR%%/plunit.pl -%%DATADIR%%/test_wizard.pl -%%DATADIR%%/test_cover.pl -%%DATADIR%%/DTD/HTML4.dcl -%%DATADIR%%/DTD/HTML4.dtd -%%DATADIR%%/DTD/HTML4.soc -%%DATADIR%%/DTD/HTMLlat1.ent -%%DATADIR%%/DTD/HTMLspec.ent -%%DATADIR%%/DTD/HTMLsym.ent -%%DATADIR%%/sgml.pl -%%DATADIR%%/xsdp_types.pl -%%DATADIR%%/iso_639.pl -%%DATADIR%%/sgml_write.pl -%%DATADIR%%/xpath.pl -%%DATADIR%%/pwp.pl -%%DATADIR%%/pltotex.pl -%%DATADIR%%/rdf.pl -%%DATADIR%%/rdf_parser.pl -%%DATADIR%%/rdf_triple.pl -%%DATADIR%%/rewrite.pl -%%DATADIR%%/rdf_ntriples.pl -%%DATADIR%%/rdf_write.pl -%%DATADIR%%/semweb/rdfs.rdfs -%%DATADIR%%/semweb/dc.rdfs -%%DATADIR%%/semweb/eor.rdfs -%%DATADIR%%/semweb/owl.owl -%%DATADIR%%/semweb/rdf_library.ttl -%%DATADIR%%/semweb/rdf_db.pl -%%DATADIR%%/semweb/rdfs.pl -%%DATADIR%%/semweb/rdf_edit.pl -%%DATADIR%%/semweb/rdf_litindex.pl -%%DATADIR%%/semweb/rdf_persistency.pl -%%DATADIR%%/semweb/rdf_turtle.pl -%%DATADIR%%/semweb/rdf_cache.pl -%%DATADIR%%/semweb/rdf_http_plugin.pl -%%DATADIR%%/semweb/rdf_zlib_plugin.pl -%%DATADIR%%/semweb/rdf_portray.pl -%%DATADIR%%/semweb/rdf_compare.pl -%%DATADIR%%/semweb/turtle_base.pl -%%DATADIR%%/semweb/rdf_turtle_write.pl -%%DATADIR%%/semweb/rdf_library.pl -%%DATADIR%%/semweb/sparql_client.pl -%%DATADIR%%/semweb/README -%%DATADIR%%/zlib.pl -%%DATADIR%%/dialect/swi/INDEX.pl -%%DATADIR%%/dialect/swi/listing.pl -%%DATADIR%%/dialect/swi/readutil.pl -%%DATADIR%%/dialect/commons.yap -%%DATADIR%%/dialect/hprolog.yap -%%DATADIR%%/dialect/swi.yap -%%DATADIR%%/INDEX.pl -%%DATADIR%%/apply.yap -%%DATADIR%%/apply_macros.yap -%%DATADIR%%/arg.yap -%%DATADIR%%/assoc.yap -%%DATADIR%%/atts.yap -%%DATADIR%%/autoloader.yap -%%DATADIR%%/avl.yap -%%DATADIR%%/bhash.yap -%%DATADIR%%/charsio.yap -%%DATADIR%%/cleanup.yap -%%DATADIR%%/clpfd.pl -%%DATADIR%%/coinduction.yap -%%DATADIR%%/dbqueues.yap -%%DATADIR%%/dbusage.yap -%%DATADIR%%/dgraphs.yap -%%DATADIR%%/expand_macros.yap -%%DATADIR%%/gensym.yap -%%DATADIR%%/hacks.yap -%%DATADIR%%/heaps.yap -%%DATADIR%%/lambda.pl -%%DATADIR%%/lineutils.yap -%%DATADIR%%/lists.yap -%%DATADIR%%/nb.yap -%%DATADIR%%/ordsets.yap -%%DATADIR%%/maplist.yap -%%DATADIR%%/matlab.yap -%%DATADIR%%/matrix.yap -%%DATADIR%%/prandom.yap -%%DATADIR%%/queues.yap -%%DATADIR%%/random.yap -%%DATADIR%%/r_session.yap -%%DATADIR%%/rbtrees.yap -%%DATADIR%%/readutil.yap -%%DATADIR%%/regexp.yap -%%DATADIR%%/rltree.yap -%%DATADIR%%/splay.yap -%%DATADIR%%/stringutils.yap -%%DATADIR%%/clp/clp_events.pl -%%DATADIR%%/system.yap -%%DATADIR%%/terms.yap -%%DATADIR%%/tries.yap -%%DATADIR%%/itries.yap -%%DATADIR%%/timeout.yap -%%DATADIR%%/trees.yap -%%DATADIR%%/ugraphs.yap -%%DATADIR%%/undgraphs.yap -%%DATADIR%%/varnumbers.yap -%%DATADIR%%/wdgraphs.yap -%%DATADIR%%/wgraphs.yap -%%DATADIR%%/wundgraphs.yap -%%DATADIR%%/lam_mpi.yap -%%DATADIR%%/ypp.yap -%%DATADIR%%/c_alarms.yap -%%DATADIR%%/flags.yap -%%DATADIR%%/block_diagram.yap -%%DATADIR%%/minisat_examples/adder.pl -%%DATADIR%%/minisat_examples/pearl_examples.pl -%%DATADIR%%/cnf.pl -%%DATADIR%%/minisat.pl -%%DATADIR%%/base64.pl -%%DATADIR%%/broadcast.pl -%%DATADIR%%/date.pl -%%DATADIR%%/debug.pl -%%DATADIR%%/maplist.pl -%%DATADIR%%/nb_set.pl -%%DATADIR%%/operators.pl -%%DATADIR%%/option.pl -%%DATADIR%%/prolog_source.pl -%%DATADIR%%/prolog_xref.pl -%%DATADIR%%/quintus.pl -%%DATADIR%%/record.pl -%%DATADIR%%/settings.pl -%%DATADIR%%/shlib.pl -%%DATADIR%%/url.pl -%%DATADIR%%/utf8.pl -%%DATADIR%%/aggregate.pl -%%DATADIR%%/ctypes.pl -%%DATADIR%%/error.pl -%%DATADIR%%/occurs.yap -%%DATADIR%%/pairs.pl -%%DATADIR%%/icon_address.pl -%%DATADIR%%/pillow.pl -%%DATADIR%%/clpbn/learning/bnt_parms.yap -%%DATADIR%%/clpbn/learning/em.yap -%%DATADIR%%/clpbn/learning/learn_utils.yap -%%DATADIR%%/clpbn/learning/mle.yap -%%DATADIR%%/clpbn/examples/School/README -%%DATADIR%%/clpbn/examples/School/evidence_128.yap -%%DATADIR%%/clpbn/examples/School/schema.yap -%%DATADIR%%/clpbn/examples/School/school_128.yap -%%DATADIR%%/clpbn/examples/School/school_32.yap -%%DATADIR%%/clpbn/examples/School/school_64.yap -%%DATADIR%%/clpbn/examples/School/tables.yap -%%DATADIR%%/clpbn/examples/cg.yap -%%DATADIR%%/clpbn/examples/sprinkler.yap -%%DATADIR%%/clpbn/aggregates.yap -%%DATADIR%%/clpbn/bnt.yap -%%DATADIR%%/clpbn/bp.yap -%%DATADIR%%/clpbn/connected.yap -%%DATADIR%%/clpbn/discrete_utils.yap -%%DATADIR%%/clpbn/display.yap -%%DATADIR%%/clpbn/dists.yap -%%DATADIR%%/clpbn/evidence.yap -%%DATADIR%%/clpbn/gibbs.yap -%%DATADIR%%/clpbn/graphs.yap -%%DATADIR%%/clpbn/graphviz.yap -%%DATADIR%%/clpbn/hmm.yap -%%DATADIR%%/clpbn/jt.yap -%%DATADIR%%/clpbn/matrix_cpt_utils.yap -%%DATADIR%%/clpbn/pgrammar.yap -%%DATADIR%%/clpbn/table.yap -%%DATADIR%%/clpbn/topsort.yap -%%DATADIR%%/clpbn/utils.yap -%%DATADIR%%/clpbn/vel.yap -%%DATADIR%%/clpbn/viterbi.yap -%%DATADIR%%/clpbn/xbif.yap -%%DATADIR%%/clpbn.yap -%%DATADIR%%/problog/extlists.yap -%%DATADIR%%/problog/flags.yap -%%DATADIR%%/problog/gflags.yap -%%DATADIR%%/problog/grounder.yap -%%DATADIR%%/problog/hash_table.yap -%%DATADIR%%/problog/intervals.yap -%%DATADIR%%/problog/logger.yap -%%DATADIR%%/problog/mc_DNF_sampling.yap -%%DATADIR%%/problog/os.yap -%%DATADIR%%/problog/print.yap -%%DATADIR%%/problog/sampling.yap -%%DATADIR%%/problog/tabling.yap -%%DATADIR%%/problog/timer.yap -%%DATADIR%%/problog/ptree.yap -%%DATADIR%%/problog/variable_elimination.yap -%%DATADIR%%/problog/print_learning.yap -%%DATADIR%%/problog/utils_learning.yap -%%DATADIR%%/problog/version_control.yap -%%DATADIR%%/problog/nestedtries.yap -%%DATADIR%%/problog/utils.yap -%%DATADIR%%/problog/bdd.yap -%%DATADIR%%/problog/ad_converter.yap -%%DATADIR%%/problog/termhandling.yap -%%DATADIR%%/problog/completion.yap -%%DATADIR%%/problog/discrete.yap -%%DATADIR%%/problog/variables.yap -%%DATADIR%%/problog_examples/alarm.pl -%%DATADIR%%/problog_examples/graph.pl -%%DATADIR%%/problog_examples/graph_tabled.pl -%%DATADIR%%/problog_examples/learn_graph.pl -%%DATADIR%%/problog_examples/office.pl -%%DATADIR%%/problog_examples/viralmarketing.pl -%%DATADIR%%/problog_examples/aProbLog_examples.pl -%%DATADIR%%/problog_examples/viralmarketing_tabled.pl -%%DATADIR%%/problog.yap -%%DATADIR%%/chr/chr_runtime.pl -%%DATADIR%%/chr/chr_op.pl -%%DATADIR%%/chr/chr_translate.pl -%%DATADIR%%/chr/chr_debug.pl -%%DATADIR%%/chr/chr_messages.pl -%%DATADIR%%/chr/pairlist.pl -%%DATADIR%%/chr/clean_code.pl -%%DATADIR%%/chr/find.pl -%%DATADIR%%/chr/a_star.pl -%%DATADIR%%/chr/binomialheap.pl -%%DATADIR%%/chr/builtins.pl -%%DATADIR%%/chr/chr_hashtable_store.pl -%%DATADIR%%/chr/listmap.pl -%%DATADIR%%/chr/guard_entailment.pl -%%DATADIR%%/chr/chr_compiler_options.pl -%%DATADIR%%/chr/chr_compiler_utility.pl -%%DATADIR%%/chr/chr_compiler_errors.pl -%%DATADIR%%/chr/chr_integertable_store.pl -%%DATADIR%%/chr/README -%%DATADIR%%/problog_lfi.yap -%%DATADIR%%/dtproblog.yap -%%DATADIR%%/aproblog.yap -%%DATADIR%%/problog_learning.yap -%%DATADIR%%/chr.pl -%%DATADIR%%/clpr/bb_r.pl -%%DATADIR%%/clpr/bv_r.pl -%%DATADIR%%/clpr/fourmotz_r.pl -%%DATADIR%%/clpr/ineq_r.pl -%%DATADIR%%/clpr/itf_r.pl -%%DATADIR%%/clpr/nf_r.pl -%%DATADIR%%/clpr/store_r.pl -%%DATADIR%%/clpq/bb_q.pl -%%DATADIR%%/clpq/bv_q.pl -%%DATADIR%%/clpq/fourmotz_q.pl -%%DATADIR%%/clpq/ineq_q.pl -%%DATADIR%%/clpq/itf_q.pl -%%DATADIR%%/clpq/nf_q.pl -%%DATADIR%%/clpq/store_q.pl -%%DATADIR%%/clpqr/class.pl -%%DATADIR%%/clpqr/dump.pl -%%DATADIR%%/clpqr/geler.pl -%%DATADIR%%/clpqr/itf.pl -%%DATADIR%%/clpqr/ordering.pl -%%DATADIR%%/clpqr/project.pl -%%DATADIR%%/clpqr/redund.pl -%%DATADIR%%/clpqr/README -%%DATADIR%%/clpr.pl -%%DATADIR%%/clpq.pl |