Version Bump, #399379

Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64

3 files changed, 86 insertions, 8 deletions

diff --git a/dev-lang/maude/ChangeLog b/dev-lang/maude/ChangeLog
index 2b418b3a1aaf..cb759dcda20d 100644
--- a/dev-lang/maude/ChangeLog
+++ b/dev-lang/maude/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for dev-lang/maude
-# 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 $
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.15 2012/01/26 17:51:48 jlec Exp $
+
+*maude-2.6 (26 Jan 2012)
+
+  26 Jan 2012; Justin Lecher <jlec@gentoo.org> +maude-2.6.ebuild:
+  Version Bump, #399379
 
 *maude-2.5.0 (23 Jun 2010)
 
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index 44a6ee6cc86f..9875403cd886 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -1,5 +1,5 @@
 -----BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
+Hash: SHA512
 
 AUX 2.1.1-gcc3.4.patch 7809 RMD160 73e3bcd563ae8d6afde402c0579df5c7adb3bd6b SHA1 57427211adfff03dce82740d3e2b8fd65d08dedf SHA256 fbadb0ed7383312602227d2fa93582c433b698d9268594ab4fc80da2bad5eda6
 AUX 23maude 27 RMD160 863fe69a23b9c8c6223c287a3d6e5c3b1ab1c563 SHA1 2cb50693a1968feabedae8e7a32d0c3c0cc41bc7 SHA256 5bbd73fee09b9131453ce264345c88385fc1152d95b5dd79b05069bac330366e
@@ -7,16 +7,19 @@ AUX maude-2.3.0-gcc43.patch 3197 RMD160 7ca0655c02f0ce9f2debdec32c806d6b4a2b3775
 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.5.tar.gz 1574038 RMD160 2e40f9f69dc7bf95169fb645e7d89484f5deb5b8 SHA1 647af9722bbe02e918fe21fc859915ea928a4d03 SHA256 dc5d4a6426b48a2b9810335a69a14064843f457f89cf9fd941ff1411fdb27b99
+DIST Maude-2.6.tar.gz 1600026 RMD160 a9387701016e04ba4a256c3db8c9f10195147183 SHA1 3f1ec2f39a22942bb096102d1d8d6eed4510483e SHA256 a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0
 DIST maude-2.3.0-extras.tar.bz2 2871587 RMD160 dd61d0cfa517d29031e55300376b32fd3173bfba SHA1 fcc6f8dab0c26d7bfe03a4bcf37417f6c315cd3f SHA256 0dd0d71cb5a1463c9888303c1ed74c6d373d6aa60a9a45660e92f3308730a54d
 DIST maude-2.5.0-extras.tar.bz2 3202095 RMD160 5f112dda206467302ea2eadccaddc10d09b07ce0 SHA1 f8bf90adf2f82aa40153e539f0132d9f3c57fd69 SHA256 4eaa9c7ddea3742aef90e5de16aec193e2f2821d9d3b28759b889d219add54c4
+DIST maude-2.6-extras.tar.xz 3157004 RMD160 b43df8f34d134745375ef9fedd0481d2e81f47c9 SHA1 80bc6612a36bbb172132b3aacd0af17e85c346e0 SHA256 64cd72026c345ff1c1edeca64f9a9fce8067e6df5eccdaeee4bfe7a0f07d3102
 EBUILD maude-2.3.0.ebuild 1522 RMD160 fa9c8d847ac697ee4c0a94bad94c21f558e73092 SHA1 36efd203eea054ce66eb0ef55b0edddfb593066d SHA256 e79eaba3df173aeeebf36a9a57f513a17a0dc0661e46c766c9d050a0f9f53529
 EBUILD maude-2.5.0.ebuild 1552 RMD160 b81c2300ac771c397a672ae8f83fc216e6862e39 SHA1 eee84e7cf4430239cce87dc30e680dc0b412ff6b SHA256 add8010a8540c09e87ff8bff3ceca2f97f30d1acd7638850dd6a03f4bb14a498
-MISC ChangeLog 2460 RMD160 379eedbe46971870c4cbd401a80ae27ec07b2161 SHA1 e9c5a272f15d694ba627a1717021e8fe05572659 SHA256 9aa919c0c817df255d7f36cc14a27b70416b649c8062169abc77fe2ac48c56ac
+EBUILD maude-2.6.ebuild 1568 RMD160 0a6a2b5d087c233d6d2a7eff40e8192b2cecc867 SHA1 500216f8bc7ef7359ce350f06194b5fd2548a1b1 SHA256 f4e52e2bfc467c39677ac548e403f9f6fbf4bb43ebeb09810717dd1ca2ff4f3c
+MISC ChangeLog 2577 RMD160 df602b916c01354ef38d39f391245ccaf2a1e66b SHA1 2e472c00ef2df9433c50345a037346a5d7f0b492 SHA256 8b7d014e2a4a190f56e64258fdc029eb78ba9219dbc17eb850ef05b1b36b1c2e
 MISC metadata.xml 612 RMD160 14c7abbd8a7ce730cda7958315c67781f89d5e36 SHA1 e5e3f3d01414e8fcb96dfe5b4fd73a8ad2a321bb SHA256 267089654efa86ae5fa39c9a9f24392cf29dfbc24540bc7c76161239b9877c21
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.15 (GNU/Linux)
+Version: GnuPG v2.0.18 (GNU/Linux)
 
-iEYEARECAAYFAkwiGgMACgkQgAnW8HDreRZH2QCeLiVE4gi71/VOtZvCaMMphZf2
-QV0An0vysIh3yZ4hCUKplyD1lG3n03L7
-=anim
+iEYEAREKAAYFAk8hksAACgkQgAnW8HDreRa6FgCgtG0D3QtkYPmyi7lZQFi4ZKCS
+UmYAoMYT/xjqdsj70R7mr7BQv+Blx0/y
+=a1nd
 -----END PGP SIGNATURE-----
diff --git a/dev-lang/maude/maude-2.6.ebuild b/dev-lang/maude/maude-2.6.ebuild
new file mode 100644
index 000000000000..75226874aa44
--- /dev/null
+++ b/dev-lang/maude/maude-2.6.ebuild
@@ -0,0 +1,70 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.6.ebuild,v 1.1 2012/01/26 17:51:48 jlec Exp $
+
+EAPI=4
+
+AUTOTOOLS_AUTORECONF=true
+
+inherit autotools-utils 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
+	http://dev.gentoo.org/~jlec/distfiles/${P}-extras.tar.xz"
+
+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}
+
+PATCHES=(
+	"${FILESDIR}"/${PN}-2.5.0-prll.patch
+)
+
+src_configure() {
+	local myeconfargs=(
+		--datadir="${EPREFIX}/usr/share/${PN}"
+		)
+	autotools-utils_src_configure
+}
+
+src_install() {
+	autotools-utils_src_install
+
+	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
+}