diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
commit | 40aaaa64e86ba6710bbeb31c4615a6ce80e75e11 (patch) | |
tree | 758c221bad35c9288d0bd6df9c7dfc226728e52c /dev-ml/menhir | |
parent | 8d5dbd847cbc704a6a06405856e94b461011afe3 (diff) |
gentoo resync : 28.04.2021
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r-- | dev-ml/menhir/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/menhir/menhir-20190924.ebuild | 10 |
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 } |