[pkgsrc/trunk]: pkgsrc/lang/maude Update lang/maude to 2.1.1

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/0642549a6d77
branches:  trunk
changeset: 500933:0642549a6d77
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Fri Oct 14 19:54:39 2005 +0000

description:
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

diffstat:

 lang/maude/Makefile |  18 ++++--------------
 lang/maude/PLIST    |   3 +--
 lang/maude/distinfo |  11 ++++-------
 3 files changed, 9 insertions(+), 23 deletions(-)

diffs (67 lines):

diff -r ff4c4e45f859 -r 0642549a6d77 lang/maude/Makefile
--- a/lang/maude/Makefile       Fri Oct 14 18:49:35 2005 +0000
+++ b/lang/maude/Makefile       Fri Oct 14 19:54:39 2005 +0000
@@ -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@localhost
 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 -r ff4c4e45f859 -r 0642549a6d77 lang/maude/PLIST
--- a/lang/maude/PLIST  Fri Oct 14 18:49:35 2005 +0000
+++ b/lang/maude/PLIST  Fri Oct 14 19:54:39 2005 +0000
@@ -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 -r ff4c4e45f859 -r 0642549a6d77 lang/maude/distinfo
--- a/lang/maude/distinfo       Fri Oct 14 18:49:35 2005 +0000
+++ b/lang/maude/distinfo       Fri Oct 14 19:54:39 2005 +0000
@@ -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