Subject: Re: pkg/31753: lang/maude
To: None <pkg-manager@netbsd.org, gnats-admin@netbsd.org,>
From: Antoine Reilles <tonio@NetBSD.org>
List: pkgsrc-bugs
Date: 10/14/2005 14:48:02
The following reply was made to PR pkg/31753; it has been noted by GNATS.
From: Antoine Reilles <tonio@NetBSD.org>
To: gnats-bugs@netbsd.org
Cc:
Subject: Re: pkg/31753: lang/maude
Date: Fri, 14 Oct 2005 16:47:22 +0200
--Apple-Mail-1-670187150
Content-Transfer-Encoding: 7bit
Content-Type: text/plain;
charset=US-ASCII;
format=flowed
I had an update for that one waiting in my local tree.
--Apple-Mail-1-670187150
Content-Transfer-Encoding: 7bit
Content-Type: application/octet-stream;
x-unix-mode=0644;
name="maude.diff"
Content-Disposition: attachment;
filename=maude.diff
Index: Makefile
===================================================================
RCS file: /cvsroot/pkgsrc/lang/maude/Makefile,v
retrieving revision 1.14
diff -u -r1.14 Makefile
--- Makefile 11 Apr 2005 21:46:14 -0000 1.14
+++ Makefile 14 Oct 2005 14:44:45 -0000
@@ -1,14 +1,11 @@
# $NetBSD: Makefile,v 1.14 2005/04/11 21:46:14 tv 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/
@@ -19,14 +16,11 @@
.endif
BUILD_DEPENDS+= bison-[0-9]*:../../devel/bison
-EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX}
-
-WRKSRC= ${WRKDIR}/Maude-${PKGVERSION:C/nb[0-9]*$//}
+WRKSRC= ${WRKDIR}/${DISTNAME: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"
Index: PLIST
===================================================================
RCS file: /cvsroot/pkgsrc/lang/maude/PLIST,v
retrieving revision 1.2
diff -u -r1.2 PLIST
--- PLIST 31 Dec 2003 01:20:35 -0000 1.2
+++ PLIST 14 Oct 2005 14:44:45 -0000
@@ -1,6 +1,5 @@
@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $
bin/maude
-share/maude/fm.maude
share/maude/model-checker.maude
share/maude/prelude.maude
@dirrm share/maude
Index: distinfo
===================================================================
RCS file: /cvsroot/pkgsrc/lang/maude/distinfo,v
retrieving revision 1.4
diff -u -r1.4 distinfo
--- distinfo 24 Feb 2005 09:03:09 -0000 1.4
+++ distinfo 14 Oct 2005 14:44:45 -0000
@@ -1,8 +1,5 @@
$NetBSD: distinfo,v 1.4 2005/02/24 09:03:09 agc 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
--Apple-Mail-1-670187150
Content-Transfer-Encoding: 7bit
Content-Type: text/plain;
charset=US-ASCII;
format=flowed
kristerw, is it ok for commit ?
--Apple-Mail-1-670187150--