diff options
| author | tonio <tonio> | 2005-10-14 19:54:39 +0000 |
|---|---|---|
| committer | tonio <tonio> | 2005-10-14 19:54:39 +0000 |
| commit | a964ff1a8fbed6b12f57a7504a6fb0c262c1f391 (patch) | |
| tree | 8decb8535b882dbc7cd5692b628ca8397fe19b0c /lang/maude | |
| parent | 29c799e684e725a987bb61d75c6b12439f59a147 (diff) | |
| download | pkgsrc-a964ff1a8fbed6b12f57a7504a6fb0c262c1f391.tar.gz | |
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 (limited to 'lang/maude')
| -rw-r--r-- | lang/maude/Makefile | 18 | ||||
| -rw-r--r-- | lang/maude/PLIST | 3 | ||||
| -rw-r--r-- | lang/maude/distinfo | 11 |
3 files changed, 9 insertions, 23 deletions
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 |