Version bump and general QA fixes (see bug #119583).

Package-Manager: portage-2.1.5.2

4 files changed, 81 insertions, 11 deletions

diff --git a/dev-lang/maude/ChangeLog b/dev-lang/maude/ChangeLog
index f015b21f6d75..fcba333373d1 100644
--- a/dev-lang/maude/ChangeLog
+++ b/dev-lang/maude/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for dev-lang/maude
-# Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.10 2007/04/28 16:55:54 swegener Exp $
+# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.11 2008/06/04 03:40:46 markusle Exp $
+
+*maude-2.3.0 (04 Jun 2008)
+
+  04 Jun 2008; Markus Dittrich <markusle@gentoo.org> maude-2.1.1-r2.ebuild,
+  +maude-2.3.0.ebuild:
+  Version bump and general QA fixes (see bug #119583).
 
   28 Apr 2007; Sven Wegener <swegener@gentoo.org> maude-2.1.1-r2.ebuild:
   Fix *initd, *confd and *envd calls (#17388, #174266)
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index 5562b216c968..7140a5ab0102 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -1,7 +1,10 @@
 AUX 2.1.1-gcc3.4.patch 7809 RMD160 73e3bcd563ae8d6afde402c0579df5c7adb3bd6b SHA1 57427211adfff03dce82740d3e2b8fd65d08dedf SHA256 fbadb0ed7383312602227d2fa93582c433b698d9268594ab4fc80da2bad5eda6
 AUX 23maude 27 RMD160 863fe69a23b9c8c6223c287a3d6e5c3b1ab1c563 SHA1 2cb50693a1968feabedae8e7a32d0c3c0cc41bc7 SHA256 5bbd73fee09b9131453ce264345c88385fc1152d95b5dd79b05069bac330366e
+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.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 1657 RMD160 0a6fbf93ae72607e8af630b97e2b200329c9c763 SHA1 d14b4e936f9c0bc49162eeb6efb590eaf11c27c7 SHA256 9e319fd883f3b7dc3d5cf40bfb8c526344ec74f243a01b8bc70977a926f91f4c
-MISC ChangeLog 1840 RMD160 90a055843963f5119188ef9d372c54ef04aeece5 SHA1 5c490033cef3095d8f30935f903b0816e4b6b22c SHA256 0825cba5bfc990a80ae5a881450e812e20992284552ec26e7dd585d8d1d44298
+EBUILD maude-2.1.1-r2.ebuild 1667 RMD160 c382a5fe12f1293d9a0dffc6bf035120354eabec SHA1 b0dfd2f960721cad938c05cbdbe2893f25602147 SHA256 dec08bb93466acafd4ba4ab8cbe9b3ef694dabfa1025c9a7f1defdb8b3440ac9
+EBUILD maude-2.3.0.ebuild 1445 RMD160 735ebb036feb150bf36d0685e9022f7f72549369 SHA1 57441e2dd52ec27647ef940cab8c80e2a3b9e7a6 SHA256 dd1a5a315baaa5988d679689190733da8311a60a0345c0dab2c9204e29193e20
+MISC ChangeLog 2023 RMD160 f97a9d19e9473ae9508897396e7de8faa506aa87 SHA1 eb374666d0c18a3be178f46d14a731a25841c009 SHA256 93cefe6064a00966809250720874707ae3f129759b897209570dd9897213496e
 MISC metadata.xml 612 RMD160 14c7abbd8a7ce730cda7958315c67781f89d5e36 SHA1 e5e3f3d01414e8fcb96dfe5b4fd73a8ad2a321bb SHA256 267089654efa86ae5fa39c9a9f24392cf29dfbc24540bc7c76161239b9877c21
diff --git a/dev-lang/maude/maude-2.1.1-r2.ebuild b/dev-lang/maude/maude-2.1.1-r2.ebuild
index 3943547371bd..07f5fabe88e8 100644
--- a/dev-lang/maude/maude-2.1.1-r2.ebuild
+++ b/dev-lang/maude/maude-2.1.1-r2.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2007 Gentoo Foundation
+# Copyright 1999-2008 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.4 2007/04/28 16:55:54 swegener Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.1.1-r2.ebuild,v 1.5 2008/06/04 03:40:46 markusle Exp $
 
 inherit toolchain-funcs eutils
 
@@ -37,8 +37,8 @@ pkg_setup() {
 
 src_unpack() {
 	unpack ${A}
-	cd ${S}
-	epatch ${FILESDIR}/${PV}-gcc3.4.patch
+	cd "${S}"
+	epatch "${FILESDIR}"/${PV}-gcc3.4.patch
 }
 
 src_compile() {
@@ -48,13 +48,13 @@ src_compile() {
 }
 
 src_install() {
-	make install DESTDIR=${D}
+	make install DESTDIR="${D}"
 	dodoc AUTHORS ChangeLog NEWS README
 
 	# Sets the full maude library path.
-	doenvd ${FILESDIR}/23maude
+	doenvd "${FILESDIR}"/23maude
 
-	cd ${WORKDIR}/${PN}-full-doc-${PV}
+	cd "${WORKDIR}"/${PN}-full-doc-${PV}
 
 	# Full maude library
 	insinto /usr/share/${PN}
diff --git a/dev-lang/maude/maude-2.3.0.ebuild b/dev-lang/maude/maude-2.3.0.ebuild
new file mode 100644
index 000000000000..f53a5c73b8dc
--- /dev/null
+++ b/dev-lang/maude/maude-2.3.0.ebuild
@@ -0,0 +1,61 @@
+# Copyright 1999-2008 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.1 2008/06/04 03:40:46 markusle Exp $
+
+inherit toolchain-funcs eutils 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="~x86 ~ppc ~amd64"
+
+IUSE="doc"
+
+RDEPEND="sci-libs/buddy
+	dev-libs/libtecla
+	>=dev-libs/gmp-4.1.3"
+
+DEPEND="${RDEPEND}
+	sys-devel/bison
+	sys-devel/flex"
+
+
+S="${WORKDIR}"/${MY_PN}-${MY_PV}
+
+src_compile() {
+	econf || die "econf failed"
+	emake -j1 || die "emake failed"
+}
+
+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
+
+	# install full maude
+	cd "${WORKDIR}"/${P}-extras
+	doins full-maude.maude
+
+	# 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
+}