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