summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/Manifest.gzbin36282 -> 36282 bytes
-rw-r--r--dev-ml/dune-private-libs/Manifest2
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.0.3-r1.ebuild (renamed from dev-ml/dune-private-libs/dune-private-libs-3.0.3.ebuild)10
-rw-r--r--dev-ml/dyn/Manifest2
-rw-r--r--dev-ml/dyn/dyn-3.0.3-r1.ebuild (renamed from dev-ml/dyn/dyn-3.0.3.ebuild)5
-rw-r--r--dev-ml/ordering/Manifest2
-rw-r--r--dev-ml/ordering/ordering-3.0.3.ebuild4
-rw-r--r--dev-ml/stdune/Manifest2
-rw-r--r--dev-ml/stdune/stdune-3.0.3-r1.ebuild (renamed from dev-ml/stdune/stdune-3.0.3.ebuild)6
9 files changed, 20 insertions, 13 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz
index 67b374f73c7b..cf4df5c36e92 100644
--- a/dev-ml/Manifest.gz
+++ b/dev-ml/Manifest.gz
Binary files differ
diff --git a/dev-ml/dune-private-libs/Manifest b/dev-ml/dune-private-libs/Manifest
index c61ea4e91966..a12bd79bd1a3 100644
--- a/dev-ml/dune-private-libs/Manifest
+++ b/dev-ml/dune-private-libs/Manifest
@@ -6,5 +6,5 @@ DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32
EBUILD dune-private-libs-2.8.4.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca
EBUILD dune-private-libs-2.9.1.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca
EBUILD dune-private-libs-2.9.3.ebuild 4430 BLAKE2B a77324e882f89eb08a241ebc17a4de86851851d513a6d210d4cd78ee21519e85316fec5da2c3b67ccf781423da46bbcff6ce0fe58221f1538aa72a14199af40c SHA512 d47796ff2cc00fa9eaa9f58433be4288c6401c0f95a8ebb1ccc3e4514f11c512e26c5e354168312df2b3d6f43cc44e4e23de0006d5d1db09689d04293a873d9d
-EBUILD dune-private-libs-3.0.3.ebuild 747 BLAKE2B 38bdeaaf2e30a6579bae771687b2cf16a409aa19ff686fe3d290915154b9ff855859cc6e5c542e3de1053135baa9910aa6e147df3eb45464788be21edc6d94c4 SHA512 c57fe6d4c070ff885f66728d76ec7e1b5508b2961bf51b5652b75752352ec8cc070d7f1694903e714ad44d8acf8a4ffa44093eda8d5be46925bee73d4ec3bbc2
+EBUILD dune-private-libs-3.0.3-r1.ebuild 864 BLAKE2B 501bf0290ce221b69348465d0a65e034ab3266f8e5c24a3e94cc6120ac2f77001bb33d60afae4c879c2029b463ed0a2eb98cfdd1653b8144e507147a7dba2995 SHA512 08157b52992d00ca4cf1b065969ddf7fac6591dd8490aabdeba264e52f7f439a38b4959b55d4bc74545bc073673468e6584f9a3c4d2bf98870ba9eeaee6e97b0
MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.0.3.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.0.3-r1.ebuild
index b15fa804ee33..5000ebb7def9 100644
--- a/dev-ml/dune-private-libs/dune-private-libs-3.0.3.ebuild
+++ b/dev-ml/dune-private-libs/dune-private-libs-3.0.3-r1.ebuild
@@ -5,7 +5,7 @@ EAPI=8
inherit dune multiprocessing
-DESCRIPTION="A composable build system for OCaml"
+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}"
@@ -16,9 +16,13 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RESTRICT="test"
-BDEPEND="~dev-ml/dune-${PV}"
+BDEPEND=">=dev-ml/dune-3"
DEPEND="
- dev-ml/stdune:=
+ >=dev-ml/csexp-1.5:=[ocamlopt?]
+ dev-ml/pp:=[ocamlopt?]
+ ~dev-ml/dyn-${PV}:=[ocamlopt?]
+ ~dev-ml/stdune-${PV}:=[ocamlopt?]
+ >=dev-lang/ocaml-4.08
"
RDEPEND="${DEPEND}"
diff --git a/dev-ml/dyn/Manifest b/dev-ml/dyn/Manifest
index bb0fe494dfb7..089b6151705a 100644
--- a/dev-ml/dyn/Manifest
+++ b/dev-ml/dyn/Manifest
@@ -1,3 +1,3 @@
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
-EBUILD dyn-3.0.3.ebuild 718 BLAKE2B 3bac5566705c1eb6b49eed073b387542fae5560d9e1c6fb78031baa4ddf2b532f44316a4682e9547bb079f7189c6703f38e76a25e635da17d78b489ee6b3f32d SHA512 ad99b1e5e38a95d2fae8adc50429f63ab215bdc07c306d2dfd9226bf42f8b19c038732935ceb2436a602e536c1cccc6c4863b877a835a8c6d0bdbc080909e09f
+EBUILD dyn-3.0.3-r1.ebuild 735 BLAKE2B 50178b1198063c8c4948fcdca0e2ee28788f9c028b315cb64f3f8ed94918e00bf7b5ef99cac87608c21394a854eb053f7f7dbe1527833a421bb1d1cb3a7e0db6 SHA512 03840527586ee0c0fce79d25467ac1345b6c526dd743284da848e1a020d663a4496cd098eacd4b5f03811367df8ccc7fabee9a596fb0932beaae1438f73fecf1
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/dyn/dyn-3.0.3.ebuild b/dev-ml/dyn/dyn-3.0.3-r1.ebuild
index ba609c7fd471..c25478c40de7 100644
--- a/dev-ml/dyn/dyn-3.0.3.ebuild
+++ b/dev-ml/dyn/dyn-3.0.3-r1.ebuild
@@ -16,8 +16,9 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RESTRICT="test"
-BDEPEND="~dev-ml/dune-${PV}"
-DEPEND="dev-ml/ordering:="
+BDEPEND=">=dev-ml/dune-3"
+DEPEND="~dev-ml/ordering-${PV}:=
+ dev-ml/pp:="
RDEPEND="${DEPEND}"
src_configure() {
diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 153a15f4ec1d..e91b509b4cc3 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,3 +1,3 @@
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
-EBUILD ordering-3.0.3.ebuild 705 BLAKE2B bc801175013b3c105f9539e0061c22830f53f6b8c2091e3e06b73edc50a9fe6dd4810a848b6f299b80829b7b1034b2c50b52b8a720442f3da27295f05df504db SHA512 e0ace6c90e7b83d20298f4d77910479fffb19b6fa1f7bccd7a6df8d76f7f61f82005789d1aed26cf798b318e71d28b04d6d02838ec21da2985c8d29411a124e3
+EBUILD ordering-3.0.3.ebuild 723 BLAKE2B ad341964914e19c0d9509ed4990ef2913d9c7338d72897fac8b82d03d0b6169caf15adcb62bed2a9beecfe85e00a8aedae938c7473e7e4f45bf28813eb3ab689 SHA512 5d128cc3d8edb9528e81d02017c07acbcbf8f70141e12875e9ee5a3384b47ee3308ab96959225a7c38ee43d2d07378884ba68eea910f65bec006bb92b3ac8c16
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/ordering/ordering-3.0.3.ebuild b/dev-ml/ordering/ordering-3.0.3.ebuild
index 0c02ad290b06..5b971ed0de41 100644
--- a/dev-ml/ordering/ordering-3.0.3.ebuild
+++ b/dev-ml/ordering/ordering-3.0.3.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RESTRICT="test"
-BDEPEND="~dev-ml/dune-${PV}"
-DEPEND=""
+BDEPEND=">=dev-ml/dune-3"
+DEPEND=">=dev-lang/ocaml-4.08"
RDEPEND="${DEPEND}"
src_configure() {
diff --git a/dev-ml/stdune/Manifest b/dev-ml/stdune/Manifest
index 8317eb640ed3..00cf85f55ec9 100644
--- a/dev-ml/stdune/Manifest
+++ b/dev-ml/stdune/Manifest
@@ -1,3 +1,3 @@
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
-EBUILD stdune-3.0.3.ebuild 771 BLAKE2B d137e7ef80ec8c60ee6f29d88019a78a59b80bb1f206c91fd7ca1a6d6250a33281994aff2a47153fcffd746b71d45010d592ec83fa83a63b471266edf4161132 SHA512 69175899051a074f8821033544ace4bcfe0b740804ffe4908e2cd1d7faa2837a2f003e922f607cc7dfa5398a89c762753ea68d3d69d2f48475c5133745ec590a
+EBUILD stdune-3.0.3-r1.ebuild 845 BLAKE2B 4011992b54716bd47eb10da5a4e09bd9da930ea75be0f6b4073b7410c3aebcbd56d542e391337af936cec2b8e240f5f53cc5fbdf693fb072a78d0bec6685696f SHA512 30d5e3cfb21628f9fa2846302e8e69e18f1b0f72af47399fb9e1b16faabac03549f2ee550a052468512550acf59a729aa445a31773def2a2bc465f58735d5290
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/stdune/stdune-3.0.3.ebuild b/dev-ml/stdune/stdune-3.0.3-r1.ebuild
index 9a437d49b807..57914cc6d34c 100644
--- a/dev-ml/stdune/stdune-3.0.3.ebuild
+++ b/dev-ml/stdune/stdune-3.0.3-r1.ebuild
@@ -16,10 +16,12 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RESTRICT="test"
-BDEPEND="~dev-ml/dune-${PV}"
+BDEPEND=">=dev-ml/dune-3"
DEPEND="
dev-ml/pp:=[ocamlopt?]
- dev-ml/dyn:=[ocamlopt?]
+ ~dev-ml/dyn-${PV}:=[ocamlopt?]
+ ~dev-ml/ordering-${PV}:=[ocamlopt?]
+ >=dev-ml/csexp-1.5:=[ocamlopt?]
"
RDEPEND="${DEPEND}"