From e2fb6838fe9e36d3d9ac84b5e30d57ed3fe457f2 Mon Sep 17 00:00:00 2001
From: asau <asau@pkgsrc.org>
Date: Tue, 19 Apr 2011 19:18:40 +0000
Subject: Update Maude to version 2.6

This release incorporates mostly optimizations and bug fixes.
Read bundled NEWS for more details.
---
 lang/maude/Makefile | 15 +++++++--------
 lang/maude/PLIST    |  3 ++-
 lang/maude/distinfo |  8 ++++----
 3 files changed, 13 insertions(+), 13 deletions(-)

(limited to 'lang/maude')

diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index c55a5c3f1e2..600863c51c8 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -1,9 +1,8 @@
-# $NetBSD: Makefile,v 1.23 2010/05/19 11:55:43 asau Exp $
+# $NetBSD: Makefile,v 1.24 2011/04/19 19:18:40 asau Exp $
 #
 
-DISTNAME=	Maude-2.4
-PKGNAME=	maude-2.4
-#PKGREVISION=	1
+DISTNAME=	Maude-2.6
+PKGNAME=	maude-2.6
 CATEGORIES=	lang
 MASTER_SITES=	http://maude.cs.uiuc.edu/download/ \
 		http://maude.cs.uiuc.edu/download/current/
@@ -16,15 +15,15 @@ LICENSE=	gnu-gpl-v2
 PKG_DESTDIR_SUPPORT=	user-destdir
 MAKE_JOBS_SAFE=		no
 
-GNU_CONFIGURE=	YES
+GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--datadir=$(PREFIX)/share/$(PKGBASE)
 USE_LANGUAGES=	c c++
 USE_TOOLS+=	flex bison
-AUTO_MKDIRS=		yes
+TEST_TARGET=	check
 
 post-install:
-	cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude \
-		${DESTDIR}${PREFIX}/share/maude
+	cd $(WRKSRC)/src/Main && $(INSTALL_DATA) *.maude \
+		$(DESTDIR)$(PREFIX)/share/$(PKGBASE)
 
 .include "../../devel/buddy/buildlink3.mk"
 .include "../../devel/gmp/buildlink3.mk"
diff --git a/lang/maude/PLIST b/lang/maude/PLIST
index dc84786818f..515995f5e75 100644
--- a/lang/maude/PLIST
+++ b/lang/maude/PLIST
@@ -1,7 +1,8 @@
-@comment $NetBSD: PLIST,v 1.7 2010/05/19 11:55:43 asau Exp $
+@comment $NetBSD: PLIST,v 1.8 2011/04/19 19:18:40 asau Exp $
 bin/maude
 share/maude/linear.maude
 share/maude/machine-int.maude
+share/maude/metaInterpreter.maude
 share/maude/model-checker.maude
 share/maude/prelude.maude
 share/maude/socket.maude
diff --git a/lang/maude/distinfo b/lang/maude/distinfo
index 4ff270147ae..123a1e9b3d0 100644
--- a/lang/maude/distinfo
+++ b/lang/maude/distinfo
@@ -1,7 +1,7 @@
-$NetBSD: distinfo,v 1.8 2010/05/19 11:55:43 asau Exp $
+$NetBSD: distinfo,v 1.9 2011/04/19 19:18:40 asau Exp $
 
-SHA1 (Maude-2.4.tar.gz) = fe6c11a9ba370175eb477aad4042f2f0ef8cce7e
-RMD160 (Maude-2.4.tar.gz) = dae6357386cb4f4a683fd23aa32580f29a013f82
-Size (Maude-2.4.tar.gz) = 1528771 bytes
+SHA1 (Maude-2.6.tar.gz) = 3f1ec2f39a22942bb096102d1d8d6eed4510483e
+RMD160 (Maude-2.6.tar.gz) = a9387701016e04ba4a256c3db8c9f10195147183
+Size (Maude-2.6.tar.gz) = 1600026 bytes
 SHA1 (patch-ab) = ff1caa60e4b57dd6a847e28d25efa9be8474f15a
 SHA1 (patch-ac) = d77e8e817cb33c2594eacfa0cb44b20b63e71b8f
-- 
cgit v1.2.3