From owner-freebsd-ports-bugs@FreeBSD.ORG Wed Feb 22 06:30:07 2006 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 59F0916A443 for ; Wed, 22 Feb 2006 06:30:07 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 510B443D46 for ; Wed, 22 Feb 2006 06:30:06 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id k1M6U6LN078738 for ; Wed, 22 Feb 2006 06:30:06 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id k1M6U6Iw078737; Wed, 22 Feb 2006 06:30:06 GMT (envelope-from gnats) Resent-Date: Wed, 22 Feb 2006 06:30:06 GMT Resent-Message-Id: <200602220630.k1M6U6Iw078737@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Li-Lun Wang (Leland Wang) Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 356F416A420 for ; Wed, 22 Feb 2006 06:26:29 +0000 (GMT) (envelope-from llwang@Athena.infor.org) Received: from Athena.infor.org (infor.ck.tp.edu.tw [203.64.26.200]) by mx1.FreeBSD.org (Postfix) with ESMTP id C3AF743D46 for ; Wed, 22 Feb 2006 06:26:28 +0000 (GMT) (envelope-from llwang@Athena.infor.org) Received: from Athena.infor.org (llwang@localhost.infor.org [127.0.0.1]) by Athena.infor.org (8.13.4/8.13.4) with ESMTP id k1M6QQDr083924 for ; Wed, 22 Feb 2006 14:26:26 +0800 (CST) (envelope-from llwang@Athena.infor.org) Received: (from llwang@localhost) by Athena.infor.org (8.13.4/8.13.4/Submit) id k1M6QQ9q083921; Wed, 22 Feb 2006 14:26:26 +0800 (CST) (envelope-from llwang) Message-Id: <200602220626.k1M6QQ9q083921@Athena.infor.org> Date: Wed, 22 Feb 2006 14:26:26 +0800 (CST) From: Li-Lun Wang (Leland Wang) To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/93694: New port: lang/maude a reflective language and system supporting both equational and rewriting logic specification X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: "Li-Lun Wang \(Leland Wang\)" List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 22 Feb 2006 06:30:08 -0000 >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@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@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 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 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 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@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: