summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2012-01-26 17:51:48 +0000
committerJustin Lecher <jlec@gentoo.org>2012-01-26 17:51:48 +0000
commit769a4fb567af5aa9e4113d81fe2e15c2506ac7d7 (patch)
treea5b07fa9961c6f7e827cad264c6e2067b5297c42
parentMirror binary file and remove it from FILESDIR, #373263 (diff)
downloadgentoo-2-769a4fb567af5aa9e4113d81fe2e15c2506ac7d7.tar.gz
gentoo-2-769a4fb567af5aa9e4113d81fe2e15c2506ac7d7.tar.bz2
gentoo-2-769a4fb567af5aa9e4113d81fe2e15c2506ac7d7.zip
Version Bump, #399379
(Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
-rw-r--r--dev-lang/maude/ChangeLog9
-rw-r--r--dev-lang/maude/maude-2.6.ebuild70
2 files changed, 77 insertions, 2 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/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
+}