Initial import, see bug #39399

6 files changed, 91 insertions, 0 deletions

diff --git a/dev-lang/maude/ChangeLog b/dev-lang/maude/ChangeLog
new file mode 100644
index 000000000000..f79993eccbfb
--- /dev/null
+++ b/dev-lang/maude/ChangeLog
@@ -0,0 +1,11 @@
+# ChangeLog for dev-lang/maude
+# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.1 2004/05/27 10:10:55 phosphan Exp $
+
+*maude-2.1 (27 May 2004)
+
+  27 May 2004; Patrick Kursawe <phosphan@gentoo.org> maude-2.1.ebuild,
+  metadata.xml, files/23maude:
+  Initial import, ebuild by Peter Simons <simons+gentoo@cryp.to> and
+  olivier.fisette@sympatico.ca - see bug #39399
+
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
new file mode 100644
index 000000000000..5e7133678cbc
--- /dev/null
+++ b/dev-lang/maude/Manifest
@@ -0,0 +1,5 @@
+MD5 d41d8cd98f00b204e9800998ecf8427e ChangeLog 0
+MD5 40e5ec90608b2221625c50399a8f1f5a metadata.xml 612
+MD5 b0ea4d9f9254df5cb939849a43719dd1 maude-2.1.ebuild 1395
+MD5 ef113f0269722dd261f4d017bdda4127 files/23maude 27
+MD5 694819c2b6d60c1350e72b9ee725bff8 files/digest-maude-2.1 311
diff --git a/dev-lang/maude/files/23maude b/dev-lang/maude/files/23maude
new file mode 100644
index 000000000000..42b55fe98414
--- /dev/null
+++ b/dev-lang/maude/files/23maude
@@ -0,0 +1 @@
+MAUDE_LIB=/usr/share/maude
diff --git a/dev-lang/maude/files/digest-maude-2.1 b/dev-lang/maude/files/digest-maude-2.1
new file mode 100644
index 000000000000..8c856b334e80
--- /dev/null
+++ b/dev-lang/maude/files/digest-maude-2.1
@@ -0,0 +1,5 @@
+MD5 afbd5f7764e6b3d8219818ce063e54c6 Maude-2.1.tar.gz 1167277
+MD5 c41729cccc07c71aaecdd0d360324bf4 full-maude.maude 531827
+MD5 f5988a7eaeab4108512a7c8a99157018 maude-manual.pdf 1406186
+MD5 43c0cd169496f87e0399f6110f5053b2 maude-manual.ps 5019442
+MD5 0fbf15aa89fb8907b4568e57935ceed4 maude-examples.tar.gz 12634
diff --git a/dev-lang/maude/maude-2.1.ebuild b/dev-lang/maude/maude-2.1.ebuild
new file mode 100644
index 000000000000..52918300de7c
--- /dev/null
+++ b/dev-lang/maude/maude-2.1.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2004 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.1.ebuild,v 1.1 2004/05/27 10:10:55 phosphan Exp $
+
+DESCRIPTION="Maude - A high-level specification language"
+HOMEPAGE="http://maude.cs.uiuc.edu/"
+SRC_URI="http://maude.cs.uiuc.edu/download/current/Maude-${PV}.tar.gz
+		 http://maude.cs.uiuc.edu/download/current/full-maude.maude
+		 http://maude.cs.uiuc.edu/maude2-manual/maude-manual.pdf
+		 http://maude.cs.uiuc.edu/maude2-manual/maude-manual.ps
+		 http://maude.cs.uiuc.edu/maude2-manual/maude-examples.tar.gz"
+		# It's a bit scary, but they do in fact not
+		# provide these things with version numbers
+		# included!
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~x86"
+
+IUSE=""
+
+RDEPEND="virtual/glibc
+	dev-libs/buddy
+	dev-libs/libtecla
+	dev-libs/gmp"
+
+DEPEND="${RDEPEND}
+	sys-devel/bison
+	sys-devel/flex"
+
+S=${WORKDIR}/Maude-${PV}
+
+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
+	insinto /usr/share/doc/${P}/pdf
+	doins ${DISTDIR}/maude-manual.pdf
+	insinto /usr/share/doc/${P}/ps
+	doins ${DISTDIR}/maude-manual.ps
+
+	insinto /usr/share/${PN}
+	doins ${DISTDIR}/full-maude.maude
+
+	insinto /usr/share/${PN}/examples
+	doins ${WORKDIR}/maude-examples/*
+
+	insinto /etc/env.d
+	doins ${FILESDIR}/23maude
+}
diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml
new file mode 100644
index 000000000000..875b27ae67eb
--- /dev/null
+++ b/dev-lang/maude/metadata.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<herd>sci</herd>
+	<longdescription>
+		Maude is a high-performance reflective language and system supporting
+		both equational and rewriting logic specification and programming for a
+		wide range of applications. Maude has been influenced in important ways
+		by the OBJ3 language, which can be regarded as an equational logic
+		sublanguage. Besides supporting equational specification and
+		programming, Maude also supports rewriting logic computation.
+	</longdescription>
+</pkgmetadata>