Add maude.

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/

PR:		ports/94986
Submitted by:	Rick van der Zwet <rick@traffie.wzoeterwoude.net>

5 files changed, 90 insertions, 0 deletions

diff --git a/lang/maude/Makefile b/lang/maude/Makefile
new file mode 100644
index 000000000000..fa1d8510cd05
--- /dev/null
+++ b/lang/maude/Makefile
@@ -0,0 +1,30 @@
+# New ports collection makefile for:	maude
+# Date created:				25 Mar 2005
+# Whom:				Rick van der Zwet <rick@wzoeterwoude.net>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	maude
+PORTVERSION=	2.2
+CATEGORIES=	lang
+MASTER_SITES=	http://maude.cs.uiuc.edu/download/current/
+DISTNAME=	Maude-${PORTVERSION}
+
+MAINTAINER=	rick@wzoeterwoude.net
+COMMENT=	A high-performance reflective language
+
+BUILD_DEPENDS=	bison:${PORTSDIR}/devel/bison
+LIB_DEPENDS=	bdd:${PORTSDIR}/science/buddy \
+		tecla:${PORTSDIR}/devel/libtecla \
+		gmp:${PORTSDIR}/math/libgmp4
+
+GNU_CONFIGURE=	yes
+CONFIGURE_ENV=	CPPFLAGS="-I${LOCALBASE}/include" LDFLAGS="-L${LOCALBASE}/lib"
+CONFIGURE_ARGS=	--datadir=${DATADIR}
+
+post-patch:
+	@${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \
+		${WRKSRC}/src/Mixfix/main.cc
+
+.include <bsd.port.mk>
diff --git a/lang/maude/distinfo b/lang/maude/distinfo
new file mode 100644
index 000000000000..38ef0a556087
--- /dev/null
+++ b/lang/maude/distinfo
@@ -0,0 +1,3 @@
+MD5 (Maude-2.2.tar.gz) = c3b3cadec1ab792a64f0d441e56de15a
+SHA256 (Maude-2.2.tar.gz) = 7b85941cb8441eeca23ed3ea291ea6ac9571ce09a9a28a2193e8414b1ca13118
+SIZE (Maude-2.2.tar.gz) = 8243200
diff --git a/lang/maude/files/patch-src_Mixfix_main.cc b/lang/maude/files/patch-src_Mixfix_main.cc
new file mode 100644
index 000000000000..96138bd9b679
--- /dev/null
+++ b/lang/maude/files/patch-src_Mixfix_main.cc
@@ -0,0 +1,26 @@
+--- src/Mixfix/main.cc.orig	Wed Apr  5 22:46:48 2006
++++ src/Mixfix/main.cc	Wed Apr  5 22:49:23 2006
+@@ -284,6 +284,11 @@
+       directory = ".";
+       return true;
+     }
++  if (directoryManager.checkAccess("%%DATADIR%%", fileName, R_OK))
++    {
++      directory = "%%DATADIR%%";
++      return true;
++    }
+   IssueWarning(LineNumber(FileTable::AUTOMATIC) <<
+ 	       ": unable to locate file: " << QUOTE(fileName));
+   return false;
+@@ -307,6 +312,11 @@
+ 	  directoryManager.checkAccess(executableDirectory, fileName, R_OK, ext))
+ 	{
+ 	  directory = executableDirectory;
++	  return true;
++	}
++      if (directoryManager.checkAccess("%%DATADIR%%", fileName, R_OK))
++	{
++	  directory = "%%DATADIR%%";
+ 	  return true;
+ 	}
+     }
diff --git a/lang/maude/pkg-descr b/lang/maude/pkg-descr
new file mode 100644
index 000000000000..a7cf187e67ee
--- /dev/null
+++ b/lang/maude/pkg-descr
@@ -0,0 +1,25 @@
+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/
diff --git a/lang/maude/pkg-plist b/lang/maude/pkg-plist
new file mode 100644
index 000000000000..efcc928aa1de
--- /dev/null
+++ b/lang/maude/pkg-plist
@@ -0,0 +1,6 @@
+bin/maude
+%%DATADIR%%/linear.maude
+%%DATADIR%%/model-checker.maude
+%%DATADIR%%/prelude.maude
+%%DATADIR%%/socket.maude
+@dirrm %%DATADIR%%