diff options
| author | asau <asau@pkgsrc.org> | 2011-04-19 19:18:40 +0000 |
|---|---|---|
| committer | asau <asau@pkgsrc.org> | 2011-04-19 19:18:40 +0000 |
| commit | e2fb6838fe9e36d3d9ac84b5e30d57ed3fe457f2 (patch) | |
| tree | 9950b3695d798b8e00082101f1de6ca5efdacbe9 /lang/maude | |
| parent | 7786b3863efbefbfb63d28823199e6b99b2c09c3 (diff) | |
| download | pkgsrc-e2fb6838fe9e36d3d9ac84b5e30d57ed3fe457f2.tar.gz | |
Update Maude to version 2.6
This release incorporates mostly optimizations and bug fixes.
Read bundled NEWS for more details.
Diffstat (limited to 'lang/maude')
| -rw-r--r-- | lang/maude/Makefile | 15 | ||||
| -rw-r--r-- | lang/maude/PLIST | 3 | ||||
| -rw-r--r-- | lang/maude/distinfo | 8 |
3 files changed, 13 insertions, 13 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index c55a5c3f1e2..600863c51c8 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -1,9 +1,8 @@ -# $NetBSD: Makefile,v 1.23 2010/05/19 11:55:43 asau Exp $ +# $NetBSD: Makefile,v 1.24 2011/04/19 19:18:40 asau Exp $ # -DISTNAME= Maude-2.4 -PKGNAME= maude-2.4 -#PKGREVISION= 1 +DISTNAME= Maude-2.6 +PKGNAME= maude-2.6 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/download/ \ http://maude.cs.uiuc.edu/download/current/ @@ -16,15 +15,15 @@ LICENSE= gnu-gpl-v2 PKG_DESTDIR_SUPPORT= user-destdir MAKE_JOBS_SAFE= no -GNU_CONFIGURE= YES +GNU_CONFIGURE= yes CONFIGURE_ARGS= --datadir=$(PREFIX)/share/$(PKGBASE) USE_LANGUAGES= c c++ USE_TOOLS+= flex bison -AUTO_MKDIRS= yes +TEST_TARGET= check post-install: - cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude \ - ${DESTDIR}${PREFIX}/share/maude + cd $(WRKSRC)/src/Main && $(INSTALL_DATA) *.maude \ + $(DESTDIR)$(PREFIX)/share/$(PKGBASE) .include "../../devel/buddy/buildlink3.mk" .include "../../devel/gmp/buildlink3.mk" diff --git a/lang/maude/PLIST b/lang/maude/PLIST index dc84786818f..515995f5e75 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,7 +1,8 @@ -@comment $NetBSD: PLIST,v 1.7 2010/05/19 11:55:43 asau Exp $ +@comment $NetBSD: PLIST,v 1.8 2011/04/19 19:18:40 asau Exp $ bin/maude share/maude/linear.maude share/maude/machine-int.maude +share/maude/metaInterpreter.maude share/maude/model-checker.maude share/maude/prelude.maude share/maude/socket.maude diff --git a/lang/maude/distinfo b/lang/maude/distinfo index 4ff270147ae..123a1e9b3d0 100644 --- a/lang/maude/distinfo +++ b/lang/maude/distinfo @@ -1,7 +1,7 @@ -$NetBSD: distinfo,v 1.8 2010/05/19 11:55:43 asau Exp $ +$NetBSD: distinfo,v 1.9 2011/04/19 19:18:40 asau Exp $ -SHA1 (Maude-2.4.tar.gz) = fe6c11a9ba370175eb477aad4042f2f0ef8cce7e -RMD160 (Maude-2.4.tar.gz) = dae6357386cb4f4a683fd23aa32580f29a013f82 -Size (Maude-2.4.tar.gz) = 1528771 bytes +SHA1 (Maude-2.6.tar.gz) = 3f1ec2f39a22942bb096102d1d8d6eed4510483e +RMD160 (Maude-2.6.tar.gz) = a9387701016e04ba4a256c3db8c9f10195147183 +Size (Maude-2.6.tar.gz) = 1600026 bytes SHA1 (patch-ab) = ff1caa60e4b57dd6a847e28d25efa9be8474f15a SHA1 (patch-ac) = d77e8e817cb33c2594eacfa0cb44b20b63e71b8f |