diff options
author | wiz <wiz> | 2001-03-20 11:57:41 +0000 |
---|---|---|
committer | wiz <wiz> | 2001-03-20 11:57:41 +0000 |
commit | 85b17774435bf27310f52845a812d2c2e5550e0d (patch) | |
tree | e14205dacfc1d3f34c8ed87dc66a331fffa6d7d2 | |
parent | e7c37d84ddedb4abc1f0606cac054efd367b9323 (diff) | |
download | pkgsrc-85b17774435bf27310f52845a812d2c2e5550e0d.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.
-rw-r--r-- | lang/maude/Makefile | 36 | ||||
-rw-r--r-- | lang/maude/files/md5 | 3 | ||||
-rw-r--r-- | lang/maude/pkg/DESCR | 7 | ||||
-rw-r--r-- | lang/maude/pkg/MESSAGE | 6 | ||||
-rw-r--r-- | lang/maude/pkg/PLIST | 29 |
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 |