From fc8a0c528d399112a4cf324b5c60d4e46aa47202 Mon Sep 17 00:00:00 2001 From: asau Date: Thu, 11 Feb 2010 20:43:49 +0000 Subject: Update to Yap 5.1.3. Many improvements, bug and compatibility fixes since previous 5.0.0 package. --- lang/yap/PLIST | 243 ++++++++++++++++++++------------------------------------- 1 file changed, 84 insertions(+), 159 deletions(-) (limited to 'lang/yap/PLIST') diff --git a/lang/yap/PLIST b/lang/yap/PLIST index f65b1695771..69144e942e8 100644 --- a/lang/yap/PLIST +++ b/lang/yap/PLIST @@ -1,8 +1,12 @@ -@comment $NetBSD: PLIST,v 1.3 2009/06/14 18:03:45 joerg Exp $ +@comment $NetBSD: PLIST,v 1.4 2010/02/11 20:43:49 asau Exp $ bin/yap +include/Yap/SWI-Prolog.h +include/Yap/SWI-Stream.h include/Yap/YapInterface.h include/Yap/c_interface.h include/Yap/yap_structs.h +lib/Yap/itries.so +lib/Yap/matrix.so lib/Yap/random.so lib/Yap/regcomp.so lib/Yap/regerror.so @@ -11,208 +15,118 @@ lib/Yap/regexp.so lib/Yap/regfree.so lib/Yap/startup lib/Yap/sys.so -lib/Yap/yap2swi.so -lib/Yap/yap_tries.so +lib/Yap/tries.so +lib/Yap/yap_rl.so lib/libYap.a -share/Yap/CHR.LICENSE -share/Yap/CLPQR.LICENSE +share/Yap/aggregate.pl +share/Yap/apply.pl +share/Yap/apply.yap share/Yap/apply_macros.yap +share/Yap/arg.yap share/Yap/assoc.yap share/Yap/atts.yap share/Yap/avl.yap share/Yap/charsio.yap -share/Yap/chr.yap -share/Yap/chr/chrcmp.pl -share/Yap/chr/compenv.pl -share/Yap/chr/concat.pl -share/Yap/chr/examples/allentable.pl -share/Yap/chr/examples/arc.pl -share/Yap/chr/examples/bool.pl -share/Yap/chr/examples/cft.pl -share/Yap/chr/examples/domain.pl -share/Yap/chr/examples/examples-adder.bool -share/Yap/chr/examples/examples-benchmark.math -share/Yap/chr/examples/examples-deussen.bool -share/Yap/chr/examples/examples-diaz.bool -share/Yap/chr/examples/examples-fourier.math -share/Yap/chr/examples/examples-holzbaur.math -share/Yap/chr/examples/examples-lim1.math -share/Yap/chr/examples/examples-lim2.math -share/Yap/chr/examples/examples-lim3.math -share/Yap/chr/examples/examples-puzzle.bool -share/Yap/chr/examples/examples-queens.bool -share/Yap/chr/examples/examples-queens.domain -share/Yap/chr/examples/examples-stuckey.math -share/Yap/chr/examples/examples-thom.math -share/Yap/chr/examples/gcd.pl -share/Yap/chr/examples/interval.pl -share/Yap/chr/examples/kl-one.pl -share/Yap/chr/examples/leq.pl -share/Yap/chr/examples/list.pl -share/Yap/chr/examples/listdom.pl -share/Yap/chr/examples/math-elim.pl -share/Yap/chr/examples/math-fougau.pl -share/Yap/chr/examples/math-fourier.pl -share/Yap/chr/examples/math-gauss.pl -share/Yap/chr/examples/math-utilities.pl -share/Yap/chr/examples/minmax.pl -share/Yap/chr/examples/modelgenerator.pl -share/Yap/chr/examples/osf.pl -share/Yap/chr/examples/oztype.pl -share/Yap/chr/examples/path.pl -share/Yap/chr/examples/pathc.pl -share/Yap/chr/examples/primes.pl -share/Yap/chr/examples/scheduling.pl -share/Yap/chr/examples/tarski.pl -share/Yap/chr/examples/term.pl -share/Yap/chr/examples/time-pc.pl -share/Yap/chr/examples/time-point.pl -share/Yap/chr/examples/time-rnd.pl -share/Yap/chr/examples/time.pl -share/Yap/chr/examples/tree.pl -share/Yap/chr/examples/type.pl -share/Yap/chr/getval.pl -share/Yap/chr/matching.pl -share/Yap/chr/operator.pl -share/Yap/chr/ordering.pl -share/Yap/chr/sbag.pl -share/Yap/chr/sbag_a.pl -share/Yap/chr/sbag_l.pl -share/Yap/chr/trace.yap share/Yap/cleanup.yap +share/Yap/clp/clp_events.pl share/Yap/clpbn.yap share/Yap/clpbn/aggregates.yap share/Yap/clpbn/bnt.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/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/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/learning/bnt_parms.yap +share/Yap/clpbn/learning/learn_utils.yap +share/Yap/clpbn/learning/mle.yap +share/Yap/clpbn/matrix_cpt_utils.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/clpq.yap -share/Yap/clpq/arith_q.yap -share/Yap/clpq/class.yap -share/Yap/clpq/geler.yap -share/Yap/clpq/nf.yap -share/Yap/clpq/nfq.yap -share/Yap/clpqr/arith.pl -share/Yap/clpqr/bb.yap -share/Yap/clpqr/bv.yap -share/Yap/clpqr/compenv.pl +share/Yap/clpfd.pl +share/Yap/clpq.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/README +share/Yap/clpqr/class.pl share/Yap/clpqr/dump.pl -share/Yap/clpqr/examples/README -share/Yap/clpqr/examples/SESSION/010 -share/Yap/clpqr/examples/SESSION/011 -share/Yap/clpqr/examples/SESSION/012 -share/Yap/clpqr/examples/SESSION/013 -share/Yap/clpqr/examples/SESSION/014 -share/Yap/clpqr/examples/SESSION/015 -share/Yap/clpqr/examples/SESSION/016 -share/Yap/clpqr/examples/SESSION/017 -share/Yap/clpqr/examples/SESSION/018 -share/Yap/clpqr/examples/SESSION/019 -share/Yap/clpqr/examples/SESSION/020 -share/Yap/clpqr/examples/SESSION/021 -share/Yap/clpqr/examples/SESSION/022 -share/Yap/clpqr/examples/SESSION/023 -share/Yap/clpqr/examples/SESSION/024 -share/Yap/clpqr/examples/SESSION/030 -share/Yap/clpqr/examples/SESSION/031 -share/Yap/clpqr/examples/SESSION/032 -share/Yap/clpqr/examples/SESSION/033 -share/Yap/clpqr/examples/SESSION/034 -share/Yap/clpqr/examples/SESSION/035 -share/Yap/clpqr/examples/SESSION/110 -share/Yap/clpqr/examples/SESSION/111 -share/Yap/clpqr/examples/SESSION/112 -share/Yap/clpqr/examples/SESSION/113 -share/Yap/clpqr/examples/SESSION/114 -share/Yap/clpqr/examples/SESSION/115 -share/Yap/clpqr/examples/SESSION/116 -share/Yap/clpqr/examples/SESSION/117 -share/Yap/clpqr/examples/SESSION/118 -share/Yap/clpqr/examples/SESSION/119 -share/Yap/clpqr/examples/SESSION/120 -share/Yap/clpqr/examples/SESSION/122 -share/Yap/clpqr/examples/SESSION/123 -share/Yap/clpqr/examples/SESSION/124 -share/Yap/clpqr/examples/SESSION/130 -share/Yap/clpqr/examples/SESSION/131 -share/Yap/clpqr/examples/SESSION/132 -share/Yap/clpqr/examples/SESSION/133 -share/Yap/clpqr/examples/SESSION/134 -share/Yap/clpqr/examples/SESSION/135 -share/Yap/clpqr/examples/caneghem.pl -share/Yap/clpqr/examples/eliminat.pl -share/Yap/clpqr/examples/matmul.pl -share/Yap/clpqr/examples/mg.pl -share/Yap/clpqr/examples/mip.pl -share/Yap/clpqr/examples/monash/README -share/Yap/clpqr/examples/monash/air -share/Yap/clpqr/examples/monash/amplif -share/Yap/clpqr/examples/monash/complex -share/Yap/clpqr/examples/monash/critical -share/Yap/clpqr/examples/monash/dnf -share/Yap/clpqr/examples/monash/fib -share/Yap/clpqr/examples/monash/findroot -share/Yap/clpqr/examples/monash/invert -share/Yap/clpqr/examples/monash/laplace -share/Yap/clpqr/examples/monash/mortgage -share/Yap/clpqr/examples/monash/nrev -share/Yap/clpqr/examples/monash/option -share/Yap/clpqr/examples/monash/pictures -share/Yap/clpqr/examples/monash/rkf45 -share/Yap/clpqr/examples/monash/rlc -share/Yap/clpqr/examples/monash/smm -share/Yap/clpqr/examples/monash/toolpath -share/Yap/clpqr/examples/monash/zebra -share/Yap/clpqr/examples/root.pl -share/Yap/clpqr/examples/simplex.pl -share/Yap/clpqr/examples/squares.pl -share/Yap/clpqr/expand.yap -share/Yap/clpqr/fourmotz.pl -share/Yap/clpqr/ineq.yap -share/Yap/clpqr/itf3.pl -share/Yap/clpqr/monash.pl -share/Yap/clpqr/ordering.yap -share/Yap/clpqr/printf.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/store.yap -share/Yap/clpr.yap -share/Yap/clpr/arith_r.yap -share/Yap/clpr/class.yap -share/Yap/clpr/geler.yap -share/Yap/clpr/nf.yap -share/Yap/clpr/nfr.yap +share/Yap/clpr.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/dbqueues.yap +share/Yap/debug.pl +share/Yap/dgraphs.yap +share/Yap/error.pl +share/Yap/gensym.yap +share/Yap/hacks.yap share/Yap/heaps.yap share/Yap/icon_address.pl +share/Yap/itries.yap +share/Yap/lam_mpi.yap +share/Yap/lineutils.yap +share/Yap/listing.yap share/Yap/lists.yap -share/Yap/logtalk.yap -share/Yap/logtalk/logtalk.pl -share/Yap/logtalk/yap.config +share/Yap/maplist.pl +share/Yap/matlab.yap +share/Yap/matrix.yap +share/Yap/nb.yap +share/Yap/occurs.yap +share/Yap/operators.pl +share/Yap/option.pl share/Yap/ordsets.yap +share/Yap/pairs.pl share/Yap/pillow.pl share/Yap/pl/arith.yap share/Yap/pl/arrays.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/corout.yap share/Yap/pl/debug.yap share/Yap/pl/depth_bound.yap share/Yap/pl/directives.yap +share/Yap/pl/eam.yap share/Yap/pl/errors.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/load_foreign.yap +share/Yap/pl/messages.yap share/Yap/pl/modules.yap share/Yap/pl/preds.yap share/Yap/pl/profile.yap @@ -229,16 +143,27 @@ share/Yap/pl/utils.yap share/Yap/pl/yapor.yap share/Yap/pl/yio.yap share/Yap/prandom.yap +share/Yap/prolog_source.pl +share/Yap/prolog_xref.pl share/Yap/queues.yap share/Yap/random.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/swi.yap +share/Yap/swi/apply_macros.pl share/Yap/system.yap share/Yap/terms.yap share/Yap/timeout.yap share/Yap/trees.yap share/Yap/tries.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/ypp.yap -- cgit v1.2.3