summaryrefslogtreecommitdiff
path: root/lang/yap
diff options
context:
space:
mode:
authorrillig <rillig@pkgsrc.org>2005-07-20 13:08:15 +0000
committerrillig <rillig@pkgsrc.org>2005-07-20 13:08:15 +0000
commit07ac4c5dfd3b10858198ab1e07ad770aceb6a93e (patch)
treef76d77fa005b02af25dc0ab5b1f839b6da335be6 /lang/yap
parentb2549d8f87fd65221469f0b7853b92bd37fc5e6b (diff)
downloadpkgsrc-07ac4c5dfd3b10858198ab1e07ad770aceb6a93e.tar.gz
Added YAP-4.4.4.
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.
Diffstat (limited to 'lang/yap')
-rw-r--r--lang/yap/DESCR6
-rw-r--r--lang/yap/Makefile17
-rw-r--r--lang/yap/PLIST204
-rw-r--r--lang/yap/distinfo5
4 files changed, 232 insertions, 0 deletions
diff --git a/lang/yap/DESCR b/lang/yap/DESCR
new file mode 100644
index 00000000000..23569827ac3
--- /dev/null
+++ b/lang/yap/DESCR
@@ -0,0 +1,6 @@
+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.
diff --git a/lang/yap/Makefile b/lang/yap/Makefile
new file mode 100644
index 00000000000..1260339bd81
--- /dev/null
+++ b/lang/yap/Makefile
@@ -0,0 +1,17 @@
+# $NetBSD: Makefile,v 1.1.1.1 2005/07/20 13:08:15 rillig Exp $
+#
+
+DISTNAME= Yap-4.4.4
+CATEGORIES= lang
+MASTER_SITES= http://www.ncc.up.pt/~vsc/Yap/
+
+MAINTAINER= rillig@NetBSD.org
+HOMEPAGE= http://www.ncc.up.pt/~vsc/Yap/
+COMMENT= ISO-compliant Prolog
+
+USE_PKGLOCALEDIR= yes
+GNU_CONFIGURE= yes
+
+CONFIGURE_ENV+= INDENT=${TRUE:Q}
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/lang/yap/PLIST b/lang/yap/PLIST
new file mode 100644
index 00000000000..77da3cd55de
--- /dev/null
+++ b/lang/yap/PLIST
@@ -0,0 +1,204 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2005/07/20 13:08:15 rillig Exp $
+bin/yap
+include/Yap/YapInterface.h
+include/Yap/c_interface.h
+include/Yap/yap_structs.h
+lib/Yap/random.so
+lib/Yap/regexp.so
+lib/Yap/startup
+lib/Yap/sys.so
+lib/Yap/yap2swi.so
+lib/Yap/yap_tries.so
+lib/libYap.a
+share/Yap/CHR.LICENSE
+share/Yap/CLPQR.LICENSE
+share/Yap/apply_macros.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/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/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/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/heaps.yap
+share/Yap/icon_address.pl
+share/Yap/lists.yap
+share/Yap/logtalk.yap
+share/Yap/logtalk/logtalk.pl
+share/Yap/logtalk/yap430.config
+share/Yap/ordsets.yap
+share/Yap/pillow.pl
+share/Yap/prandom.yap
+share/Yap/queues.yap
+share/Yap/random.yap
+share/Yap/regexp.yap
+share/Yap/system.yap
+share/Yap/terms.yap
+share/Yap/timeout.yap
+share/Yap/trees.yap
+share/Yap/tries.yap
+share/Yap/ugraphs.yap
+@dirrm share/Yap/logtalk
+@dirrm share/Yap/clpr
+@dirrm share/Yap/clpqr/examples/monash
+@dirrm share/Yap/clpqr/examples/SESSION
+@dirrm share/Yap/clpqr/examples
+@dirrm share/Yap/clpqr
+@dirrm share/Yap/clpq
+@dirrm share/Yap/chr/examples
+@dirrm share/Yap/chr
+@dirrm share/Yap
+@dirrm lib/Yap
+@dirrm include/Yap
diff --git a/lang/yap/distinfo b/lang/yap/distinfo
new file mode 100644
index 00000000000..1a0a4f26032
--- /dev/null
+++ b/lang/yap/distinfo
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1.1.1 2005/07/20 13:08:15 rillig Exp $
+
+SHA1 (Yap-4.4.4.tar.gz) = 3523d3ec7c02fed42aaef41ab36fee8f5c156978
+RMD160 (Yap-4.4.4.tar.gz) = 4c570012e75bfabc568a141f80506dba0bd94e5d
+Size (Yap-4.4.4.tar.gz) = 2970956 bytes