ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification
Li-Lun Wang (Leland Wang)
llwang at infor.org
Thu Feb 23 06:20:09 UTC 2006
The following reply was made to PR ports/93694; it has been noted by GNATS.
From: "Li-Lun Wang (Leland Wang)" <llwang at infor.org>
To: bug-followup at FreeBSD.org
Cc:
Subject: Re: ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification
Date: Thu, 23 Feb 2006 14:16:04 +0800
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
I am sorry, but I just realized that I incorrectly used RUN_DEPENDS
while I actually wanted BUILD_DEPENDS. Please use the following shar
instead.
# 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
XBUILD_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 dirrmtry %%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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (FreeBSD)
iD8DBQFD/VMjCQM7t5B2mhARAkj8AJ9UY4HnD8k8XJXMy66WbuXy4gnLpQCfapnx
xb0WPaRiN5WlGLKsdv+PVFI=
=GKHJ
-----END PGP SIGNATURE-----
More information about the freebsd-ports-bugs
mailing list