Date: Thu, 23 Feb 2006 06:20:08 GMT From: "Li-Lun Wang (Leland Wang)" <llwang@infor.org> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification Message-ID: <200602230620.k1N6K8q5086330@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/93694; it has been noted by GNATS. From: "Li-Lun Wang (Leland Wang)" <llwang@infor.org> To: bug-followup@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@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 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@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-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200602230620.k1N6K8q5086330>