kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update Maude to version 2.6

Browse source 
This release incorporates mostly optimizations and bug fixes.
Read bundled NEWS for more details.
This commit is contained in:
asau 2011-04-19 19:18:40 +00:00
parent 70f80ed2c8
commit 1008bb1546
3 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
lang/maude/Makefile
View file

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

3
lang/maude/PLIST
View file

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

8
lang/maude/distinfo
View file

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