add yap

A high-performance Prolog compiler

5 files changed, 294 insertions, 0 deletions

diff --git a/lang/yap/Makefile b/lang/yap/Makefile
new file mode 100644
index 000000000000..b97dbac6bd39
--- /dev/null
+++ b/lang/yap/Makefile
@@ -0,0 +1,28 @@
+# ex:ts=8
+# New ports collection makefile for:	yap
+# Date created:			Apr 29, 2001
+# Whom:				ijliao
+#
+# $FreeBSD$
+#
+
+PORTNAME=	yap
+PORTVERSION=	4.3.18
+CATEGORIES=	lang
+MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
+MASTER_SITE_SUBDIR=	${PORTNAME}
+DISTNAME=	Yap-${PORTVERSION}
+
+MAINTAINER=	ijliao@FreeBSD.org
+
+do-configure:
+	@(${MKDIR} ${WRKSRC}/arch ; cd ${WRKSRC}/arch ; \
+	  ../configure)
+
+do-build:
+	@(cd ${WRKSRC}/arch ; make)
+
+do-install:
+	@(cd ${WRKSRC}/arch ; make install)
+
+.include <bsd.port.mk>
diff --git a/lang/yap/distinfo b/lang/yap/distinfo
new file mode 100644
index 000000000000..0298e40e9470
--- /dev/null
+++ b/lang/yap/distinfo
@@ -0,0 +1 @@
+MD5 (Yap-4.3.18.tar.gz) = ca186bb331d8e86726421e3f8f29c240
diff --git a/lang/yap/pkg-comment b/lang/yap/pkg-comment
new file mode 100644
index 000000000000..5998a8583ebb
--- /dev/null
+++ b/lang/yap/pkg-comment
@@ -0,0 +1 @@
+A high-performance Prolog compiler
diff --git a/lang/yap/pkg-descr b/lang/yap/pkg-descr
new file mode 100644
index 000000000000..7fab5d133459
--- /dev/null
+++ b/lang/yap/pkg-descr
@@ -0,0 +1,7 @@
+iAP 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://yap.sourceforge.net/
diff --git a/lang/yap/pkg-plist b/lang/yap/pkg-plist
new file mode 100644
index 000000000000..9930fcf99997
--- /dev/null
+++ b/lang/yap/pkg-plist
@@ -0,0 +1,257 @@
+bin/yap
+lib/libYap.a
+lib/Yap/library/CHR.LICENSE
+lib/Yap/library/CLPQR.LICENSE
+lib/Yap/library/assoc.yap
+lib/Yap/library/atts.yap
+lib/Yap/library/avl.yap
+lib/Yap/library/charsio.yap
+lib/Yap/library/chr.pl
+lib/Yap/library/chr.yap
+lib/Yap/library/chr/chrcmp.pl
+lib/Yap/library/chr/compenv.pl
+lib/Yap/library/chr/concat.pl
+lib/Yap/library/chr/examples/allentable.pl
+lib/Yap/library/chr/examples/arc.pl
+lib/Yap/library/chr/examples/bool.pl
+lib/Yap/library/chr/examples/cft.pl
+lib/Yap/library/chr/examples/domain.pl
+lib/Yap/library/chr/examples/examples-adder.bool
+lib/Yap/library/chr/examples/examples-benchmark.math
+lib/Yap/library/chr/examples/examples-deussen.bool
+lib/Yap/library/chr/examples/examples-diaz.bool
+lib/Yap/library/chr/examples/examples-fourier.math
+lib/Yap/library/chr/examples/examples-holzbaur.math
+lib/Yap/library/chr/examples/examples-lim1.math
+lib/Yap/library/chr/examples/examples-lim2.math
+lib/Yap/library/chr/examples/examples-lim3.math
+lib/Yap/library/chr/examples/examples-puzzle.bool
+lib/Yap/library/chr/examples/examples-queens.bool
+lib/Yap/library/chr/examples/examples-queens.domain
+lib/Yap/library/chr/examples/examples-stuckey.math
+lib/Yap/library/chr/examples/examples-thom.math
+lib/Yap/library/chr/examples/gcd.pl
+lib/Yap/library/chr/examples/interval.pl
+lib/Yap/library/chr/examples/kl-one.pl
+lib/Yap/library/chr/examples/leq.pl
+lib/Yap/library/chr/examples/list.pl
+lib/Yap/library/chr/examples/listdom.pl
+lib/Yap/library/chr/examples/math-elim.pl
+lib/Yap/library/chr/examples/math-fougau.pl
+lib/Yap/library/chr/examples/math-fourier.pl
+lib/Yap/library/chr/examples/math-gauss.pl
+lib/Yap/library/chr/examples/math-utilities.pl
+lib/Yap/library/chr/examples/minmax.pl
+lib/Yap/library/chr/examples/modelgenerator.pl
+lib/Yap/library/chr/examples/monkey.pl
+lib/Yap/library/chr/examples/osf.pl
+lib/Yap/library/chr/examples/oztype.pl
+lib/Yap/library/chr/examples/path.pl
+lib/Yap/library/chr/examples/pathc.pl
+lib/Yap/library/chr/examples/primes.pl
+lib/Yap/library/chr/examples/scheduling.pl
+lib/Yap/library/chr/examples/tarski.pl
+lib/Yap/library/chr/examples/term.pl
+lib/Yap/library/chr/examples/time-pc.pl
+lib/Yap/library/chr/examples/time-point.pl
+lib/Yap/library/chr/examples/time-rnd.pl
+lib/Yap/library/chr/examples/time.pl
+lib/Yap/library/chr/examples/tree.pl
+lib/Yap/library/chr/examples/type.pl
+lib/Yap/library/chr/getval.pl
+lib/Yap/library/chr/matching.pl
+lib/Yap/library/chr/operator.pl
+lib/Yap/library/chr/ordering.pl
+lib/Yap/library/chr/sbag.pl
+lib/Yap/library/chr/sbag_a.pl
+lib/Yap/library/chr/sbag_l.pl
+lib/Yap/library/chr/trace.pl
+lib/Yap/library/chr/trace.yap
+lib/Yap/library/clpq.pl
+lib/Yap/library/clpq/arith.pl
+lib/Yap/library/clpq/arith_q.pl
+lib/Yap/library/clpq/bb.pl
+lib/Yap/library/clpq/bv.pl
+lib/Yap/library/clpq/bv.yap
+lib/Yap/library/clpq/bv.yap.~1~
+lib/Yap/library/clpq/class.pl
+lib/Yap/library/clpq/compenv.pl
+lib/Yap/library/clpq/dump.pl
+lib/Yap/library/clpq/fourmotz.pl
+lib/Yap/library/clpq/geler.pl
+lib/Yap/library/clpq/geler.yap
+lib/Yap/library/clpq/geler.yap.~1~
+lib/Yap/library/clpq/ineq.pl
+lib/Yap/library/clpq/itf3.pl
+lib/Yap/library/clpq/nf.pl
+lib/Yap/library/clpq/nf.pl.~1~
+lib/Yap/library/clpq/nf.yap
+lib/Yap/library/clpq/nfq.pl
+lib/Yap/library/clpq/nfq.yap
+lib/Yap/library/clpq/nfq.yap.~1~
+lib/Yap/library/clpq/ordering.pl
+lib/Yap/library/clpq/project.pl
+lib/Yap/library/clpq/redund.pl
+lib/Yap/library/clpq/store.pl
+lib/Yap/library/clpqr/arith.pl
+lib/Yap/library/clpqr/bb.pl
+lib/Yap/library/clpqr/bv.pl
+lib/Yap/library/clpqr/compenv.pl
+lib/Yap/library/clpqr/dump.pl
+lib/Yap/library/clpqr/examples/README
+lib/Yap/library/clpqr/examples/SESSION/#034#
+lib/Yap/library/clpqr/examples/SESSION/010
+lib/Yap/library/clpqr/examples/SESSION/011
+lib/Yap/library/clpqr/examples/SESSION/012
+lib/Yap/library/clpqr/examples/SESSION/013
+lib/Yap/library/clpqr/examples/SESSION/014
+lib/Yap/library/clpqr/examples/SESSION/015
+lib/Yap/library/clpqr/examples/SESSION/016
+lib/Yap/library/clpqr/examples/SESSION/017
+lib/Yap/library/clpqr/examples/SESSION/018
+lib/Yap/library/clpqr/examples/SESSION/019
+lib/Yap/library/clpqr/examples/SESSION/020
+lib/Yap/library/clpqr/examples/SESSION/021
+lib/Yap/library/clpqr/examples/SESSION/022
+lib/Yap/library/clpqr/examples/SESSION/023
+lib/Yap/library/clpqr/examples/SESSION/024
+lib/Yap/library/clpqr/examples/SESSION/030
+lib/Yap/library/clpqr/examples/SESSION/031
+lib/Yap/library/clpqr/examples/SESSION/032
+lib/Yap/library/clpqr/examples/SESSION/033
+lib/Yap/library/clpqr/examples/SESSION/034
+lib/Yap/library/clpqr/examples/SESSION/035
+lib/Yap/library/clpqr/examples/SESSION/110
+lib/Yap/library/clpqr/examples/SESSION/111
+lib/Yap/library/clpqr/examples/SESSION/112
+lib/Yap/library/clpqr/examples/SESSION/113
+lib/Yap/library/clpqr/examples/SESSION/114
+lib/Yap/library/clpqr/examples/SESSION/115
+lib/Yap/library/clpqr/examples/SESSION/116
+lib/Yap/library/clpqr/examples/SESSION/117
+lib/Yap/library/clpqr/examples/SESSION/118
+lib/Yap/library/clpqr/examples/SESSION/119
+lib/Yap/library/clpqr/examples/SESSION/120
+lib/Yap/library/clpqr/examples/SESSION/122
+lib/Yap/library/clpqr/examples/SESSION/123
+lib/Yap/library/clpqr/examples/SESSION/124
+lib/Yap/library/clpqr/examples/SESSION/130
+lib/Yap/library/clpqr/examples/SESSION/131
+lib/Yap/library/clpqr/examples/SESSION/132
+lib/Yap/library/clpqr/examples/SESSION/133
+lib/Yap/library/clpqr/examples/SESSION/134
+lib/Yap/library/clpqr/examples/SESSION/135
+lib/Yap/library/clpqr/examples/caneghem.pl
+lib/Yap/library/clpqr/examples/eliminat.pl
+lib/Yap/library/clpqr/examples/matmul.pl
+lib/Yap/library/clpqr/examples/mg.pl
+lib/Yap/library/clpqr/examples/mip.pl
+lib/Yap/library/clpqr/examples/monash/README
+lib/Yap/library/clpqr/examples/monash/air
+lib/Yap/library/clpqr/examples/monash/amplif
+lib/Yap/library/clpqr/examples/monash/complex
+lib/Yap/library/clpqr/examples/monash/critical
+lib/Yap/library/clpqr/examples/monash/dnf
+lib/Yap/library/clpqr/examples/monash/fib
+lib/Yap/library/clpqr/examples/monash/findroot
+lib/Yap/library/clpqr/examples/monash/findroot.~1~
+lib/Yap/library/clpqr/examples/monash/invert
+lib/Yap/library/clpqr/examples/monash/laplace
+lib/Yap/library/clpqr/examples/monash/mortgage
+lib/Yap/library/clpqr/examples/monash/nrev
+lib/Yap/library/clpqr/examples/monash/option
+lib/Yap/library/clpqr/examples/monash/pictures
+lib/Yap/library/clpqr/examples/monash/rkf45
+lib/Yap/library/clpqr/examples/monash/rlc
+lib/Yap/library/clpqr/examples/monash/smm
+lib/Yap/library/clpqr/examples/monash/toolpath
+lib/Yap/library/clpqr/examples/monash/zebra
+lib/Yap/library/clpqr/examples/root.pl
+lib/Yap/library/clpqr/examples/simplex.pl
+lib/Yap/library/clpqr/examples/squares.pl
+lib/Yap/library/clpqr/expand.pl
+lib/Yap/library/clpqr/expand.yap
+lib/Yap/library/clpqr/fourmotz.pl
+lib/Yap/library/clpqr/ineq.pl
+lib/Yap/library/clpqr/itf3.pl
+lib/Yap/library/clpqr/monash.pl
+lib/Yap/library/clpqr/nf.pl
+lib/Yap/library/clpqr/ordering.pl
+lib/Yap/library/clpqr/printf.pl
+lib/Yap/library/clpqr/project.pl
+lib/Yap/library/clpqr/redund.pl
+lib/Yap/library/clpqr/store.pl
+lib/Yap/library/clpr.pl
+lib/Yap/library/clpr.yap
+lib/Yap/library/clpr/arith.pl
+lib/Yap/library/clpr/arith_r.pl
+lib/Yap/library/clpr/bb.pl
+lib/Yap/library/clpr/bb.yap
+lib/Yap/library/clpr/bv.pl
+lib/Yap/library/clpr/bv.yap
+lib/Yap/library/clpr/class.pl
+lib/Yap/library/clpr/compenv.pl
+lib/Yap/library/clpr/dump.pl
+lib/Yap/library/clpr/fourmotz.pl
+lib/Yap/library/clpr/geler.pl
+lib/Yap/library/clpr/geler.yap
+lib/Yap/library/clpr/ineq.pl
+lib/Yap/library/clpr/itf3.pl
+lib/Yap/library/clpr/nf.pl
+lib/Yap/library/clpr/nf.yap
+lib/Yap/library/clpr/nfr.pl
+lib/Yap/library/clpr/nfr.yap
+lib/Yap/library/clpr/ordering.pl
+lib/Yap/library/clpr/project.pl
+lib/Yap/library/clpr/redund.pl
+lib/Yap/library/clpr/store.pl
+lib/Yap/library/heaps.yap
+lib/Yap/library/icon_address.pl
+lib/Yap/library/lists.yap
+lib/Yap/library/ordsets.yap
+lib/Yap/library/pillow.pl
+lib/Yap/library/prandom.yap
+lib/Yap/library/queues.yap
+lib/Yap/library/random.yap
+lib/Yap/library/regex/COPYRIGHT
+lib/Yap/library/regex/Makefile.in
+lib/Yap/library/regex/WHATSNEW
+lib/Yap/library/regex/cclass.h
+lib/Yap/library/regex/cname.h
+lib/Yap/library/regex/collate.h
+lib/Yap/library/regex/engine.c
+lib/Yap/library/regex/regcomp.c
+lib/Yap/library/regex/regerror.c
+lib/Yap/library/regex/regex2.h
+lib/Yap/library/regex/regexec.c
+lib/Yap/library/regex/regexp.c
+lib/Yap/library/regex/regexp.def
+lib/Yap/library/regex/regfree.c
+lib/Yap/library/regex/utils.h
+lib/Yap/library/regex/yapregex.h
+lib/Yap/library/regexp.yap
+lib/Yap/library/splay.yap
+lib/Yap/library/terms.yap
+lib/Yap/library/timeout.yap
+lib/Yap/library/trees.yap
+lib/Yap/library/ugraphs.yap
+lib/Yap/regcomp.so
+lib/Yap/regerror.so
+lib/Yap/regexec.so
+lib/Yap/regexp.so
+lib/Yap/regfree.so
+lib/Yap/startup
+@dirrm lib/Yap/library/chr/examples
+@dirrm lib/Yap/library/chr
+@dirrm lib/Yap/library/clpq
+@dirrm lib/Yap/library/clpqr/examples/SESSION
+@dirrm lib/Yap/library/clpqr/examples/monash
+@dirrm lib/Yap/library/clpqr/examples
+@dirrm lib/Yap/library/clpqr
+@dirrm lib/Yap/library/clpr
+@dirrm lib/Yap/library/regex
+@dirrm lib/Yap/library
+@dirrm lib/Yap
+include/Yap/c_interface.h
+include/Yap/yap_structs.h
+@dirrm include/Yap