commit: c478878e6cc8467cd7ca1ab2b30fe8ac370c3a00 Author: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com> AuthorDate: Fri Aug 2 14:45:52 2024 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Fri Aug 2 17:10:39 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c478878e
dev-ml/dune-private-libs: install ordering, dyn, and stdune too Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com> Closes: https://github.com/gentoo/gentoo/pull/37926 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> ...ivate-libs-3.11.1-r1.ebuild => dune-private-libs-3.11.1-r2.ebuild} | 4 ++++ ...ivate-libs-3.13.1-r1.ebuild => dune-private-libs-3.13.1-r2.ebuild} | 4 ++++ ...ivate-libs-3.16.0-r1.ebuild => dune-private-libs-3.16.0-r2.ebuild} | 4 ++++ 3 files changed, 12 insertions(+) diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r2.ebuild similarity index 91% rename from dev-ml/dune-private-libs/dune-private-libs-3.11.1-r1.ebuild rename to dev-ml/dune-private-libs/dune-private-libs-3.11.1-r2.ebuild index aed975f9adf0..aa0d715b7781 100644 --- a/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r1.ebuild +++ b/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r2.ebuild @@ -30,3 +30,7 @@ src_configure() { src_compile() { dune-compile ordering dyn stdune ${PN} } + +src_install() { + dune-install ordering dyn stdune ${PN} +} diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r2.ebuild similarity index 91% rename from dev-ml/dune-private-libs/dune-private-libs-3.13.1-r1.ebuild rename to dev-ml/dune-private-libs/dune-private-libs-3.13.1-r2.ebuild index aed975f9adf0..aa0d715b7781 100644 --- a/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r1.ebuild +++ b/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r2.ebuild @@ -30,3 +30,7 @@ src_configure() { src_compile() { dune-compile ordering dyn stdune ${PN} } + +src_install() { + dune-install ordering dyn stdune ${PN} +} diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r2.ebuild similarity index 91% rename from dev-ml/dune-private-libs/dune-private-libs-3.16.0-r1.ebuild rename to dev-ml/dune-private-libs/dune-private-libs-3.16.0-r2.ebuild index 89ff8e2f11a6..8cbbc65ce8b1 100644 --- a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r1.ebuild +++ b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r2.ebuild @@ -30,3 +30,7 @@ src_configure() { src_compile() { dune-compile ordering dyn stdune ${PN} } + +src_install() { + dune-install ordering dyn stdune ${PN} +}
