diff options
author | Edwin Groothuis <edwin@FreeBSD.org> | 2003-01-19 13:12:02 +0000 |
---|---|---|
committer | Edwin Groothuis <edwin@FreeBSD.org> | 2003-01-19 13:12:02 +0000 |
commit | 34ac9b52a69fa39da64763e322b62d40627df4f9 (patch) | |
tree | b93e4119a3ea8a0e16845422c0fcacb204f861c0 /lang | |
parent | Man-pages are already compressed when installed. (diff) |
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>
Notes
Notes:
svn path=/head/; revision=73481
Diffstat (limited to 'lang')
-rw-r--r-- | lang/Makefile | 1 | ||||
-rw-r--r-- | lang/screamer/Makefile | 39 | ||||
-rw-r--r-- | lang/screamer/distinfo | 1 | ||||
-rw-r--r-- | lang/screamer/files/build.lisp | 7 | ||||
-rw-r--r-- | lang/screamer/pkg-comment | 1 | ||||
-rw-r--r-- | lang/screamer/pkg-descr | 16 | ||||
-rw-r--r-- | lang/screamer/pkg-plist | 22 |
7 files changed, 87 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index 302de28da21d..b2edc4d67351 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -187,6 +187,7 @@ SUBDIR += scheme48 SUBDIR += schemetoc SUBDIR += scm + SUBDIR += screamer SUBDIR += scriba SUBDIR += scsh SUBDIR += siod 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 |