Date: Wed, 26 Jun 2002 13:56:17 -0700 (PDT) From: Scott Flatman <sf@dsinw.com> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/39895: New Port: ports/lang/screamer Message-ID: <20020626135518.M49027-100000@ivymike.foo.kom>
next in thread | raw e-mail | index | archive | help
>Number: 39895 >Category: ports >Synopsis: New Port: ports/lang/screamer >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: update >Submitter-Id: current-users >Arrival-Date: Wed Jun 26 16:00:05 PDT 2002 >Closed-Date: >Last-Modified: >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: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020626135518.M49027-100000>