commit: 092f46163dad03ee59ed6bf9859c6d98ade0dfe4 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Sun Jul 18 17:39:19 2021 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Sun Jul 18 17:39:19 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=092f4616
dev-ml/menhir: install menhirLib and menhirSdk too Closes: https://bugs.gentoo.org/802765 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-ml/menhir/{menhir-20210419.ebuild => menhir-20210419-r1.ebuild} | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/dev-ml/menhir/menhir-20210419.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild similarity index 81% rename from dev-ml/menhir/menhir-20210419.ebuild rename to dev-ml/menhir/menhir-20210419-r1.ebuild index f09169a94ff..eee8ab93b31 100644 --- a/dev-ml/menhir/menhir-20210419.ebuild +++ b/dev-ml/menhir/menhir-20210419-r1.ebuild @@ -13,3 +13,9 @@ LICENSE="GPL-2 LGPL-2-with-linking-exception" SLOT="0/${PV}" KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" IUSE="+ocamlopt" + +src_install() { + dune_src_install menhir + dune_src_install menhirLib + dune_src_install menhirSdk +}
