diff options
author | Felippe de Meirelles Motta <lippe@FreeBSD.org> | 2013-07-03 23:16:34 +0000 |
---|---|---|
committer | Felippe de Meirelles Motta <lippe@FreeBSD.org> | 2013-07-03 23:16:34 +0000 |
commit | e35eb069bd85d49a866de9904dba89fc7a557f75 (patch) | |
tree | 2adfe65b102a55388769aa5a88c4b631c87bd909 /lang/yap | |
parent | - Updated to 3.1.0 [1] (diff) |
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/
PR: ports/180068
Submitted by: Danilo Egea Gondolfo <danilogondolfo@gmail.com>
Notes
Notes:
svn path=/head/; revision=322261
Diffstat (limited to 'lang/yap')
-rw-r--r-- | lang/yap/Makefile | 45 | ||||
-rw-r--r-- | lang/yap/distinfo | 2 | ||||
-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 | 30 | ||||
-rw-r--r-- | lang/yap/pkg-descr | 8 | ||||
-rw-r--r-- | lang/yap/pkg-plist | 502 |
6 files changed, 597 insertions, 0 deletions
diff --git a/lang/yap/Makefile b/lang/yap/Makefile new file mode 100644 index 000000000000..dfb4e02e7b22 --- /dev/null +++ b/lang/yap/Makefile @@ -0,0 +1,45 @@ +# Created by: Danilo Egea Gondolfo <danilogondolfo@gmail.com> +# $FreeBSD$ + +PORTNAME= yap +PORTVERSION= 6.2.2 +CATEGORIES= lang +MASTER_SITES= http://www.dcc.fc.up.pt/~vsc/Yap/ + +MAINTAINER= danilogondolfo@gmail.com +COMMENT= High-performance Prolog compiler + +OPTIONS_DEFINE= DOCS + +.include <bsd.port.options.mk> + +.if ${PORT_OPTIONS:MDOCS} +PLIST_SUB+= PORTDOCS="" +USE_TEX= base texmf latex +BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2html:${PORTSDIR}/textproc/texi2html +BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/texinfo +.else +PLIST_SUB+= PORTDOCS="@comment " +.endif + +USE_LDCONFIG= yes +GNU_CONFIGURE= yes +CONFIGURE_ARGS= --enable-max-performance +USE_GMAKE= yes +MAKE_JOBS_SAFE= yes + +DOCSDIR= ${PREFIX}/share/doc/Yap +DATADIR= ${PREFIX}/share/Yap + +post-build: +.if empty(PORT_OPTIONS:MDOCS) + # prevent the instalation of three docs files + ${REINPLACE_CMD} -e '559,562d' ${WRKSRC}/Makefile +.endif + +post-install: +.if ${PORT_OPTIONS:MDOCS} + (cd ${WRKSRC} ; ${MAKE} install_docs) +.endif + +.include <bsd.port.mk> diff --git a/lang/yap/distinfo b/lang/yap/distinfo new file mode 100644 index 000000000000..c7019045ef67 --- /dev/null +++ b/lang/yap/distinfo @@ -0,0 +1,2 @@ +SHA256 (yap-6.2.2.tar.gz) = f15f8382104443319a5883eafce5f52f4143b526c7f1cd88d19c1f63fc06d750 +SIZE (yap-6.2.2.tar.gz) = 5499811 diff --git a/lang/yap/files/patch-library__dialect__swi__fli__blobs.c b/lang/yap/files/patch-library__dialect__swi__fli__blobs.c new file mode 100644 index 000000000000..267c78fe33d3 --- /dev/null +++ b/lang/yap/files/patch-library__dialect__swi__fli__blobs.c @@ -0,0 +1,10 @@ +--- ./library/dialect/swi/fli/blobs.c.orig 2013-06-28 00:56:12.000000000 -0300 ++++ ./library/dialect/swi/fli/blobs.c 2013-06-28 00:56:27.000000000 -0300 +@@ -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 new file mode 100644 index 000000000000..8f35ebbf5a22 --- /dev/null +++ b/lang/yap/files/patch-packages__swi-minisat2__C__SolverTypes.h @@ -0,0 +1,30 @@ +--- ./packages/swi-minisat2/C/SolverTypes.h.orig 2013-06-28 00:56:48.000000000 -0300 ++++ ./packages/swi-minisat2/C/SolverTypes.h 2013-06-28 00:57:51.000000000 -0300 +@@ -119,11 +119,7 @@ + + // -- 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 = false); + + int size () const { return size_etc >> 3; } + void shrink (int i) { assert(i <= size()); size_etc = (((size_etc >> 3) - i) << 3) | (size_etc & 7); } +@@ -146,6 +142,14 @@ + void strengthen (Lit p); + }; + ++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); ++} ++ + + /*_________________________________________________________________________________________________ + | diff --git a/lang/yap/pkg-descr b/lang/yap/pkg-descr new file mode 100644 index 000000000000..e7c1308bda06 --- /dev/null +++ b/lang/yap/pkg-descr @@ -0,0 +1,8 @@ +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 new file mode 100644 index 000000000000..e6e9d33c19f8 --- /dev/null +++ b/lang/yap/pkg-plist @@ -0,0 +1,502 @@ +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 +share/Yap/pl/arith.yap +share/Yap/pl/arrays.yap +share/Yap/pl/attributes.yap +share/Yap/pl/boot.yap +share/Yap/pl/callcount.yap +share/Yap/pl/checker.yap +share/Yap/pl/chtypes.yap +share/Yap/pl/consult.yap +share/Yap/pl/control.yap +share/Yap/pl/corout.yap +share/Yap/pl/debug.yap +share/Yap/pl/depth_bound.yap +share/Yap/pl/dialect.yap +share/Yap/pl/directives.yap +share/Yap/pl/eam.yap +share/Yap/pl/eval.yap +share/Yap/pl/errors.yap +share/Yap/pl/flags.yap +share/Yap/pl/grammar.yap +share/Yap/pl/ground.yap +share/Yap/pl/hacks.yap +share/Yap/pl/init.yap +share/Yap/pl/listing.yap +share/Yap/pl/udi.yap +share/Yap/pl/lists.yap +share/Yap/pl/messages.yap +share/Yap/pl/load_foreign.yap +share/Yap/pl/modules.yap +share/Yap/pl/preds.yap +share/Yap/pl/profile.yap +share/Yap/pl/protect.yap +share/Yap/pl/save.yap +share/Yap/pl/setof.yap +share/Yap/pl/signals.yap +share/Yap/pl/sockets.yap +share/Yap/pl/sort.yap +share/Yap/pl/statistics.yap +share/Yap/pl/strict_iso.yap +share/Yap/pl/tabling.yap +share/Yap/pl/threads.yap +share/Yap/pl/utils.yap +share/Yap/pl/yapor.yap +share/Yap/pl/yio.yap +share/Yap/unix.pl +share/Yap/random.pl +share/Yap/socket.pl +share/Yap/cgi.pl +share/Yap/memfile.pl +share/Yap/filesex.pl +share/Yap/mime.pl +share/Yap/crypt.pl +share/Yap/time.pl +share/Yap/streaminfo.pl +share/Yap/process.pl +share/Yap/prolog_server.pl +share/Yap/sha.pl +share/Yap/uri.pl +share/Yap/http/web/icons/back.png +share/Yap/http/web/icons/c.png +share/Yap/http/web/icons/compressed.png +share/Yap/http/web/icons/folder.png +share/Yap/http/web/icons/generic.png +share/Yap/http/web/icons/layout.png +share/Yap/http/web/icons/openid-logo-square.png +share/Yap/http/web/icons/openid-logo-tiny.png +share/Yap/http/html_write.pl +share/Yap/http/http_client.pl +share/Yap/http/http_header.pl +share/Yap/http/http_mime_plugin.pl +share/Yap/http/http_sgml_plugin.pl +share/Yap/http/mimepack.pl +share/Yap/http/mimetype.pl +share/Yap/http/dcg_basics.pl +share/Yap/http/thread_httpd.pl +share/Yap/http/xpce_httpd.pl +share/Yap/http/inetd_httpd.pl +share/Yap/http/http_wrapper.pl +share/Yap/http/http_open.pl +share/Yap/http/http_session.pl +share/Yap/http/http_error.pl +share/Yap/http/http_parameters.pl +share/Yap/http/http_dispatch.pl +share/Yap/http/http_authenticate.pl +share/Yap/http/http_stream.pl +share/Yap/http/http_log.pl +share/Yap/http/http_path.pl +share/Yap/http/http_hook.pl +share/Yap/http/html_head.pl +share/Yap/http/http_exception.pl +share/Yap/http/json.pl +share/Yap/http/http_json.pl +share/Yap/http/json_convert.pl +share/Yap/http/http_dirindex.pl +share/Yap/http/http_server_files.pl +share/Yap/http/http_pwp.pl +share/Yap/http/http_host.pl +share/Yap/http/http_openid.pl +share/Yap/http/js_write.pl +share/Yap/http/README +share/Yap/plunit.pl +share/Yap/test_wizard.pl +share/Yap/test_cover.pl +share/Yap/DTD/HTML4.dcl +share/Yap/DTD/HTML4.dtd +share/Yap/DTD/HTML4.soc +share/Yap/DTD/HTMLlat1.ent +share/Yap/DTD/HTMLspec.ent +share/Yap/DTD/HTMLsym.ent +share/Yap/sgml.pl +share/Yap/xsdp_types.pl +share/Yap/iso_639.pl +share/Yap/sgml_write.pl +share/Yap/xpath.pl +share/Yap/pwp.pl +share/Yap/pltotex.pl +share/Yap/rdf.pl +share/Yap/rdf_parser.pl +share/Yap/rdf_triple.pl +share/Yap/rewrite.pl +share/Yap/rdf_ntriples.pl +share/Yap/rdf_write.pl +share/Yap/semweb/rdfs.rdfs +share/Yap/semweb/dc.rdfs +share/Yap/semweb/eor.rdfs +share/Yap/semweb/owl.owl +share/Yap/semweb/rdf_library.ttl +share/Yap/semweb/rdf_db.pl +share/Yap/semweb/rdfs.pl +share/Yap/semweb/rdf_edit.pl +share/Yap/semweb/rdf_litindex.pl +share/Yap/semweb/rdf_persistency.pl +share/Yap/semweb/rdf_turtle.pl +share/Yap/semweb/rdf_cache.pl +share/Yap/semweb/rdf_http_plugin.pl +share/Yap/semweb/rdf_zlib_plugin.pl +share/Yap/semweb/rdf_portray.pl +share/Yap/semweb/rdf_compare.pl +share/Yap/semweb/turtle_base.pl +share/Yap/semweb/rdf_turtle_write.pl +share/Yap/semweb/rdf_library.pl +share/Yap/semweb/sparql_client.pl +share/Yap/semweb/README +share/Yap/zlib.pl +share/Yap/dialect/swi/INDEX.pl +share/Yap/dialect/swi/listing.pl +share/Yap/dialect/swi/readutil.pl +share/Yap/dialect/commons.yap +share/Yap/dialect/hprolog.yap +share/Yap/dialect/swi.yap +share/Yap/INDEX.pl +share/Yap/apply.yap +share/Yap/apply_macros.yap +share/Yap/arg.yap +share/Yap/assoc.yap +share/Yap/atts.yap +share/Yap/autoloader.yap +share/Yap/avl.yap +share/Yap/bhash.yap +share/Yap/charsio.yap +share/Yap/cleanup.yap +share/Yap/clpfd.pl +share/Yap/coinduction.yap +share/Yap/dbqueues.yap +share/Yap/dbusage.yap +share/Yap/dgraphs.yap +share/Yap/expand_macros.yap +share/Yap/gensym.yap +share/Yap/hacks.yap +share/Yap/heaps.yap +share/Yap/lambda.pl +share/Yap/lineutils.yap +share/Yap/lists.yap +share/Yap/nb.yap +share/Yap/ordsets.yap +share/Yap/maplist.yap +share/Yap/matlab.yap +share/Yap/matrix.yap +share/Yap/prandom.yap +share/Yap/queues.yap +share/Yap/random.yap +share/Yap/r_session.yap +share/Yap/rbtrees.yap +share/Yap/readutil.yap +share/Yap/regexp.yap +share/Yap/rltree.yap +share/Yap/splay.yap +share/Yap/stringutils.yap +share/Yap/clp/clp_events.pl +share/Yap/system.yap +share/Yap/terms.yap +share/Yap/tries.yap +share/Yap/itries.yap +share/Yap/timeout.yap +share/Yap/trees.yap +share/Yap/ugraphs.yap +share/Yap/undgraphs.yap +share/Yap/varnumbers.yap +share/Yap/wdgraphs.yap +share/Yap/wgraphs.yap +share/Yap/wundgraphs.yap +share/Yap/lam_mpi.yap +share/Yap/ypp.yap +share/Yap/c_alarms.yap +share/Yap/flags.yap +share/Yap/block_diagram.yap +share/Yap/minisat_examples/adder.pl +share/Yap/minisat_examples/pearl_examples.pl +share/Yap/cnf.pl +share/Yap/minisat.pl +share/Yap/base64.pl +share/Yap/broadcast.pl +share/Yap/date.pl +share/Yap/debug.pl +share/Yap/maplist.pl +share/Yap/nb_set.pl +share/Yap/operators.pl +share/Yap/option.pl +share/Yap/prolog_source.pl +share/Yap/prolog_xref.pl +share/Yap/quintus.pl +share/Yap/record.pl +share/Yap/settings.pl +share/Yap/shlib.pl +share/Yap/url.pl +share/Yap/utf8.pl +share/Yap/aggregate.pl +share/Yap/ctypes.pl +share/Yap/error.pl +share/Yap/occurs.yap +share/Yap/pairs.pl +share/Yap/icon_address.pl +share/Yap/pillow.pl +share/Yap/clpbn/learning/bnt_parms.yap +share/Yap/clpbn/learning/em.yap +share/Yap/clpbn/learning/learn_utils.yap +share/Yap/clpbn/learning/mle.yap +share/Yap/clpbn/examples/School/README +share/Yap/clpbn/examples/School/evidence_128.yap +share/Yap/clpbn/examples/School/schema.yap +share/Yap/clpbn/examples/School/school_128.yap +share/Yap/clpbn/examples/School/school_32.yap +share/Yap/clpbn/examples/School/school_64.yap +share/Yap/clpbn/examples/School/tables.yap +share/Yap/clpbn/examples/cg.yap +share/Yap/clpbn/examples/sprinkler.yap +share/Yap/clpbn/aggregates.yap +share/Yap/clpbn/bnt.yap +share/Yap/clpbn/bp.yap +share/Yap/clpbn/connected.yap +share/Yap/clpbn/discrete_utils.yap +share/Yap/clpbn/display.yap +share/Yap/clpbn/dists.yap +share/Yap/clpbn/evidence.yap +share/Yap/clpbn/gibbs.yap +share/Yap/clpbn/graphs.yap +share/Yap/clpbn/graphviz.yap +share/Yap/clpbn/hmm.yap +share/Yap/clpbn/jt.yap +share/Yap/clpbn/matrix_cpt_utils.yap +share/Yap/clpbn/pgrammar.yap +share/Yap/clpbn/table.yap +share/Yap/clpbn/topsort.yap +share/Yap/clpbn/utils.yap +share/Yap/clpbn/vel.yap +share/Yap/clpbn/viterbi.yap +share/Yap/clpbn/xbif.yap +share/Yap/clpbn.yap +share/Yap/problog/extlists.yap +share/Yap/problog/flags.yap +share/Yap/problog/gflags.yap +share/Yap/problog/grounder.yap +share/Yap/problog/hash_table.yap +share/Yap/problog/intervals.yap +share/Yap/problog/logger.yap +share/Yap/problog/mc_DNF_sampling.yap +share/Yap/problog/os.yap +share/Yap/problog/print.yap +share/Yap/problog/sampling.yap +share/Yap/problog/tabling.yap +share/Yap/problog/timer.yap +share/Yap/problog/ptree.yap +share/Yap/problog/variable_elimination.yap +share/Yap/problog/print_learning.yap +share/Yap/problog/utils_learning.yap +share/Yap/problog/version_control.yap +share/Yap/problog/nestedtries.yap +share/Yap/problog/utils.yap +share/Yap/problog/bdd.yap +share/Yap/problog/ad_converter.yap +share/Yap/problog/termhandling.yap +share/Yap/problog/completion.yap +share/Yap/problog/discrete.yap +share/Yap/problog/variables.yap +share/Yap/problog_examples/alarm.pl +share/Yap/problog_examples/graph.pl +share/Yap/problog_examples/graph_tabled.pl +share/Yap/problog_examples/learn_graph.pl +share/Yap/problog_examples/office.pl +share/Yap/problog_examples/viralmarketing.pl +share/Yap/problog_examples/aProbLog_examples.pl +share/Yap/problog_examples/viralmarketing_tabled.pl +share/Yap/problog.yap +share/Yap/chr/chr_runtime.pl +share/Yap/chr/chr_op.pl +share/Yap/chr/chr_translate.pl +share/Yap/chr/chr_debug.pl +share/Yap/chr/chr_messages.pl +share/Yap/chr/pairlist.pl +share/Yap/chr/clean_code.pl +share/Yap/chr/find.pl +share/Yap/chr/a_star.pl +share/Yap/chr/binomialheap.pl +share/Yap/chr/builtins.pl +share/Yap/chr/chr_hashtable_store.pl +share/Yap/chr/listmap.pl +share/Yap/chr/guard_entailment.pl +share/Yap/chr/chr_compiler_options.pl +share/Yap/chr/chr_compiler_utility.pl +share/Yap/chr/chr_compiler_errors.pl +share/Yap/chr/chr_integertable_store.pl +share/Yap/chr/README +share/Yap/problog_lfi.yap +share/Yap/dtproblog.yap +share/Yap/aproblog.yap +share/Yap/problog_learning.yap +share/Yap/chr.pl +share/Yap/clpr/bb_r.pl +share/Yap/clpr/bv_r.pl +share/Yap/clpr/fourmotz_r.pl +share/Yap/clpr/ineq_r.pl +share/Yap/clpr/itf_r.pl +share/Yap/clpr/nf_r.pl +share/Yap/clpr/store_r.pl +share/Yap/clpq/bb_q.pl +share/Yap/clpq/bv_q.pl +share/Yap/clpq/fourmotz_q.pl +share/Yap/clpq/ineq_q.pl +share/Yap/clpq/itf_q.pl +share/Yap/clpq/nf_q.pl +share/Yap/clpq/store_q.pl +share/Yap/clpqr/class.pl +share/Yap/clpqr/dump.pl +share/Yap/clpqr/geler.pl +share/Yap/clpqr/itf.pl +share/Yap/clpqr/ordering.pl +share/Yap/clpqr/project.pl +share/Yap/clpqr/redund.pl +share/Yap/clpqr/README +share/Yap/clpr.pl +share/Yap/clpq.pl +%%PORTDOCS%%@dirrm %%DOCSDIR%% +@dirrm %%DATADIR%%/clpqr +@dirrm %%DATADIR%%/clpq +@dirrm %%DATADIR%%/clpr +@dirrm %%DATADIR%%/chr +@dirrm %%DATADIR%%/problog_examples +@dirrm %%DATADIR%%/problog +@dirrm %%DATADIR%%/clpbn/examples/School +@dirrm %%DATADIR%%/clpbn/examples +@dirrm %%DATADIR%%/clpbn/learning +@dirrm %%DATADIR%%/clpbn +@dirrm %%DATADIR%%/clp +@dirrm %%DATADIR%%/minisat_examples +@dirrm %%DATADIR%%/dialect/swi +@dirrm %%DATADIR%%/dialect +@dirrm %%DATADIR%%/semweb +@dirrm %%DATADIR%%/DTD +@dirrm %%DATADIR%%/http/web/icons +@dirrm %%DATADIR%%/http/web +@dirrm %%DATADIR%%/http +@dirrm %%DATADIR%%/pl +@dirrm %%DATADIR%% +@dirrm lib/web/css +@dirrm lib/web +@dirrm lib/Yap +@dirrm include/Yap |