summaryrefslogtreecommitdiff
path: root/dev-ml/dune-private-libs
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-10-01 01:26:02 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-10-01 01:26:02 +0100
commit95ce69d324747e9aa715e1761abab42204529b28 (patch)
treef8e54fe81e25cbaad4488f279c349318b2c18b87 /dev-ml/dune-private-libs
parentf16e0a3eea2c1d2e5c495ed1802dea365b4fda4b (diff)
gentoo auto-resync : 01:10:2024 - 01:26:02
Diffstat (limited to 'dev-ml/dune-private-libs')
-rw-r--r--dev-ml/dune-private-libs/Manifest3
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild6
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.16.0-r5.ebuild47
3 files changed, 1 insertions, 55 deletions
diff --git a/dev-ml/dune-private-libs/Manifest b/dev-ml/dune-private-libs/Manifest
index e13d6ffc2b3b..79fbe52bb3a5 100644
--- a/dev-ml/dune-private-libs/Manifest
+++ b/dev-ml/dune-private-libs/Manifest
@@ -4,6 +4,5 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7
DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23
EBUILD dune-private-libs-2.9.1.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca
EBUILD dune-private-libs-2.9.3.ebuild 4426 BLAKE2B c890e269face1e352e76f48307a3b411b46e67cd2bb81038094d714b01c8e45e4783688fb499ecb2db10039082f69e6389c3be01391de206a486f51d746b1009 SHA512 5c1c99d797c4e48ff059051597ee1912fcc296d5c5934cdf801f976da9d34ccc3023d14c8606be44e554ee44fdd47197384ddff6075ebb05b73c9341f5ae7521
-EBUILD dune-private-libs-3.16.0-r4.ebuild 770 BLAKE2B 9efb7d9fadc7b71032e6ad1fd847a555316f0e959cbe0f4fb4003a6568eb2ff198ef2b451d4d87931dd91f76b37840e9059edc2e2c39b18c58952b271fb1e3fc SHA512 c6d2c6a03dee26af4f6b071e6a4790bfaf07c9631a73e84aecc0684c584a8ef0346e25daad3df5a8da0aa6dd3e66dac8e267085db6a243722341720256ff4eaa
-EBUILD dune-private-libs-3.16.0-r5.ebuild 812 BLAKE2B e6e9f0199a8f0b810bb2180518bee15f38cae15ce76f30991ccb3b6622c400831cd49ed8c12f58c01af59a11078da84073dc44ed6e3ce54515b37b0332db5e80 SHA512 e48b0c9578c5a119e08cbb4e3a0b6d55866f9b6f3c46f44ab01b6ad163b2120f0d01b5ecfefcd3aa58cc0f90bb774bd8ef25007a11ee5d36e2ef84c324bac32e
+EBUILD dune-private-libs-3.16.0-r4.ebuild 714 BLAKE2B 89c6df39062e643f3940efeefc6f687c2127fa4ff647727c83be7ef1dd4476d4758d46661a1fa63319c26bb4df3fee50039242f103784cbbd4cc88bd0d70ecf9 SHA512 d3e28eb9ec176ca2c172d64c7fffd80f6d203d002ee595897b316eab93f829563fab9dff5c3230e71e2a054143c0a86532dd184912e7b88e7a0c8f1b6ad3414c
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild
index c8fea8c3b226..5f18338cf9ee 100644
--- a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild
+++ b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r4.ebuild
@@ -27,12 +27,6 @@ RDEPEND="${DEPEND}
!dev-ml/ordering
"
-src_prepare() {
- default
-
- rm -r vendor/csexp || die
-}
-
src_configure() {
:
}
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r5.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r5.ebuild
deleted file mode 100644
index 5a3292540d63..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.16.0-r5.ebuild
+++ /dev/null
@@ -1,47 +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?]
- >=dev-ml/pp-1.2.0:=[ocamlopt?]
-"
-RDEPEND="${DEPEND}
- !dev-ml/stdune
- !dev-ml/dyn
- !dev-ml/ordering
-"
-
-src_prepare() {
- default
-
- rm -r vendor/{csexp,pp} || die
-}
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune-compile ordering dyn stdune ${PN}
-}
-
-src_install() {
- dune-install ordering dyn stdune ${PN}
-}