From a964ff1a8fbed6b12f57a7504a6fb0c262c1f391 Mon Sep 17 00:00:00 2001
From: tonio <tonio>
Date: Fri, 14 Oct 2005 19:54:39 +0000
Subject: Update lang/maude to 2.1.1

Let the package use the TOOLS facilities for flex and bison
Changes in this version includes a few bugfixes, support for syntax for
theories, and parser improvement
Update fixes PR 31753
---
 lang/maude/Makefile | 18 ++++--------------
 lang/maude/PLIST    |  3 +--
 lang/maude/distinfo | 11 ++++-------
 3 files changed, 9 insertions(+), 23 deletions(-)

(limited to 'lang')

diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index 675264670c2..43e50257f71 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -1,32 +1,22 @@
-# $NetBSD: Makefile,v 1.14 2005/04/11 21:46:14 tv Exp $
+# $NetBSD: Makefile,v 1.15 2005/10/14 19:54:39 tonio Exp $
 #
 
-DISTNAME=	maude-src
-PKGNAME=	maude-2.0.1
-PKGREVISION=	1
+DISTNAME=	Maude-2.1.1
+PKGNAME=	${DISTNAME:S/M/m/}
 CATEGORIES=	lang
 MASTER_SITES=	http://maude.cs.uiuc.edu/download/ \
 		http://maude.cs.uiuc.edu/download/current/
-DISTFILES=	${DISTNAME}${EXTRACT_SUFX} \
-		fm.maude
 
 MAINTAINER=	kristerw@NetBSD.org
 HOMEPAGE=	http://maude.cs.uiuc.edu/
 COMMENT=	System for equational and rewriting logic specification/programming
 
-.if !exists(/usr/bin/flex)
-BUILD_DEPENDS+=	flex-[0-9]*:../../devel/flex
-.endif
-BUILD_DEPENDS+=	bison-[0-9]*:../../devel/bison
+USE_TOOLS+= flex bison
 
-EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
-
-WRKSRC=		${WRKDIR}/Maude-${PKGVERSION:C/nb[0-9]*$//}
 GNU_CONFIGURE=	YES
 CONFIGURE_ARGS+=	--datadir=${PREFIX}/share/maude
 
 post-install:
-	${INSTALL_DATA} ${DISTDIR}/fm.maude ${PREFIX}/share/maude
 .include "../../devel/buddy/buildlink3.mk"
 .include "../../devel/gmp/buildlink3.mk"
 .include "../../devel/libtecla/buildlink3.mk"
diff --git a/lang/maude/PLIST b/lang/maude/PLIST
index 08fa6396bfa..c8a1f42ab77 100644
--- a/lang/maude/PLIST
+++ b/lang/maude/PLIST
@@ -1,6 +1,5 @@
-@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $
+@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $
 bin/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 a4d0767d4ba..45bc0c05b56 100644
--- a/lang/maude/distinfo
+++ b/lang/maude/distinfo
@@ -1,8 +1,5 @@
-$NetBSD: distinfo,v 1.4 2005/02/24 09:03:09 agc Exp $
+$NetBSD: distinfo,v 1.5 2005/10/14 19:54:39 tonio Exp $
 
-SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd
-RMD160 (maude-src.tar.gz) = 1c622d07b048c6435a2609fa2ef4e795c01385b3
-Size (maude-src.tar.gz) = 1030863 bytes
-SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5
-RMD160 (fm.maude) = 1ca2ca8edf6a6f09ce71334c4a8afe5ada572914
-Size (fm.maude) = 511212 bytes
+SHA1 (Maude-2.1.1.tar.gz) = 6433ab534970c65bfdde3ea67d1067ad1c7bd9e3
+RMD160 (Maude-2.1.1.tar.gz) = 22793ee2c339a86e44e49dee56943c8b1099ee0b
+Size (Maude-2.1.1.tar.gz) = 1174764 bytes
-- 
cgit v1.2.3