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

(Portage version: 2.1.5.2)

3 files changed, 76 insertions, 9 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/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
+}