From c478878e6cc8467cd7ca1ab2b30fe8ac370c3a00 Mon Sep 17 00:00:00 2001 From: Hiroki Tokunaga Date: Fri, 2 Aug 2024 23:45:52 +0900 Subject: dev-ml/dune-private-libs: install ordering, dyn, and stdune too Signed-off-by: Hiroki Tokunaga Closes: https://github.com/gentoo/gentoo/pull/37926 Signed-off-by: Alfredo Tupone --- .../dune-private-libs-3.11.1-r1.ebuild | 32 ------------------- .../dune-private-libs-3.11.1-r2.ebuild | 36 ++++++++++++++++++++++ .../dune-private-libs-3.13.1-r1.ebuild | 32 ------------------- .../dune-private-libs-3.13.1-r2.ebuild | 36 ++++++++++++++++++++++ .../dune-private-libs-3.16.0-r1.ebuild | 32 ------------------- .../dune-private-libs-3.16.0-r2.ebuild | 36 ++++++++++++++++++++++ 6 files changed, 108 insertions(+), 96 deletions(-) delete mode 100644 dev-ml/dune-private-libs/dune-private-libs-3.11.1-r1.ebuild create mode 100644 dev-ml/dune-private-libs/dune-private-libs-3.11.1-r2.ebuild delete mode 100644 dev-ml/dune-private-libs/dune-private-libs-3.13.1-r1.ebuild create mode 100644 dev-ml/dune-private-libs/dune-private-libs-3.13.1-r2.ebuild delete mode 100644 dev-ml/dune-private-libs/dune-private-libs-3.16.0-r1.ebuild create mode 100644 dev-ml/dune-private-libs/dune-private-libs-3.16.0-r2.ebuild (limited to 'dev-ml') 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-r1.ebuild deleted file mode 100644 index aed975f9adf0..000000000000 --- a/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r1.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Private libraries of Dune" -HOMEPAGE="https://github.com/ocaml/dune" -SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz - -> dune-${PV}.tar.gz" -S="${WORKDIR}/dune-${PV}" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" -IUSE="+ocamlopt" -RESTRICT="test" - -BDEPEND=">=dev-ml/dune-3.5" -DEPEND=" - dev-ml/csexp:=[ocamlopt?] -" -RDEPEND="${DEPEND}" - -src_configure() { - : -} - -src_compile() { - dune-compile ordering dyn stdune ${PN} -} diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r2.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r2.ebuild new file mode 100644 index 000000000000..aa0d715b7781 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.11.1-r2.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Private libraries of Dune" +HOMEPAGE="https://github.com/ocaml/dune" +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz + -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +BDEPEND=">=dev-ml/dune-3.5" +DEPEND=" + dev-ml/csexp:=[ocamlopt?] +" +RDEPEND="${DEPEND}" + +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-r1.ebuild deleted file mode 100644 index aed975f9adf0..000000000000 --- a/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r1.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Private libraries of Dune" -HOMEPAGE="https://github.com/ocaml/dune" -SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz - -> dune-${PV}.tar.gz" -S="${WORKDIR}/dune-${PV}" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" -IUSE="+ocamlopt" -RESTRICT="test" - -BDEPEND=">=dev-ml/dune-3.5" -DEPEND=" - dev-ml/csexp:=[ocamlopt?] -" -RDEPEND="${DEPEND}" - -src_configure() { - : -} - -src_compile() { - dune-compile ordering dyn stdune ${PN} -} diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r2.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r2.ebuild new file mode 100644 index 000000000000..aa0d715b7781 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r2.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Private libraries of Dune" +HOMEPAGE="https://github.com/ocaml/dune" +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz + -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +BDEPEND=">=dev-ml/dune-3.5" +DEPEND=" + dev-ml/csexp:=[ocamlopt?] +" +RDEPEND="${DEPEND}" + +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-r1.ebuild deleted file mode 100644 index 89ff8e2f11a6..000000000000 --- a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r1.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Private libraries of Dune" -HOMEPAGE="https://github.com/ocaml/dune" -SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz - -> dune-${PV}.tar.gz" -S="${WORKDIR}/dune-${PV}" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" -IUSE="+ocamlopt" -RESTRICT="test" - -BDEPEND=">=dev-ml/dune-3.12" -DEPEND=" - dev-ml/csexp:=[ocamlopt?] -" -RDEPEND="${DEPEND}" - -src_configure() { - : -} - -src_compile() { - dune-compile ordering dyn stdune ${PN} -} diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r2.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r2.ebuild new file mode 100644 index 000000000000..8cbbc65ce8b1 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r2.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Private libraries of Dune" +HOMEPAGE="https://github.com/ocaml/dune" +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz + -> dune-${PV}.tar.gz" +S="${WORKDIR}/dune-${PV}" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +BDEPEND=">=dev-ml/dune-3.12" +DEPEND=" + dev-ml/csexp:=[ocamlopt?] +" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ordering dyn stdune ${PN} +} + +src_install() { + dune-install ordering dyn stdune ${PN} +} -- cgit v1.2.3-65-gdbad