Version bump, added primer examples and regression test.

4 files changed, 73 insertions, 3 deletions

diff --git a/dev-lang/maude/ChangeLog b/dev-lang/maude/ChangeLog
index 82e6af3a87e8..6a130ab27542 100644
--- a/dev-lang/maude/ChangeLog
+++ b/dev-lang/maude/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for dev-lang/maude
 # Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.3 2004/07/02 04:28:16 eradicator Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.4 2004/08/11 21:52:27 ribosome Exp $
+
+*maude-2.1.1 (11 Aug 2004)
+
+  11 Aug 2004; Olivier Fisette <ribosome@gentoo.org> maude-2.1.1.ebuild:
+  Version bump; revised ebuild, added primer examples and regression test.
 
   01 Jul 2004; Jeremy Huddleston <eradicator@gentoo.org> maude-2.1.ebuild:
   virtual/glibc -> virtual/libc
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index 2119bc52c55f..3b1bead82276 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -1,5 +1,7 @@
-MD5 48e5c7ed0b0a51d8b1755f6975b1abbf ChangeLog 559
-MD5 b94a55681beda4451273757cca420db5 maude-2.1.ebuild 1485
+MD5 aad28b9e8fdcbfcffbe21b9896de0d77 maude-2.1.1.ebuild 1326
+MD5 572d10e2cc62ae0f6f956a859f80a0f1 ChangeLog 736
 MD5 40e5ec90608b2221625c50399a8f1f5a metadata.xml 612
+MD5 b94a55681beda4451273757cca420db5 maude-2.1.ebuild 1485
 MD5 ef113f0269722dd261f4d017bdda4127 files/23maude 27
 MD5 694819c2b6d60c1350e72b9ee725bff8 files/digest-maude-2.1 311
+MD5 5fdcf01ac8efe5c12f7fb581494b2b5f files/digest-maude-2.1.1 138
diff --git a/dev-lang/maude/files/digest-maude-2.1.1 b/dev-lang/maude/files/digest-maude-2.1.1
new file mode 100644
index 000000000000..4bb2bf00aab9
--- /dev/null
+++ b/dev-lang/maude/files/digest-maude-2.1.1
@@ -0,0 +1,2 @@
+MD5 36defbee8ea213ea5c1a8ab8d3728767 maude-2.1.1.tar.bz2 874308
+MD5 d5c3d8ed35ec65be3253897d9b4c135a maude-full-doc-2.1.1.tar.bz2 3047855
diff --git a/dev-lang/maude/maude-2.1.1.ebuild b/dev-lang/maude/maude-2.1.1.ebuild
new file mode 100644
index 000000000000..b742a2440a75
--- /dev/null
+++ b/dev-lang/maude/maude-2.1.1.ebuild
@@ -0,0 +1,61 @@
+# Copyright 1999-2004 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.ebuild,v 1.1 2004/08/11 21:52:27 ribosome Exp $
+
+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"
+
+IUSE="doc"
+
+RDEPEND="virtual/libc
+	dev-libs/buddy
+	dev-libs/libtecla
+	dev-libs/gmp"
+
+DEPEND="${RDEPEND}
+	sys-devel/bison
+	sys-devel/flex"
+
+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.
+	insinto /etc/env.d
+	doins ${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
+}