ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification

[Li-Lun Wang (Leland Wang)]

>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 at 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 at 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 at 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 at 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 at 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: