Update lang/maude to version 2.0.1.

Maude 2 extends and generalizes Maude 1 to allow more expressive
modules and a wider range of computational commands.

The license has been changed to the GNU General Public License.

4 files changed, 36 insertions, 58 deletions

diff --git a/lang/maude/MESSAGE b/lang/maude/MESSAGE
index 16739785599..de4a7e4901a 100644
--- a/lang/maude/MESSAGE
+++ b/lang/maude/MESSAGE
@@ -1,6 +1,7 @@
 ===========================================================================
-$NetBSD: MESSAGE,v 1.1 2001/11/01 00:24:05 zuntum Exp $
+$NetBSD: MESSAGE,v 1.2 2003/12/31 01:20:35 kristerw Exp $
 
-Kernel option COMPAT_LINUX is required for the package to work.
+In order for the maude binary to find the .maude files you should set
+the environment variable MAUDE_LIB to point to ${PREFIX}/share/maude.
 
 ===========================================================================
diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index 22ad3658918..89cddbf0968 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -1,35 +1,33 @@
-# $NetBSD: Makefile,v 1.8 2003/11/15 08:46:15 cube Exp $
+# $NetBSD: Makefile,v 1.9 2003/12/31 01:20:35 kristerw Exp $
 #
 
-DISTNAME=	maude-linux
-PKGNAME=	maude-1.0.5
+DISTNAME=	maude-src
+PKGNAME=	maude-2.0.1
+WRKSRC=		${WRKDIR}/Maude-${PKGVERSION}
 CATEGORIES=	lang
-MASTER_SITES=	http://maude.csl.sri.com/maude1/current/system/
-EXTRACT_SUFX=	.tar.Z
+MASTER_SITES=	http://maude.cs.uiuc.edu/download/ \
+		http://maude.cs.uiuc.edu/download/current/
+DISTFILES=	${DISTNAME}${EXTRACT_SUFX} \
+		fm.maude
 
-MAINTAINER=	tech-pkg@NetBSD.org
-HOMEPAGE=	http://maude.csl.sri.com/
+MAINTAINER=	kristerw@NetBSD.org
+HOMEPAGE=	http://maude.cs.uiuc.edu/
 COMMENT=	System for equational and rewriting logic specification/programming
 
-# see http://maude.csl.sri.com/license/license.html
-LICENSE=	maude-license
+.if !exists(/usr/bin/flex)
+BUILD_DEPENDS+=	flex-[0-9]*:../../devel/flex
+.endif
+BUILD_DEPENDS+=	bison-[0-9]*:../../devel/bison
 
-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}
+EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
 
-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
+USE_BUILDLINK2=	YES
+GNU_CONFIGURE=	YES
+CONFIGURE_ARGS+=	--datadir=${PREFIX}/share/maude
 
+post-install:
+	${INSTALL_DATA} ${DISTDIR}/fm.maude ${PREFIX}/share/maude
+.include "../../devel/buddy/buildlink2.mk"
+.include "../../devel/gmp/buildlink2.mk"
+.include "../../devel/libtecla/buildlink2.mk"
 .include "../../mk/bsd.pkg.mk"
diff --git a/lang/maude/PLIST b/lang/maude/PLIST
index 2b1207a1974..08fa6396bfa 100644
--- a/lang/maude/PLIST
+++ b/lang/maude/PLIST
@@ -1,29 +1,6 @@
-@comment $NetBSD: PLIST,v 1.1 2001/11/01 00:24:05 zuntum Exp $
+@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw 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
+share/maude/fm.maude
+share/maude/model-checker.maude
+share/maude/prelude.maude
+@dirrm share/maude
diff --git a/lang/maude/distinfo b/lang/maude/distinfo
index 0c40f59f3da..5e994273a16 100644
--- a/lang/maude/distinfo
+++ b/lang/maude/distinfo
@@ -1,4 +1,6 @@
-$NetBSD: distinfo,v 1.2 2001/04/19 15:00:53 agc Exp $
+$NetBSD: distinfo,v 1.3 2003/12/31 01:20:35 kristerw Exp $
 
-SHA1 (maude-linux.tar.Z) = 141ac96fb7f2b99e4a24ffd3f63565a7c3cff59a
-Size (maude-linux.tar.Z) = 772565 bytes
+SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd
+Size (maude-src.tar.gz) = 1030863 bytes
+SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5
+Size (fm.maude) = 511212 bytes