From sf@dsinw.com  Wed Jun 26 15:53:46 2002
Return-Path: <sf@dsinw.com>
Received: from innovations.dsinw.com (ns.dsinw.com [207.149.40.194])
	by hub.freebsd.org (Postfix) with ESMTP id BD30037B419
	for <freebsd-gnats-submit@freebsd.org>; Wed, 26 Jun 2002 15:52:36 -0700 (PDT)
Received: from ivymike.foo.kom (17-055.021.popsite.net [198.79.104.55])
	by innovations.dsinw.com (8.11.6/8.11.6) with ESMTP id g5QKqMY19256
	for <freebsd-gnats-submit@freebsd.org>; Wed, 26 Jun 2002 13:52:22 -0700
Message-Id: <20020626135518.M49027-100000@ivymike.foo.kom>
Date: Wed, 26 Jun 2002 13:56:17 -0700 (PDT)
From: Scott Flatman <sf@dsinw.com>
To: freebsd-gnats-submit@freebsd.org
Subject: New Port: ports/lang/screamer

>Number:         39895
>Category:       ports
>Synopsis:       New Port: ports/lang/screamer
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          update
>Submitter-Id:   current-users
>Arrival-Date:   Wed Jun 26 16:00:05 PDT 2002
>Closed-Date:    Sun Jan 19 05:12:30 PST 2003
>Last-Modified:  Sun Jan 19 05:12:30 PST 2003
>Originator:     Scott Flatman
>Release:        
>Organization:
>Environment:
>Description:
	Screamer is an extension of Common Lisp that adds support for
nondeterministic programming.

>How-To-Repeat:
>Fix:

# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	screamer
#	screamer/Makefile
#	screamer/files
#	screamer/files/build.lisp
#	screamer/distinfo
#	screamer/pkg-comment
#	screamer/pkg-descr
#	screamer/pkg-plist
#
echo c - screamer
mkdir -p screamer > /dev/null 2>&1
echo x - screamer/Makefile
sed 's/^X//' >screamer/Makefile << 'END-of-screamer/Makefile'
XPORTNAME=       screamer
XPORTVERSION=    3.20
XCATEGORIES=     lang
XMASTER_SITES=   ftp://ftp.cis.upenn.edu/pub/ \
X                ${MASTER_SITE_LOCAL}
XDISTNAME=       screamer.tar
XEXTRACT_SUFX=   .Z
X
XMAINTAINER=     sf@dsinw.com
X
XBUILD_DEPENDS=	lisp:${PORTSDIR}/lang/cmucl
XRUN_DEPENDS=	${LOCALBASE}/bin/lisp:${PORTSDIR}/lang/cmucl
X
XNO_BUILD=       yes
X
Xpre-install:
X	(cd ${WRKDIR}/screamer && ${LOCALBASE}/bin/lisp -eval '(load "${FILESDIR}/build.lisp")')
X
Xdo-install:
X	(cd ${WRKDIR}/screamer ; mv screamer.x86f ${PREFIX}/lib/cmucl/lib/subsystems/screamer-library.x86f)
X	${CHMOD} 644 ${PREFIX}/lib/cmucl/lib/subsystems/screamer-library.x86f
X	-${MKDIR} ${PREFIX}/share/screamer
X	(cd ${WRKDIR} && tar fc - screamer) | (cd ${PREFIX}/share && tar fx -)
X	(cd ${PREFIX}/share/screamer ; ${CHMOD} 644 *)
X
Xpost-install:
X	@echo "To load screamer into a lisp session:"
X	@echo "  (1) invoke lisp"
X	@echo "  (2) (require 'screamer)"
X	@echo "/usr/local/share/screamer constains source and documentation."
X
X.include <bsd.port.mk>
END-of-screamer/Makefile
echo c - screamer/files
mkdir -p screamer/files > /dev/null 2>&1
echo x - screamer/files/build.lisp
sed 's/^X//' >screamer/files/build.lisp << 'END-of-screamer/files/build.lisp'
X;; -*- Mode: Lisp -*-
X(declaim (optimize (speed 3)
X                   (compilation-speed 0)
X                   (safety 0)
X                   (debug 0)))
X(compile-file "screamer.lisp")
X(quit)
END-of-screamer/files/build.lisp
echo x - screamer/distinfo
sed 's/^X//' >screamer/distinfo << 'END-of-screamer/distinfo'
XMD5 (screamer.tar.Z) = 8cb9d55f2d727d2409053e9fd4b47768
END-of-screamer/distinfo
echo x - screamer/pkg-comment
sed 's/^X//' >screamer/pkg-comment << 'END-of-screamer/pkg-comment'
XScreamer is an extension of Common Lisp that adds support for
Xnondeterministic programming.
END-of-screamer/pkg-comment
echo x - screamer/pkg-descr
sed 's/^X//' >screamer/pkg-descr << 'END-of-screamer/pkg-descr'
XScreamer is an extension of Common Lisp that adds support for
Xnondeterministic programming. Screamer consists of two levels. The
Xbasic nondeterministic level adds support for backtracking and
Xundoable side effects. On top of this nondeterministic substrate,
XScreamer provides a comprehensive constraint programming language in
Xwhich one can formulate and solve mixed systems of numeric and
Xsymbolic constraints.
X
XWWW: http://www.cis.upenn.edu/~screamer-tools/
X
XBuilt to run with CMU Common Lisp.
XInstalled in CMUCL's subsystem directory.
X
X/usr/local/share/screamer contains lisp source and documentation.
X
X- Scott Flatman <sf@dsinw.com>
END-of-screamer/pkg-descr
echo x - screamer/pkg-plist
sed 's/^X//' >screamer/pkg-plist << 'END-of-screamer/pkg-plist'
Xlib/cmucl/lib/subsystems/screamer-library.x86f
Xshare/screamer/FAQ
Xshare/screamer/README
Xshare/screamer/aaai93.dvi
Xshare/screamer/aaai93.ps
Xshare/screamer/bug-5511.hbin
Xshare/screamer/bug-5511.mbin
Xshare/screamer/bug-6920-dbcs.sbin
Xshare/screamer/bug-6920-non-dbcs.sbin
Xshare/screamer/equations.lisp
Xshare/screamer/ircs-93-03.dvi
Xshare/screamer/ircs-93-03.ps
Xshare/screamer/iscream.el
Xshare/screamer/iterate.lisp
Xshare/screamer/mbmfe.sbin
Xshare/screamer/not-so-trivial-patch.fasl.hqx
Xshare/screamer/primordial.lisp
Xshare/screamer/screamer.dvi
Xshare/screamer/screamer.lisp
Xshare/screamer/screamer.ps
Xshare/screamer/screams.lisp
X@dirrm share/screamer
END-of-screamer/pkg-plist
exit


>Release-Note:
>Audit-Trail:
State-Changed-From-To: open->closed 
State-Changed-By: edwin 
State-Changed-When: Sun Jan 19 05:12:22 PST 2003 
State-Changed-Why:  
Commited, thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=39895 
>Unformatted:
 
