From rick@traffie.wzoeterwoude.net  Mon Mar 27 00:17:05 2006
Return-Path: <rick@traffie.wzoeterwoude.net>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id B63D616A401
	for <FreeBSD-gnats-submit@freebsd.org>; Mon, 27 Mar 2006 00:17:05 +0000 (UTC)
	(envelope-from rick@traffie.wzoeterwoude.net)
Received: from smtp-vbr6.xs4all.nl (smtp-vbr6.xs4all.nl [194.109.24.26])
	by mx1.FreeBSD.org (Postfix) with ESMTP id CCA6743D4C
	for <FreeBSD-gnats-submit@freebsd.org>; Mon, 27 Mar 2006 00:17:04 +0000 (GMT)
	(envelope-from rick@traffie.wzoeterwoude.net)
Received: from traffie.wzoeterwoude.net (rvdzwet.xs4all.nl [213.84.99.45])
	by smtp-vbr6.xs4all.nl (8.13.6/8.13.6) with ESMTP id k2R0Gv4Z095903
	for <FreeBSD-gnats-submit@freebsd.org>; Mon, 27 Mar 2006 02:17:03 +0200 (CEST)
	(envelope-from rick@traffie.wzoeterwoude.net)
Received: (qmail 56910 invoked from network); 27 Mar 2006 00:16:57 -0000
Received: from unknown (HELO traffie.wzoeterwoude.net) (127.0.0.1)
  by localhost with AES256-SHA encrypted SMTP; 27 Mar 2006 00:16:57 -0000
Received: (from rick@localhost)
	by traffie.wzoeterwoude.net (8.13.4/8.13.1/Submit) id k2R0Gu9h056908;
	Mon, 27 Mar 2006 00:16:56 GMT
	(envelope-from rick)
Message-Id: <200603270016.k2R0Gu9h056908@traffie.wzoeterwoude.net>
Date: Mon, 27 Mar 2006 00:16:56 GMT
From: Rick van der Zwet <rick@traffie.wzoeterwoude.net>
Reply-To: Rick van der Zwet <rick@traffie.wzoeterwoude.net>
To: FreeBSD-gnats-submit@freebsd.org
Cc:
Subject: New port lang/maude high-performance reflective language
X-Send-Pr-Version: 3.113
X-GNATS-Notify:

>Number:         94986
>Category:       ports
>Synopsis:       New port lang/maude high-performance reflective language
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    jylefort
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Mon Mar 27 00:20:21 GMT 2006
>Closed-Date:    Wed Apr 05 22:34:19 GMT 2006
>Last-Modified:  Wed Apr 05 22:34:19 GMT 2006
>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:
Responsible-Changed-From-To: freebsd-ports-bugs->jylefort 
Responsible-Changed-By: jylefort 
Responsible-Changed-When: Wed Apr 5 20:35:06 UTC 2006 
Responsible-Changed-Why:  
Take. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=94986 
State-Changed-From-To: open->closed 
State-Changed-By: jylefort 
State-Changed-When: Wed Apr 5 22:34:09 UTC 2006 
State-Changed-Why:  
Committed with modifications, thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=94986 
>Unformatted:
