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"
IUSE="doc examples"
RDEPEND="
- dev-libs/gmp:0=
+ dev-libs/gmp:0=[cxx]
dev-libs/libsigsegv
dev-libs/libtecla
sci-libs/buddy"
sys-devel/bison
sys-devel/flex"
-S="${WORKDIR}/${MYP}"
+S="${WORKDIR}/${P^}"
PATCHES=(
"${FILESDIR}/${PN}-2.5.0-prll.patch"
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
}