New Port: ports/lang/screamer

	Screamer is an extension of Common Lisp that adds support
	for nondeterministic programming.

PR:		ports/39895
Submitted by:	Scott Flatman <sf@dsinw.com>

6 files changed, 86 insertions, 0 deletions

diff --git a/lang/screamer/Makefile b/lang/screamer/Makefile
new file mode 100644
index 000000000000..f9cc7ff11fa3
--- /dev/null
+++ b/lang/screamer/Makefile
@@ -0,0 +1,39 @@
+# New ports collection makefile for:	screamer
+# Date created:				Jun 26 2002
+# Whom:					Scott Flatman <sf@dsinw.com>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	screamer
+PORTVERSION=	3.20
+CATEGORIES=	lang
+MASTER_SITES=	ftp://ftp.cis.upenn.edu/pub/ \
+		${MASTER_SITE_LOCAL}
+DISTNAME=	screamer.tar
+EXTRACT_SUFX=	.Z
+
+MAINTAINER=	sf@dsinw.com
+
+BUILD_DEPENDS=	lisp:${PORTSDIR}/lang/cmucl
+RUN_DEPENDS=	${LOCALBASE}/bin/lisp:${PORTSDIR}/lang/cmucl
+
+NO_BUILD=	yes
+
+pre-install:
+	(cd ${WRKDIR}/screamer && ${LOCALBASE}/bin/lisp -eval '(load "${FILESDIR}/build.lisp")')
+
+do-install:
+	(cd ${WRKDIR}/screamer ; ${MV} screamer.x86f ${PREFIX}/lib/cmucl/lib/subsystems/screamer-library.x86f)
+	${CHMOD} 644 ${PREFIX}/lib/cmucl/lib/subsystems/screamer-library.x86f
+	-${MKDIR} ${PREFIX}/share/screamer
+	(cd ${WRKDIR} && tar fc - screamer) | (cd ${PREFIX}/share && tar fx -)
+	(cd ${PREFIX}/share/screamer ; ${CHMOD} 644 *)
+
+post-install:
+	@echo "To load screamer into a lisp session:"
+	@echo "  (1) invoke lisp"
+	@echo "  (2) (require 'screamer)"
+	@echo "${PREFIX}/share/screamer constains source and documentation."
+
+.include <bsd.port.mk>
diff --git a/lang/screamer/distinfo b/lang/screamer/distinfo
new file mode 100644
index 000000000000..8ba9a28966f6
--- /dev/null
+++ b/lang/screamer/distinfo
@@ -0,0 +1 @@
+MD5 (screamer.tar.Z) = 8cb9d55f2d727d2409053e9fd4b47768
diff --git a/lang/screamer/files/build.lisp b/lang/screamer/files/build.lisp
new file mode 100644
index 000000000000..547469021587
--- /dev/null
+++ b/lang/screamer/files/build.lisp
@@ -0,0 +1,7 @@
+;; -*- Mode: Lisp -*-
+(declaim (optimize (speed 3)
+                   (compilation-speed 0)
+                   (safety 0)
+                   (debug 0)))
+(compile-file "screamer.lisp")
+(quit)
diff --git a/lang/screamer/pkg-comment b/lang/screamer/pkg-comment
new file mode 100644
index 000000000000..943ff97d56c7
--- /dev/null
+++ b/lang/screamer/pkg-comment
@@ -0,0 +1 @@
+Extension of Common Lisp for nondeterministic programming
diff --git a/lang/screamer/pkg-descr b/lang/screamer/pkg-descr
new file mode 100644
index 000000000000..c3d6cabca5b2
--- /dev/null
+++ b/lang/screamer/pkg-descr
@@ -0,0 +1,16 @@
+Screamer is an extension of Common Lisp that adds support for
+nondeterministic programming. Screamer consists of two levels. The
+basic nondeterministic level adds support for backtracking and
+undoable side effects. On top of this nondeterministic substrate,
+Screamer provides a comprehensive constraint programming language in
+which one can formulate and solve mixed systems of numeric and
+symbolic constraints.
+
+WWW: http://www.cis.upenn.edu/~screamer-tools/
+
+Built to run with CMU Common Lisp.
+Installed in CMUCL's subsystem directory.
+
+/usr/local/share/screamer contains lisp source and documentation.
+
+- Scott Flatman <sf@dsinw.com>
diff --git a/lang/screamer/pkg-plist b/lang/screamer/pkg-plist
new file mode 100644
index 000000000000..956fe1e6387e
--- /dev/null
+++ b/lang/screamer/pkg-plist
@@ -0,0 +1,22 @@
+lib/cmucl/lib/subsystems/screamer-library.x86f
+share/screamer/FAQ
+share/screamer/README
+share/screamer/aaai93.dvi
+share/screamer/aaai93.ps
+share/screamer/bug-5511.hbin
+share/screamer/bug-5511.mbin
+share/screamer/bug-6920-dbcs.sbin
+share/screamer/bug-6920-non-dbcs.sbin
+share/screamer/equations.lisp
+share/screamer/ircs-93-03.dvi
+share/screamer/ircs-93-03.ps
+share/screamer/iscream.el
+share/screamer/iterate.lisp
+share/screamer/mbmfe.sbin
+share/screamer/not-so-trivial-patch.fasl.hqx
+share/screamer/primordial.lisp
+share/screamer/screamer.dvi
+share/screamer/screamer.lisp
+share/screamer/screamer.ps
+share/screamer/screams.lisp
+@dirrm share/screamer