summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2016-10-08 00:37:05 +0200
committerDavid Seifert <soap@gentoo.org>2016-10-08 00:37:05 +0200
commitbdf1aa991523f36a9231c7660956cce6dd5b6935 (patch)
treede8bf8e1af4a447a296b0745dc803e26ff1f1ec3 /dev-lang/maude
parentsci-libs/libmems: Allow building with Boost 1.62 (diff)
downloadgentoo-bdf1aa991523f36a9231c7660956cce6dd5b6935.tar.gz
gentoo-bdf1aa991523f36a9231c7660956cce6dd5b6935.tar.bz2
gentoo-bdf1aa991523f36a9231c7660956cce6dd5b6935.zip
dev-lang/maude: Add USE="cxx" dep for dev-lang/maude-2.7
Gentoo-bug: 595402 Package-Manager: portage-2.3.1
Diffstat (limited to 'dev-lang/maude')
-rw-r--r--dev-lang/maude/maude-2.7.ebuild17
1 files changed, 8 insertions, 9 deletions
diff --git a/dev-lang/maude/maude-2.7.ebuild b/dev-lang/maude/maude-2.7.ebuild
index b48d92e91264..e7a0f1fd4e58 100644
--- a/dev-lang/maude/maude-2.7.ebuild
+++ b/dev-lang/maude/maude-2.7.ebuild
@@ -4,14 +4,12 @@
EAPI=6
-inherit autotools versionator
-
-MYP="${PN/m/M}-$(get_version_component_range 1-2)"
+inherit autotools
DESCRIPTION="High-level specification language for equational and logic programming"
HOMEPAGE="http://maude.cs.uiuc.edu/"
SRC_URI="
- http://maude.cs.illinois.edu/w/images/2/2d/${MYP}.tar.gz
+ http://maude.cs.illinois.edu/w/images/2/2d/${P^}.tar.gz
https://dev.gentoo.org/~jlec/distfiles/${PN}-2.6-extras.tar.xz"
LICENSE="GPL-2"
@@ -20,7 +18,7 @@ KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
IUSE="doc examples"
RDEPEND="
- dev-libs/gmp:0=
+ dev-libs/gmp:0=[cxx]
dev-libs/libsigsegv
dev-libs/libtecla
sci-libs/buddy"
@@ -28,7 +26,7 @@ DEPEND="${RDEPEND}
sys-devel/bison
sys-devel/flex"
-S="${WORKDIR}/${MYP}"
+S="${WORKDIR}/${P^}"
PATCHES=(
"${FILESDIR}/${PN}-2.5.0-prll.patch"
@@ -51,9 +49,10 @@ src_install() {
doins "${WORKDIR}"/${PN}-2.6-extras/full-maude.maude
# install docs and examples
- use doc && dodoc "${WORKDIR}"/${PN}-2.6-extras/pdfs/*
+ use doc && dodoc -r "${WORKDIR}"/${PN}-2.6-extras/pdfs/.
if use examples; then
- insinto /usr/share/doc/${PF}/examples
- doins -r "${WORKDIR}"/${PN}-2.6-extras/{manual,primer}-examples
+ docinto examples
+ dodoc -r "${WORKDIR}"/${PN}-2.6-extras/{manual,primer}-examples
+ docompress -x /usr/share/doc/${PF}/examples
fi
}