mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-23 16:49:10 -07:00
@@ -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
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user