summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-04-15 09:10:44 +0100
committerSam James <sam@gentoo.org>2021-04-16 12:16:21 +0100
commit1716d09d844ef705cbd18ace6962be6a18c00545 (patch)
treecc7573f37ac6037342fb1d1afeafc73d6dd67a9d /dev-ml/menhir
parentdev-ml/labltk: eutils-- (diff)
downloadgentoo-1716d09d844ef705cbd18ace6962be6a18c00545.tar.gz
gentoo-1716d09d844ef705cbd18ace6962be6a18c00545.tar.bz2
gentoo-1716d09d844ef705cbd18ace6962be6a18c00545.zip
dev-ml/menhir: eutils--
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r--dev-ml/menhir/menhir-20190924.ebuild10
1 files changed, 8 insertions, 2 deletions
diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index c0bb1d2198fa..0b92e499c6d3 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -3,7 +3,7 @@
EAPI=7
-inherit findlib eutils
+inherit findlib
DESCRIPTION="LR(1) parser generator for the OCaml language"
HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
@@ -30,7 +30,13 @@ src_compile() {
src_install() {
findlib_src_preinst
- emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+
+ emake \
+ PREFIX="${ED}"/usr \
+ docdir="${ED}"/usr/share/doc/${PF} \
+ $(use examples || echo "DOCS=manual.pdf") \
+ install
+
use examples && docompress -x /usr/share/doc/${PF}/demos
dodoc README.md CHANGES.md
}