summaryrefslogtreecommitdiff
path: root/lang
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2001-03-20 11:57:41 +0000
committerwiz <wiz@pkgsrc.org>2001-03-20 11:57:41 +0000
commitf88e4c531ba4a90b38136e7b6f6ba256ab323f92 (patch)
treee14205dacfc1d3f34c8ed87dc66a331fffa6d7d2 /lang
parentd8c525cce17a10a0fd7a1cba8930e8ec0464fec2 (diff)
downloadpkgsrc-f88e4c531ba4a90b38136e7b6f6ba256ab323f92.tar.gz
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.
Diffstat (limited to 'lang')
-rw-r--r--lang/maude/Makefile36
-rw-r--r--lang/maude/files/md53
-rw-r--r--lang/maude/pkg/DESCR7
-rw-r--r--lang/maude/pkg/MESSAGE6
-rw-r--r--lang/maude/pkg/PLIST29
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