Date: Mon, 27 Mar 2006 00:16:56 GMT From: Rick van der Zwet <rick@traffie.wzoeterwoude.net> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/94986: New port lang/maude high-performance reflective language Message-ID: <200603270016.k2R0Gu9h056908@traffie.wzoeterwoude.net> Resent-Message-ID: <200603270020.k2R0KLsE020785@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 94986 >Category: ports >Synopsis: New port lang/maude high-performance reflective language >Confidential: no >Severity: non-critical >Priority: medium >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Mar 27 00:20:21 GMT 2006 >Closed-Date: >Last-Modified: >Originator: Rick van der Zwet >Release: FreeBSD 6.0-STABLE i386 >Organization: >Environment: System: FreeBSD traffie.wzoeterwoude.net 6.0-STABLE FreeBSD 6.0-STABLE #0: Fri Dec 9 01:34:29 UTC 2005 root@traffie.wzoeterwoude.net:/usr/obj/usr/src/sys/TRAFFIE i386 >Description: New port, files can be found (including full tar.gz) at http://www.wzoeterwoude.net/~rick/develop/freebsd/ports/lang/maude >How-To-Repeat: >Fix: --- Makefile begins here --- # New ports collection makefile for : maude # Date created : 25 Mar 2005 # Whom : Rick van der Zwet # <rick@wzoeterwoude.net> # $Id$ # PORTNAME= maude PORTVERSION= 2.2 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/download/current/ DISTNAME= Maude-${PORTVERSION} MAINTAINER= rick@wzoeterwoude.net COMMENT= Maude is a high-performance reflective language LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \ tecla:${PORTSDIR}/devel/libtecla \ gmp:${PORTSDIR}/math/libgmp4 GNU_CONFIGURE= yes CONFIGURE_ENV+= CPPFLAGS="${CPPFLAGS} -I${LOCALBASE}/include" CONFIGURE_ENV+= LDFLAGS="${LDFLAGS} -L${LOCALBASE}/lib" CONFIGURE_ARGS+= --datadir=${DATADIR} USE_GMAKE= yes post-install: @$(CAT) ${PKGMESSAGE} | $(SED) -e 's:%%DATADIR%%:${DATADIR}:' .include <bsd.port.mk> --- Makefile ends here --- --- distinfo begins here --- MD5 (Maude-2.2.tar.gz) = c3b3cadec1ab792a64f0d441e56de15a SHA256 (Maude-2.2.tar.gz) = 7b85941cb8441eeca23ed3ea291ea6ac9571ce09a9a28a2193e8414b1ca13118 SIZE (Maude-2.2.tar.gz) = 8243200 --- distinfo ends here --- --- pkg-descr begins here --- Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation. Rewriting logic is a logic of concurrent change that can naturally deal with state and with concurrent computations. It has good properties as a general semantic framework for giving executable semantics to a wide range of languages and models of concurrency. In particular, it supports very well concurrent object-oriented computation. The same reasons making rewriting logic a good semantic framework make it also a good logical framework, that is, a metalogic in which many other logics can be naturally represented and executed. Maude supports in a systematic and efficient way logical reflection. This makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced metaprogramming and metalanguage applications. Indeed, some of the most interesting applications of Maude are metalanguage applications, in which Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation. WWW: http://maude.cs.uiuc.edu/ --- pkg-descr ends here --- --- pkg-message begins here --- ************************************************************************** If you want start using maude, please set the environment variable MAUDE_LIB to %%DATADIR%% ************************************************************************** --- pkg-message ends here --- --- pkg-plist begins here --- bin/maude share/maude/linear.maude share/maude/model-checker.maude share/maude/prelude.maude share/maude/socket.maude @dirrm %%DATADIR%% --- pkg-plist ends here --- >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200603270016.k2R0Gu9h056908>