diff options
| author |   David Seifert <soap@gentoo.org> | 2016-10-08 00:37:05 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2016-10-08 00:37:05 +0200 |
| commit | bdf1aa991523f36a9231c7660956cce6dd5b6935 (patch) | |
| tree | de8bf8e1af4a447a296b0745dc803e26ff1f1ec3 /dev-lang/maude/maude-2.7.ebuild | |
| parent | sci-libs/libmems: Allow building with Boost 1.62 (diff) | |
| download | gentoo-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/maude-2.7.ebuild')
| -rw-r--r-- | dev-lang/maude/maude-2.7.ebuild | 17 |
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 } |