Version Bump, #250655

Package-Manager: portage-2.2_rc67/cvs/Linux x86_64

diff --git a/dev-lang/maude/ChangeLog b/dev-lang/maude/ChangeLog
index 03555a833931862e481a0dbc67aabeb41b9f12f6..2b418b3a1aaf982c45202f5ba843e316134bcc2f 100644 (file)
--- a/dev-lang/maude/ChangeLog
+++ b/dev-lang/maude/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for dev-lang/maude
-# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.13 2009/09/23 16:52:13 patrick Exp $
+# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.14 2010/06/23 14:24:31 jlec Exp $
+
+*maude-2.5.0 (23 Jun 2010)
+
+  23 Jun 2010; Justin Lecher <jlec@gentoo.org> -maude-2.1.1-r2.ebuild,
+  maude-2.3.0.ebuild, +maude-2.5.0.ebuild, +files/maude-2.5.0-prll.patch:
+  Version Bump, #250655
 
   23 Sep 2009; Patrick Lauer <patrick@gentoo.org> maude-2.1.1-r2.ebuild:
   Remove virtual/libc

diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index 5825a4328572712739e74bbc07eeb3c78b74883d..100000d7fbce8d39d7e68eeb09ec9d01c78df406 100644 (file)
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -1,11 +1,22 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
 AUX 2.1.1-gcc3.4.patch 7809 RMD160 73e3bcd563ae8d6afde402c0579df5c7adb3bd6b SHA1 57427211adfff03dce82740d3e2b8fd65d08dedf SHA256 fbadb0ed7383312602227d2fa93582c433b698d9268594ab4fc80da2bad5eda6
 AUX 23maude 27 RMD160 863fe69a23b9c8c6223c287a3d6e5c3b1ab1c563 SHA1 2cb50693a1968feabedae8e7a32d0c3c0cc41bc7 SHA256 5bbd73fee09b9131453ce264345c88385fc1152d95b5dd79b05069bac330366e
 AUX maude-2.3.0-gcc43.patch 3197 RMD160 7ca0655c02f0ce9f2debdec32c806d6b4a2b3775 SHA1 b788570564ed213031df5e7912859c367795070a SHA256 2d00fd0dc2ba05dd3a501c0c62b8a11124613f646c05d69497efe4e00376337b
+AUX maude-2.5.0-prll.patch 627 RMD160 d207c69be2a5f2e51c7be2d4af27889ba66d5b4f SHA1 75e760a40a6fd73c326acef06de1f71303886d7f SHA256 216ac931b326e50f6811df16b5e6c79933c6cc810d90bd355664311219662e90
 DIST Maude-2.3.tar.gz 1441239 RMD160 8c6b67d257468b4910631f4d6d0f2c3a0ff8d995 SHA1 68fbe7f76db1a5a5bb748cb751c5015d60c476d0 SHA256 67e88d8440fafc67e1121139de496c70844279291e37ba9bee369d113a92fddb
-DIST maude-2.1.1.tar.bz2 874308 RMD160 ae2891f24cce16801a49a90ba43428ef015398cf SHA1 0a976d9215288d6e3835093d6206415f7ee2f387 SHA256 8dd3d80c5cb1752fef6f2d2824175bf1077509e7bf03c38e4b78e40aa95eb8d2
+DIST Maude-2.5.tar.gz 1574038 RMD160 2e40f9f69dc7bf95169fb645e7d89484f5deb5b8 SHA1 647af9722bbe02e918fe21fc859915ea928a4d03 SHA256 dc5d4a6426b48a2b9810335a69a14064843f457f89cf9fd941ff1411fdb27b99
 DIST maude-2.3.0-extras.tar.bz2 2871587 RMD160 dd61d0cfa517d29031e55300376b32fd3173bfba SHA1 fcc6f8dab0c26d7bfe03a4bcf37417f6c315cd3f SHA256 0dd0d71cb5a1463c9888303c1ed74c6d373d6aa60a9a45660e92f3308730a54d
-DIST maude-full-doc-2.1.1.tar.bz2 3047855 RMD160 de4fc555f686bd6d62aaaf3289b026143e429412 SHA1 23186afa0fba59baa504fab2efdc6e31297e08db SHA256 9d6ae27ffbb525c08dc3474bf010c88703ba552fde2e8134066b0d69951a9b49
-EBUILD maude-2.1.1-r2.ebuild 1652 RMD160 3cd5ec00ad8f23533bfd0378f3a6bb854dd42f09 SHA1 70a5d45d4173bdecc447c90d73ce370eabf1a0aa SHA256 dfc58225b62870916a8c4e4d07fe11e901f9821fdb4f0d9113f2dc346c4c9472
-EBUILD maude-2.3.0.ebuild 1527 RMD160 64ed8b91dd460447fa752b37b8463c50f083ac0d SHA1 65cbd03e540cc1d0c65919864f9b7e20bbb88f1b SHA256 95a12b95b0478163eb0c86749d0bf20214f3bce8db21c5a1915290722963faa5
-MISC ChangeLog 2265 RMD160 5fd2325d785519cebdb6f270f9e4fa415b7e62a7 SHA1 3340bdf56cc1f7307db749d0625ffdd03e35af42 SHA256 ed12327179845ba68c3cda711fc7729aaa96b32f56881f89a3ee4cede9a38fb4
+DIST maude-2.5.0-extras.tar.bz2 3202095 RMD160 5f112dda206467302ea2eadccaddc10d09b07ce0 SHA1 f8bf90adf2f82aa40153e539f0132d9f3c57fd69 SHA256 4eaa9c7ddea3742aef90e5de16aec193e2f2821d9d3b28759b889d219add54c4
+EBUILD maude-2.3.0.ebuild 1522 RMD160 fa9c8d847ac697ee4c0a94bad94c21f558e73092 SHA1 36efd203eea054ce66eb0ef55b0edddfb593066d SHA256 e79eaba3df173aeeebf36a9a57f513a17a0dc0661e46c766c9d050a0f9f53529
+EBUILD maude-2.5.0.ebuild 1485 RMD160 2b800e3fea96f322bfdbe67425a732237009212a SHA1 e95351e50f94d2f0e8b6d8512b352e90ed173939 SHA256 07e02fed929b3a331e06943978190e70edf819ec62102b7bd8cb51bdb714ca43
+MISC ChangeLog 2460 RMD160 379eedbe46971870c4cbd401a80ae27ec07b2161 SHA1 e9c5a272f15d694ba627a1717021e8fe05572659 SHA256 9aa919c0c817df255d7f36cc14a27b70416b649c8062169abc77fe2ac48c56ac
 MISC metadata.xml 612 RMD160 14c7abbd8a7ce730cda7958315c67781f89d5e36 SHA1 e5e3f3d01414e8fcb96dfe5b4fd73a8ad2a321bb SHA256 267089654efa86ae5fa39c9a9f24392cf29dfbc24540bc7c76161239b9877c21
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.15 (GNU/Linux)
+
+iEYEARECAAYFAkwiGSUACgkQgAnW8HDreRZyOQCgwLOJMtwWVE+m9duAzJmWlHrl
+NeYAnR1K0cZcF3IpKDSf+xRZbLkCypUv
+=tLqr
+-----END PGP SIGNATURE-----

diff --git a/dev-lang/maude/files/maude-2.5.0-prll.patch b/dev-lang/maude/files/maude-2.5.0-prll.patch
new file mode 100644 (file)
index 0000000..5499af3
--- /dev/null
+++ b/dev-lang/maude/files/maude-2.5.0-prll.patch
@@ -0,0 +1,24 @@
+diff --git a/src/Mixfix/Makefile.am b/src/Mixfix/Makefile.am
+index d811631..295f0c6 100644
+--- a/src/Mixfix/Makefile.am
++++ b/src/Mixfix/Makefile.am
+@@ -72,7 +72,7 @@ libmixfix_a_SOURCES = \
+ EXTRA_libmixfix_a_SOURCES = \
+       compiler.cc
+ 
+-BUILT_SOURCES = surface.yy surface.cc surface.h lexer.cc
++BUILT_SOURCES = surface.cc lexer.cc
+ CLEANFILES = surface.yy surface.cc surface.h lexer.cc
+ 
+ surface.yy: \
+@@ -87,7 +87,9 @@ surface.yy: \
+       $(srcdir)/bottom.yy \
+       > surface.yy
+ 
+-surface.cc surface.h: surface.yy
++surface.h: surface.yy
++
++surface.cc: surface.h
+       $(BISON) -dv surface.yy -o surface.c
+       mv surface.c surface.cc
+ 

diff --git a/dev-lang/maude/maude-2.1.1-r2.ebuild b/dev-lang/maude/maude-2.1.1-r2.ebuild
deleted file mode 100644 (file)
index fdcced2..0000000
--- a/dev-lang/maude/maude-2.1.1-r2.ebuild
+++ /dev/null
@@ -1,78 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.1.1-r2.ebuild,v 1.6 2009/09/23 16:52:13 patrick Exp $
-
-inherit toolchain-funcs eutils
-
-DESCRIPTION="Maude - A high-level specification language"
-HOMEPAGE="http://maude.cs.uiuc.edu/"
-SRC_URI="mirror://gentoo/${P}.tar.bz2
-       mirror://gentoo/${PN}-full-doc-${PV}.tar.bz2"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~x86 ~ppc"
-
-IUSE="doc"
-
-RDEPEND="sci-libs/buddy
-       dev-libs/libtecla
-       >=dev-libs/gmp-4.1.3"
-
-DEPEND="${RDEPEND}
-       sys-devel/bison
-       sys-devel/flex
-       || ( >=sys-devel/gcc-3.4.3
-               =sys-devel/gcc-3.3* )"
-
-pkg_setup() {
-       if [ "$(gcc-version)" = "3.4" ]; then
-               if [ "$(gcc-micro-version)" -lt 3 ]; then
-                       eerror "Need gcc 3.3.x or >= 3.4.3"
-                       die "Wrong gcc version"
-               fi
-       fi
-}
-
-src_unpack() {
-       unpack ${A}
-       cd "${S}"
-       epatch "${FILESDIR}"/${PV}-gcc3.4.patch
-}
-
-src_compile() {
-       # econf/emake fails with a "file not found" error.
-       ./configure --bindir=/usr/bin --datadir=/usr/share/${PN} || die
-       make || die
-}
-
-src_install() {
-       make install DESTDIR="${D}"
-       dodoc AUTHORS ChangeLog NEWS README
-
-       # Sets the full maude library path.
-       doenvd "${FILESDIR}"/23maude
-
-       cd "${WORKDIR}"/${PN}-full-doc-${PV}
-
-       # Full maude library
-       insinto /usr/share/${PN}
-       doins full-maude.maude
-
-       insinto /usr/share/doc/${P}/pdf
-       doins maude-manual.pdf maude-primer.pdf
-       insinto /usr/share/doc/${P}/ps
-       doins maude-manual.ps
-
-       if use doc; then
-               insinto /usr/share/${PN}/examples
-               doins maude-examples/*
-               insinto /usr/share/${PN}/primer-examples
-               doins examples/*
-       fi
-}
-
-src_test() {
-       pwd
-       make check || die
-}

diff --git a/dev-lang/maude/maude-2.3.0.ebuild b/dev-lang/maude/maude-2.3.0.ebuild
index c5d66a52fbf5b4a032d1334ab4fd7d5c482632b9..c0a455ae5bb02ccf0ba241d3ca92c722b428d8bd 100644 (file)
--- a/dev-lang/maude/maude-2.3.0.ebuild
+++ b/dev-lang/maude/maude-2.3.0.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2009 Gentoo Foundation
+# Copyright 1999-2010 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.3.0.ebuild,v 1.3 2009/02/10 05:01:37 dirtyepic Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.3.0.ebuild,v 1.4 2010/06/23 14:24:31 jlec Exp $
 
 inherit toolchain-funcs eutils versionator
 
@@ -14,7 +14,7 @@ SRC_URI="http://maude.cs.uiuc.edu/download/current/${MY_PN}-${MY_PV}.tar.gz
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="~x86 ~ppc ~amd64"
+KEYWORDS="~amd64 ~ppc ~x86"
 
 IUSE="doc"
 

diff --git a/dev-lang/maude/maude-2.5.0.ebuild b/dev-lang/maude/maude-2.5.0.ebuild
new file mode 100644 (file)
index 0000000..b80b882
--- /dev/null
+++ b/dev-lang/maude/maude-2.5.0.ebuild
@@ -0,0 +1,63 @@
+# Copyright 1999-2010 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.5.0.ebuild,v 1.1 2010/06/23 14:24:31 jlec Exp $
+
+EAPI="3"
+
+inherit autotools eutils toolchain-funcs versionator
+
+MY_PN="${PN/m/M}"
+MY_PV=$(get_version_component_range 1-2)
+
+DESCRIPTION="Maude - A high-level specification language"
+HOMEPAGE="http://maude.cs.uiuc.edu/"
+SRC_URI="http://maude.cs.uiuc.edu/download/current/${MY_PN}-${MY_PV}.tar.gz
+               mirror://gentoo/${P}-extras.tar.bz2"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+
+IUSE="doc"
+
+RDEPEND="
+       >=dev-libs/gmp-4.1.3
+       dev-libs/libsigsegv
+       dev-libs/libtecla
+       sci-libs/buddy"
+DEPEND="${RDEPEND}
+       sys-devel/bison
+       sys-devel/flex"
+
+S="${WORKDIR}"/${MY_PN}-${MY_PV}
+
+src_prepare() {
+       epatch "${FILESDIR}"/${P}-prll.patch
+       eautoreconf
+}
+
+src_install() {
+       make install DESTDIR="${D}" || die "make install failed"
+       dodoc AUTHORS ChangeLog NEWS README
+
+       insinto /usr/share/${PN}
+       doins -r src/Main/*.maude \
+               || die "failed to install data files"
+
+       # Sets the full maude library path.
+       doenvd "${FILESDIR}"/23maude || die
+
+       # install full maude
+       cd "${WORKDIR}"/${P}-extras
+       doins full-maude.maude || die
+
+       # install docs and examples
+       if use doc; then
+               insinto /usr/share/doc/${P}
+               doins -r pdfs/*  || die "failed to install pdf files"
+
+               insinto /usr/share/${PN}/
+               doins -r manual-examples primer-examples \
+                       || die "failed to install example files"
+       fi
+}