summaryrefslogtreecommitdiff
path: root/dev-ml/menhir
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-04-28 20:21:43 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-04-28 20:21:43 +0100
commit40aaaa64e86ba6710bbeb31c4615a6ce80e75e11 (patch)
tree758c221bad35c9288d0bd6df9c7dfc226728e52c /dev-ml/menhir
parent8d5dbd847cbc704a6a06405856e94b461011afe3 (diff)
gentoo resync : 28.04.2021
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r--dev-ml/menhir/Manifest2
-rw-r--r--dev-ml/menhir/menhir-20190924.ebuild10
2 files changed, 9 insertions, 3 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index eb50bb5019ce..2ab49aa90fd9 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,3 +1,3 @@
DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46
-EBUILD menhir-20190924.ebuild 906 BLAKE2B f64a1821c1015688bcb4e786f81ec5e066bbc010df4b0edc1cf30d270d3688c2dd228ff9d9ae6313969864b2f9efc882e526c7f98d2bf41a15338cc1268691d2 SHA512 6ed9b185d507cadec87ed86dcf876838780105f8ad75b6fcf9adfd658d1528d5d611aad66e822a4e2afc27ac4fe63e67a82f4a235fec6ba586433451479eb8db
+EBUILD menhir-20190924.ebuild 915 BLAKE2B c33ff204555d700ec02abc8bef23ca5e30767b409f3d226dd5fd380ce75d11fc1bb228d3446c3f7d1822530e6a556225138fa2700ea8ed99c828bdcc0dd983d4 SHA512 0ea611c2f1f32aaeee73ee407a9eae82a24bca518e006eeb66b33ab5f1f0adb3c06ff85fd2c0a99fdd865f8a3245239165617a0c3ccbe815009aa761b8ad7b21
MISC metadata.xml 232 BLAKE2B 502ab2778b7b5d1ac9441b71cab7ff412fbb5663747f4abfc59fb45559185dda510683f1e8ffea5db8f6b31874ca209fde5c524e3526cb125931ee1feb7ee68d SHA512 7ac25a89f6b48a8e858fd1e9f4d3e938a82a4591f21249d81e8d9f1d028c5f427a3669933a932c0e8a1dc7455106696e3bfba3573976edcd8c7ec89368dacde2
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
}