Date: Wed, 22 Feb 2006 14:26:26 +0800 (CST) From: Li-Lun Wang (Leland Wang) <llwang@infor.org> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification Message-ID: <200602220626.k1M6QQ9q083921@Athena.infor.org> Resent-Message-ID: <200602220630.k1M6U6Iw078737@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 93694 >Category: ports >Synopsis: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Wed Feb 22 06:30:05 GMT 2006 >Closed-Date: >Last-Modified: >Originator: Li-Lun Wang (Leland Wang) >Release: FreeBSD 6.0-RELEASE-p4 i386 >Organization: >Environment: System: FreeBSD Athena.infor.org 6.0-RELEASE-p4 FreeBSD 6.0-RELEASE-p4 #3: Thu Jan 26 23:44:20 CST 2006 root@Athena.infor.org:/usr/obj/usr/src/sys/Athena i386 >Description: Add Maude-2.2 as lang/maude, an implementation of reflective language and system supporting both equational and rewriting logic specification programming for a wide range of applications. >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: # # maude # maude/pkg-descr # maude/Makefile # maude/pkg-plist # maude/distinfo # echo c - maude mkdir -p maude > /dev/null 2>&1 echo x - maude/pkg-descr sed 's/^X//' >maude/pkg-descr << 'END-of-maude/pkg-descr' XMaude is a high-performance reflective language and system supporting both Xequational and rewriting logic specification and programming for a wide Xrange of applications. Maude has been influenced in important ways by the XOBJ3 language, which can be regarded as an equational logic sublanguage. XBesides supporting equational specification and programming, Maude also Xsupports rewriting logic computation. X XWWW: http://maude.cs.uiuc.edu/ X X-- Li-Lun Wang Xllwang@infor.org END-of-maude/pkg-descr echo x - maude/Makefile sed 's/^X//' >maude/Makefile << 'END-of-maude/Makefile' X# New ports collection makefile for: maude X# Date created: 21 February 2006 X# Whom: Li-Lun Wang <llwang@infor.org> X# X# $FreeBSD$ X# X XPORTNAME= maude XPORTVERSION= 2.2 XCATEGORIES= lang XMASTER_SITES= http://maude.cs.uiuc.edu/download/current/ XDISTNAME= Maude-${PORTVERSION} X XMAINTAINER= llwang@infor.org XCOMMENT= A reflective language supporting rewriting logic specification X XRUN_DEPENDS= bison:${PORTSDIR}/devel/bison XLIB_DEPENDS= bdd.0:${PORTSDIR}/science/buddy \ X tecla.1:${PORTSDIR}/devel/libtecla \ X gmpxx.3:${PORTSDIR}/math/libgmp4 X XGNU_CONFIGURE= yes XCPPFLAGS+= -I${LOCALBASE}/include XLDFLAGS+= -L${LOCALBASE}/lib XCONFIGURE_ENV+= CPPFLAGS="${CPPFLAGS}" LDFLAGS="${LDFLAGS}" XCONFIGURE_ARGS+= --datadir=${DATADIR} X.include <bsd.port.mk> END-of-maude/Makefile echo x - maude/pkg-plist sed 's/^X//' >maude/pkg-plist << 'END-of-maude/pkg-plist' Xbin/maude X%%DATADIR%%/linear.maude X%%DATADIR%%/model-checker.maude X%%DATADIR%%/prelude.maude X%%DATADIR%%/socket.maude X@dirrm %%DATADIR%% END-of-maude/pkg-plist echo x - maude/distinfo sed 's/^X//' >maude/distinfo << 'END-of-maude/distinfo' XMD5 (Maude-2.2.tar.gz) = c3b3cadec1ab792a64f0d441e56de15a XSHA256 (Maude-2.2.tar.gz) = 7b85941cb8441eeca23ed3ea291ea6ac9571ce09a9a28a2193e8414b1ca13118 XSIZE (Maude-2.2.tar.gz) = 8243200 END-of-maude/distinfo exit >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200602220626.k1M6QQ9q083921>