diff options
Diffstat (limited to 'lang/maude')
| -rw-r--r-- | lang/maude/Makefile | 13 | ||||
| -rw-r--r-- | lang/maude/PLIST | 14 | ||||
| -rw-r--r-- | lang/maude/distinfo | 10 | ||||
| -rw-r--r-- | lang/maude/patches/patch-aa | 13 | ||||
| -rw-r--r-- | lang/maude/patches/patch-ad | 13 |
5 files changed, 21 insertions, 42 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index c88a2c77d6e..c7209111007 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -1,9 +1,8 @@ -# $NetBSD: Makefile,v 1.17 2006/05/21 02:21:52 wiz Exp $ +# $NetBSD: Makefile,v 1.18 2007/12/01 13:15:55 rillig Exp $ # -DISTNAME= Maude-2.1.1 -PKGNAME= ${DISTNAME:S/M/m/} -PKGREVISION= 1 +DISTNAME= Maude-2.3 +PKGNAME= maude-2.3 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/download/ \ http://maude.cs.uiuc.edu/download/current/ @@ -12,11 +11,13 @@ MAINTAINER= kristerw@NetBSD.org HOMEPAGE= http://maude.cs.uiuc.edu/ COMMENT= System for equational and rewriting logic specification/programming +GNU_CONFIGURE= YES USE_LANGUAGES= c c++ USE_TOOLS+= flex bison +INSTALLATION_DIRS_FROM_PLIST=yes -GNU_CONFIGURE= YES -CONFIGURE_ARGS+= --datadir=${PREFIX}/share/maude +post-install: + cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/examples/maude .include "../../devel/buddy/buildlink3.mk" .include "../../devel/gmp/buildlink3.mk" diff --git a/lang/maude/PLIST b/lang/maude/PLIST index c8a1f42ab77..ccc7832896c 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,5 +1,11 @@ -@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $ +@comment $NetBSD: PLIST,v 1.4 2007/12/01 13:15:55 rillig Exp $ bin/maude -share/maude/model-checker.maude -share/maude/prelude.maude -@dirrm share/maude +share/examples/maude/linear.maude +share/examples/maude/machine-int.maude +share/examples/maude/model-checker.maude +share/examples/maude/model-checker.maude +share/examples/maude/prelude.maude +share/examples/maude/prelude.maude +share/examples/maude/socket.maude +share/examples/maude/term-order.maude +@dirrm share/examples/maude diff --git a/lang/maude/distinfo b/lang/maude/distinfo index 5a0049e2959..5ee8b3cfaf8 100644 --- a/lang/maude/distinfo +++ b/lang/maude/distinfo @@ -1,9 +1,7 @@ -$NetBSD: distinfo,v 1.6 2006/05/02 13:31:55 joerg Exp $ +$NetBSD: distinfo,v 1.7 2007/12/01 13:15:55 rillig Exp $ -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 -SHA1 (patch-aa) = 41888233aaac6af9d77072c15176c0ad0c274cd7 +SHA1 (Maude-2.3.tar.gz) = 68fbe7f76db1a5a5bb748cb751c5015d60c476d0 +RMD160 (Maude-2.3.tar.gz) = 8c6b67d257468b4910631f4d6d0f2c3a0ff8d995 +Size (Maude-2.3.tar.gz) = 1441239 bytes SHA1 (patch-ab) = ff1caa60e4b57dd6a847e28d25efa9be8474f15a SHA1 (patch-ac) = d77e8e817cb33c2594eacfa0cb44b20b63e71b8f -SHA1 (patch-ad) = 2645f9e3cfa25ab2b66121fe76f63025092a387a diff --git a/lang/maude/patches/patch-aa b/lang/maude/patches/patch-aa deleted file mode 100644 index af03945d134..00000000000 --- a/lang/maude/patches/patch-aa +++ /dev/null @@ -1,13 +0,0 @@ -$NetBSD: patch-aa,v 1.1 2006/05/02 13:31:55 joerg Exp $ - ---- src/Utility/indexedSet.hh.orig 2006-03-19 16:06:06.000000000 +0000 -+++ src/Utility/indexedSet.hh -@@ -79,7 +79,7 @@ inline int - IndexedSet<T>::insert(const T& element) - { - pair<typename EltMap::iterator, bool> p = -- eltMap.insert(EltMap::value_type(element, indexMap.size())); -+ eltMap.insert(typename EltMap::value_type(element, indexMap.size())); - if (p.second) - indexMap.push_back(p.first); - return p.first->second; diff --git a/lang/maude/patches/patch-ad b/lang/maude/patches/patch-ad deleted file mode 100644 index 07c64b0f608..00000000000 --- a/lang/maude/patches/patch-ad +++ /dev/null @@ -1,13 +0,0 @@ -$NetBSD: patch-ad,v 1.1 2006/05/02 13:31:55 joerg Exp $ - ---- src/FreeTheory/freeDagNode.hh.orig 2006-05-02 13:15:15.000000000 +0000 -+++ src/FreeTheory/freeDagNode.hh -@@ -87,7 +87,7 @@ FreeDagNode::FreeDagNode(Symbol* symbol) - if (nrArgs > nrWords) - { - setCallDtor(); // need our dtor called when garbage collected so we can free arg array -- external = new (DagNode*)[nrArgs]; -+ external = new DagNode*[nrArgs]; - } - } - |