Initial import of maude, a system for equational and rewriting logic

specification/programming.
Package provided by Paolo Torelli in pkg/11280.
Attention: Very restrictive license, to be filled out and returned in
hardcopy before usage.

5 files changed, 81 insertions, 0 deletions

diff --git a/lang/maude/Makefile b/lang/maude/Makefile
new file mode 100644
index 00000000000..2581cf81b72
--- /dev/null
+++ b/lang/maude/Makefile
@@ -0,0 +1,36 @@
+# $NetBSD: Makefile,v 1.1.1.1 2001/03/20 11:57:41 wiz Exp $
+#
+
+DISTNAME=	maude-linux
+PKGNAME=	maude-1.0.5
+CATEGORIES=	lang
+MASTER_SITES=	http://maude.csl.sri.com/system/
+EXTRACT_SUFX=	.tar.Z
+
+MAINTAINER=	packages@netbsd.org
+HOMEPAGE=	http://maude.csl.sri.com/
+COMMENT=	system for equational and rewriting logic specification/programming
+
+# see http://maude.csl.sri.com/license/license.html
+#LICENSE=	maude-license
+
+RESTRICTED=		license does not explicitly allow redistribution
+NO_SRC_ON_FTP=		${RESTRICTED}
+NO_BIN_ON_FTP=		${RESTRICTED}
+NO_SRC_ON_CDROM=	${RESTRICTED}
+NO_BIN_ON_CDROM=	${RESTRICTED}
+
+NO_PATCH=		yes
+NO_CONFIGURE=		yes
+NO_BUILD=		yes
+
+ONLY_FOR_PLATFORM=	NetBSD-*-i386
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKDIR}/maude-linux/bin/maude.linux ${PREFIX}/bin/maude
+	${INSTALL_SCRIPT} ${WRKDIR}/maude-linux/bin/full-maude.maude ${PREFIX}/bin
+	${INSTALL_SCRIPT} ${WRKDIR}/maude-linux/bin/prelude.maude ${PREFIX}/bin
+	${INSTALL_DATA_DIR} ${PREFIX}/share/examples/maude
+	${INSTALL_DATA} ${WRKDIR}/maude-linux/examples/* ${PREFIX}/share/examples/maude
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/lang/maude/files/md5 b/lang/maude/files/md5
new file mode 100644
index 00000000000..66c0c67b08b
--- /dev/null
+++ b/lang/maude/files/md5
@@ -0,0 +1,3 @@
+$NetBSD: md5,v 1.1.1.1 2001/03/20 11:57:41 wiz Exp $
+
+SHA1 (maude-linux.tar.Z) = 141ac96fb7f2b99e4a24ffd3f63565a7c3cff59a
diff --git a/lang/maude/pkg/DESCR b/lang/maude/pkg/DESCR
new file mode 100644
index 00000000000..c7a1b3857c5
--- /dev/null
+++ b/lang/maude/pkg/DESCR
@@ -0,0 +1,7 @@
+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.
diff --git a/lang/maude/pkg/MESSAGE b/lang/maude/pkg/MESSAGE
new file mode 100644
index 00000000000..143e8e6f00e
--- /dev/null
+++ b/lang/maude/pkg/MESSAGE
@@ -0,0 +1,6 @@
+===========================================================================
+$NetBSD: MESSAGE,v 1.1.1.1 2001/03/20 11:57:41 wiz Exp $
+
+Kernel option COMPAT_LINUX is required for the package to work.
+
+===========================================================================
diff --git a/lang/maude/pkg/PLIST b/lang/maude/pkg/PLIST
new file mode 100644
index 00000000000..afd99162e0c
--- /dev/null
+++ b/lang/maude/pkg/PLIST
@@ -0,0 +1,29 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2001/03/20 11:57:41 wiz Exp $
+bin/maude
+bin/prelude.maude
+bin/full-maude.maude
+share/examples/maude/accnt.fm
+share/examples/maude/binary.maude
+share/examples/maude/duplicate-ten.maude
+share/examples/maude/duplicate.maude
+share/examples/maude/interoperability.fm
+share/examples/maude/max.fm
+share/examples/maude/meta-interpreter.maude
+share/examples/maude/meta-meta-nat.fm
+share/examples/maude/mini-maude.fm
+share/examples/maude/mini-maude.maude
+share/examples/maude/nd-int.maude
+share/examples/maude/nim-strategy.maude
+share/examples/maude/number-hierarchy.maude
+share/examples/maude/numbers.maude
+share/examples/maude/path.fm
+share/examples/maude/path.maude
+share/examples/maude/petri-net.maude
+share/examples/maude/set-hierarchy.maude
+share/examples/maude/sieve.maude
+share/examples/maude/sorting-strategy.maude
+share/examples/maude/sorting.maude
+share/examples/maude/stack.fm
+share/examples/maude/stack2.fm
+share/examples/maude/strategy.maude
+@dirrm share/examples/maude