diff options
author | Justin Lecher <jlec@gentoo.org> | 2012-01-26 17:51:48 +0000 |
---|---|---|
committer | Justin Lecher <jlec@gentoo.org> | 2012-01-26 17:51:48 +0000 |
commit | 769a4fb567af5aa9e4113d81fe2e15c2506ac7d7 (patch) | |
tree | a5b07fa9961c6f7e827cad264c6e2067b5297c42 | |
parent | Mirror binary file and remove it from FILESDIR, #373263 (diff) | |
download | gentoo-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/ChangeLog | 9 | ||||
-rw-r--r-- | dev-lang/maude/maude-2.6.ebuild | 70 |
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 +} |