diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-07-04 08:06:08 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-04 08:06:08 +0100 |
commit | 2a8d2f71d1d9963368e0ef3d641d75979a689d12 (patch) | |
tree | 83e283f960ab2ebbc1a042b8ed6c37b78d47b37b /dev-ml | |
parent | 8435c842b9e8fbb2bcc80397ab3aa655000459e2 (diff) |
gentoo auto-resync : 04:07:2024 - 08:06:07
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/Manifest.gz | bin | 39781 -> 39783 bytes | |||
-rw-r--r-- | dev-ml/dune-build-info/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-build-info/dune-build-info-3.16.0.ebuild | 28 | ||||
-rw-r--r-- | dev-ml/dune-configurator/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild | 39 | ||||
-rw-r--r-- | dev-ml/dune-private-libs/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-private-libs/dune-private-libs-3.16.0.ebuild | 34 | ||||
-rw-r--r-- | dev-ml/dune-site/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-site/dune-site-3.16.0.ebuild | 32 | ||||
-rw-r--r-- | dev-ml/dune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune/dune-3.16.0.ebuild | 70 | ||||
-rw-r--r-- | dev-ml/dyn/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dyn/dyn-3.16.0.ebuild | 31 | ||||
-rw-r--r-- | dev-ml/ordering/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/ordering/ordering-3.16.0.ebuild | 29 | ||||
-rw-r--r-- | dev-ml/stdune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/stdune/stdune-3.16.0.ebuild | 35 |
17 files changed, 314 insertions, 0 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex caf4f99b3ec1..5521ffc352a8 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest index 292e846c8259..37c0d2ba0933 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -3,6 +3,7 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD dune-build-info-2.9.1.ebuild 517 BLAKE2B a7c02238857706cecab9fe1c0efeedea17ec80c791f0fedc1361be9727ae6a45691b1746098b40e7dd25c7a22c599cfc9304254e4142c9f0f0e952055b06d344 SHA512 1b369cd3d131b4c5c293c157fadf24b600dd3dd9fc78dd120a858b19309eae6fa9ef4c7d4bb8ccbaf4add58a038ccfdd25830f47f877eac59371b2d7c8beaac1 @@ -10,6 +11,7 @@ EBUILD dune-build-info-2.9.3.ebuild 577 BLAKE2B 526b80cea1a18fa1f2828e2d1c5f5803 EBUILD dune-build-info-3.10.0.ebuild 622 BLAKE2B a8176c47993fde91dacd657eee742c9a60734ad102751f68cf730ec4a1a054a596c964a1b113c5d36a4fdfc9bd8e1e29fb004a9b09a92682fc4a474e8f8440a9 SHA512 03404f4a477c5719c64a90b8ed3b2450d210fca1cee47fe70875a9bee6859aa76b85cd0e06d854fbef920e3176d8b13e2b31c92f630cd42f56c5b03708c14c4a EBUILD dune-build-info-3.11.1.ebuild 556 BLAKE2B e3603a4b8f13a1d951598ddaa98dc07e2ae5986b5ed766f6a111752316a727ceedaaa19de57a4b0db954e2c6d0d9701823e240cce83bdc54e897ab4f6e215fd8 SHA512 cd5c61b6f5b16dc9f91a8fd54e28ff1fa66dc54446d50102c6734981e4a0bd7e3785a23165e078a971c533fa88db64a01e096ae0cd6182feff330936ec6cdb12 EBUILD dune-build-info-3.13.1.ebuild 556 BLAKE2B e3603a4b8f13a1d951598ddaa98dc07e2ae5986b5ed766f6a111752316a727ceedaaa19de57a4b0db954e2c6d0d9701823e240cce83bdc54e897ab4f6e215fd8 SHA512 cd5c61b6f5b16dc9f91a8fd54e28ff1fa66dc54446d50102c6734981e4a0bd7e3785a23165e078a971c533fa88db64a01e096ae0cd6182feff330936ec6cdb12 +EBUILD dune-build-info-3.16.0.ebuild 557 BLAKE2B 0e4c2e2b1e63f0a5d0e83ecab890f949159b175666b09ffbd3b99e8144bec0897a735ce2fa76ce459e159319338b9b1970bffd03586c27599aba78d7f67b2290 SHA512 826b7e1cf986f6baf34b2b5590c7a1d9207d877fe8e33dbe2c2eefc33dd11776aa2afa2f583102199f678367c357e9c12e5079ad4f6aa1d636b8e1e0ef074fa0 EBUILD dune-build-info-3.6.1.ebuild 616 BLAKE2B ed6886626692482d342018ce569fd1f0a6d631bd6472ee3320c001d812489522e20242efc21b923e66c823f31ecb6e0b59594c98d2b1986f2b2a6208057f9f89 SHA512 5fed2e6937d2e2c3214c4e7f43cf8d56bd5f891085c4e82dd9c264eb331c47d5eba20122829a61c07767141dee094a1830d8d97951b8a027d48e101ca671b5a7 EBUILD dune-build-info-3.7.1.ebuild 617 BLAKE2B c871afad5d07e664161df67d3c08d4c21f098b99c403a2f709b464800ee5adf59f60b0822a6c1bf9161d0f3241f8b7f83c2e436dcf1fc65f838683ed213366db SHA512 4741c2ddb34812098ad5ef03da3aae5957a099b2800090f16fcf3eeeba19c65fa7400f113935d9e9fe229b6fdb7b3b35db358d18783f55873e86fdddddee6c9b MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595 diff --git a/dev-ml/dune-build-info/dune-build-info-3.16.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.16.0.ebuild new file mode 100644 index 000000000000..a3661b549fcb --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.16.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Embed locations informations inside executable and libraries" +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="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=">=dev-ml/dune-3.12" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest index 6182d2f43bbb..9d9c7dc50db2 100644 --- a/dev-ml/dune-configurator/Manifest +++ b/dev-ml/dune-configurator/Manifest @@ -4,6 +4,7 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD dune-configurator-2.8.4.ebuild 4096 BLAKE2B e5a5aa47665e30b13f1a158149f235156ec8e0b0e3172fb4629532f991b9bc86080d1d303f734e0fb215502151911d41fbed9cddd53d86ae13e7e70e11c8d7ab SHA512 bb7f6f2acb81a18fc9e0c3c67819a1724cbc2f643405c447e67d1bc17ea3e3a9e9194cdceeff0cf04dcf38bc154d31650a203beefc87dea9b8fa74e9f5d17873 @@ -12,6 +13,7 @@ EBUILD dune-configurator-2.9.3.ebuild 639 BLAKE2B 3f1a161b5e255cf5f3d4ada3aa1577 EBUILD dune-configurator-3.10.0.ebuild 867 BLAKE2B 7bbd7e730d848d349ff4f29bcbfff61e52ddd69d1d942015d135c42db94cdf68b1c7940d05476ce84b45093709416d8f4cc4342914a6661a72732fcf2a4493fe SHA512 b75cd9c0a6117621d52a7aeca263ec5b7c15fee8e35c1348985c78ab45f8cc7cb267b434b1cb604084ad089ac7a04955d772af46fa15eda1bfed85ffe2be9e5b EBUILD dune-configurator-3.11.1.ebuild 799 BLAKE2B 0fcbf7d7604b48abfa4d756d7bb08e7d2322c92c67f9f7f92214dbc27d00ee6fa0051d87294c790a2527513ca0ef7e76fe322218ce5a52d753e23ae5ae372739 SHA512 9fc924b67ed0fc55b80bec8ea81e3085ff1165587f3cb6c3e578c922b357c77016bab8a2b28320614b552afca7a157320abe35c9e64a9e118f74358508bb63ad EBUILD dune-configurator-3.13.1.ebuild 799 BLAKE2B 0fcbf7d7604b48abfa4d756d7bb08e7d2322c92c67f9f7f92214dbc27d00ee6fa0051d87294c790a2527513ca0ef7e76fe322218ce5a52d753e23ae5ae372739 SHA512 9fc924b67ed0fc55b80bec8ea81e3085ff1165587f3cb6c3e578c922b357c77016bab8a2b28320614b552afca7a157320abe35c9e64a9e118f74358508bb63ad +EBUILD dune-configurator-3.16.0.ebuild 800 BLAKE2B 01c0c5e09f371c6d7e2af03c92769d88bb66101e33e42860180d91e8dc768afa99186ca0e5229a1686cfb46b6c476afd932fbc8c2495c4ddb40bca541651a667 SHA512 2f2eba71884d9390275fc13cfc9697dc6016bea671e1c81119b221703196c179b6a59beff99ecc04b3d0996ad713d0299201d4295a28601c0a30e264f73aed6c EBUILD dune-configurator-3.6.1.ebuild 867 BLAKE2B a88bf4a1b65df3d5d4a804074a9ff26f5cdab9509520b7fc98e5d4f5545565bd92090570019b378767f346a381325d3d7350c47e32a9f49efdec5ad5e5040af7 SHA512 3cd522602d6b1bfdfc9dc6ba03d4193cc09ffb00b1fd6d7a6198d5a4563d3f3885b2e5f82073e6812fd1eac61b470c7b5475c05eda686879d09cf5d5cd95486b EBUILD dune-configurator-3.7.1.ebuild 871 BLAKE2B 227b610d5f16761c951450e27afb484b262984f651e3d143355317b3bf5b40e4acb08c2ac11aad77e819278bf10b2ba5c4b01e5ec27c4a6c1647e198bb89499d SHA512 a29fa91ff1afc457b63f812498e109bf20c4bba1219887294c1d259018e8204c7ee91d5314960e0aa29650da1eecba8d124771f1f35850789015816d556e44c3 MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild b/dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild new file mode 100644 index 000000000000..72cb74746f80 --- /dev/null +++ b/dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Helper library for gathering system configuration" +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-1.5:=[ocamlopt?] +" +RDEPEND="${DEPEND}" + +src_prepare() { + default + + # This enables dune-configurator to use the vendored csexp module + sed -i 's/stdune.csexp/dune-configurator.csexp/' \ + vendor/csexp/src/dune || die +} + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/dune-private-libs/Manifest b/dev-ml/dune-private-libs/Manifest index 59067f863aac..18bb351ec1c0 100644 --- a/dev-ml/dune-private-libs/Manifest +++ b/dev-ml/dune-private-libs/Manifest @@ -5,6 +5,7 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD dune-private-libs-2.8.4.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca @@ -13,6 +14,7 @@ EBUILD dune-private-libs-2.9.3.ebuild 4426 BLAKE2B c890e269face1e352e76f48307a3b EBUILD dune-private-libs-3.10.0.ebuild 779 BLAKE2B d669557820340535398468741759b085f3caf4a597aa24f7b85cc0a07e910ec69f8dd7a205a938f45398ac6fc224be08337f1f34d7370ca9f8a817ebff2b22a5 SHA512 33e7a5f45b7e95579883efb5656ccf38b778e13484eb7b0bb2b04a41e8bcc0346eb3b18da1dff4dba7221f38bbe2b6ef5d88261a92a4126a1b1ecff09583a5aa EBUILD dune-private-libs-3.11.1.ebuild 593 BLAKE2B 4f88e511706e9df4bdf27bfbef75a853e6605ed7b0bb08e052ae18cdfb5749700b305aef3c25367f2e0129f2369f2f3e513de8fba850c79a8221898e734b5a28 SHA512 55da72d3ba65959c5b9ee34f6bb0708c659df23ed19faa1fc3ec1963982a6408bb437ee6d07d9d719411fef8588e3aafe78ae225c8b1ac537ae17949964f626b EBUILD dune-private-libs-3.13.1.ebuild 682 BLAKE2B 8e86272aed1550a127137465183b54766686b71c6a2a53cadae0b805a6b6982fde396a3905223d552aa11e1ad1f835549ffb011c8f65101e335216e8876e2f15 SHA512 ceacf71c5fc28407d9a43e1d7c062faff4d24b3a6bd92d5a6104ad0ce95a0db397766fbea9953dd456aa7d3a0c63139bb6a9252269680ebaa9d04175c56e2a00 +EBUILD dune-private-libs-3.16.0.ebuild 659 BLAKE2B fceca608193e3cfe441482bb8a36d7125ec33b42d0a2dcf3f40756320aee4213c9ade0f67476663047d0985eab3411c94756ef342d111369ac0fb4b172e09593 SHA512 f7762ec8473cd82638a525d177e6055cb9e4fc33134d078db95c3838d41a9286e2c18c1990ca23e4e1a5baa7f1953977180a731e5b006fba87f9361cc8186a7f EBUILD dune-private-libs-3.6.2.ebuild 779 BLAKE2B 35d2f09aa31e0049b39a1045590603b13ede0eca4fb51999cea97b3f439d9c14a3db12de4483bd391f060e9f502d9f7b786e453cf04bb1b6c5dfd86d32584b54 SHA512 ee8f8da94ceb3fe5bb0d4ccc8119d9f73079f27827556dc5c1caf82545bb92771733d32217f74d6e982f969c8b87635181f1a672b34f93a397d36aa0ef472427 EBUILD dune-private-libs-3.7.1.ebuild 783 BLAKE2B 0e5c4ad9466bffc02f904bbad79cc6ff4c5b2ada28ab60840a756d3c3daa23eb6ca42398cd27a00355d11f13c1490324f54fb078f4a3b93b43658bee62fd4462 SHA512 9b6095ac9ee29f000beb9108eed8a992e8832dc71b4c1ce5b5dc0c9d1358936728cacea8929e0f6fe691c9908eab57cd72057a8e77d74cd53733e58e79a3a5fa MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.16.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.16.0.ebuild new file mode 100644 index 000000000000..b6e82e1adca1 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.16.0.ebuild @@ -0,0 +1,34 @@ +# 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/dyn-${PV}:=[ocamlopt?] + ~dev-ml/stdune-${PV}:=[ocamlopt?] +" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/dune-site/Manifest b/dev-ml/dune-site/Manifest index 36c24a3b4257..f7ae72dc230f 100644 --- a/dev-ml/dune-site/Manifest +++ b/dev-ml/dune-site/Manifest @@ -2,12 +2,14 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD dune-site-2.9.3.ebuild 656 BLAKE2B e286ce1ec1210f32ca615e52ee154a79efc30c304b247b339c117af0962ebb3fdbfa98dd553ddf453a533c1a004e843ef488329a1d0a9ab24e6ef0213a683b4e SHA512 3090aaf87f230dede1026586331495e517f9d731786df8a8e9931cc0b46c13ef2bd6292271dd9dfc6a0b5ab87a1fd8958f43830778361bf54714451bc8aefaf0 EBUILD dune-site-3.10.0.ebuild 669 BLAKE2B 222c04b28d14d7bc264835d2030cfd2cc4015e2c007d8b067dae5dd1fa7a32d9af623e6e42501dcd690b5c15b39117ebff748ac86de214d313bedd1a72c253e4 SHA512 8178151e0f2d68871b558f45b9b772c7df3d87f4dae48e6c220cd18c3cbff5b4ad505e427653769d8ce5b2f2b3361260770d454159252a7f6e2acc557b0aa290 EBUILD dune-site-3.11.1.ebuild 604 BLAKE2B 64ad5497dd262f727c7cd05be609e57f27eff7cc3e82fde06f5b4a65f596078a2316281c736be7c623aa069c3f5651aa4142c7890b6be5b17d6efc13bed39913 SHA512 7ea816d0992ecdd70ba91b44bed93af21a67cf809b8acb54d253b4a6d1849c4aeddf340597b2f4defeca1c73626f44a21effa447b110b5f073524ae9412f5c42 EBUILD dune-site-3.13.1.ebuild 623 BLAKE2B 0d6fa86361cbfc8077c6b525a4b873e97b4afcff6b52cc1a83c5833bcc21b96bef1f01f0c2752d22a757d9ae35505decbe8fea6852ae59e410a5c5b204ad0854 SHA512 90322bf898f147f626c7e32f7009c2f25724eae9f3796dd99471038e84363dbf4285d2bce67e320915dafaad976c265baa0857a73dffa2a66878bde0c859a9c1 +EBUILD dune-site-3.16.0.ebuild 624 BLAKE2B 35d2c76654257abd83abca92c5a4b0f9a502004b7c7ead375d925833b7a108ad613591c53547fc6becca7886163fdc65cca8d87361a3ee44fd2c65988c878835 SHA512 00f970af38c5135e31d95d39f414c95005b9f7ed490d347288ab03a6ab5f288bf75d4a67ffc58000be1a735083aa0eca978c8647b3f61a1ddaa8f7c835287d32 EBUILD dune-site-3.6.2.ebuild 647 BLAKE2B eb3785b4877a65fc0780447e33d9bb9d8fed0739a4af133c89f3b0faa8bd4341fb2a58da7e19ab326e5ef7cf59e98327b2cf2df80cfb35231309dc6f41165c99 SHA512 6d6dbfc7fee7f97a1f7a96605ec8c63aee82a31ec89a485f93d287f81a60608e5df99f129d3b56c058cf9c9bb390ccdb1a980fdf2e2f7a9f16efeb878cfb5d2a EBUILD dune-site-3.7.1.ebuild 672 BLAKE2B c71af94e9dfa07f9b76fffb3b633dfc107a413ff2d482c166a71fe8a13d756acf48384d9493876bc79f1e33d49f06a18592638ec075abd37a6ca40dc140d8eed SHA512 597c9c50172a9e761bc7deb42d8021118b334ae516fba349cd99460f0ce7e4285ac3f7cf75f0137bafabbc46063491ead126c963c19a726b3d0210550cdf0013 MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595 diff --git a/dev-ml/dune-site/dune-site-3.16.0.ebuild b/dev-ml/dune-site/dune-site-3.16.0.ebuild new file mode 100644 index 000000000000..c36b83bf0449 --- /dev/null +++ b/dev-ml/dune-site/dune-site-3.16.0.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Embed locations informations inside executable and libraries" +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="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=" + >=dev-ml/dune-3.12 + ~dev-ml/dune-private-libs-${PV}:=[ocamlopt=] +" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest index 87e687b8f7a7..430c9defe6c1 100644 --- a/dev-ml/dune/Manifest +++ b/dev-ml/dune/Manifest @@ -5,6 +5,7 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b @@ -14,6 +15,7 @@ EBUILD dune-2.9.3-r3.ebuild 1264 BLAKE2B a38c604ee7d3af231344f66fa0f72e4f55ac938 EBUILD dune-3.10.0.ebuild 1677 BLAKE2B 752abd6ec0ecf2e63bd79365b59ae04a983613d3e354fe2203943b5b5afc2f85fd974ea5c0fcf39e359f9b231ce793abc8bc194b01ed81499dfab68c39f7003e SHA512 1c414d253f6fbc4c766a88facd9b464f2939301c3ece7533f6862304dfc9d5cb94d96d92c9f0e8726eeb17cebc2b7d7fe8bfa57f9ce74334bb906cc443a18544 EBUILD dune-3.11.1.ebuild 1642 BLAKE2B 133eef4ad3c190ae5aa6d52e784a470dbbe42db2a1d2eb83e58ec80b6553087f8529c741f6645e42a2bf9d1489ec90d993a8b9fb154901ee94939733b08353b4 SHA512 a15f357b7f5f4cb388f1173ee7e7285d94af85a4f16215fd424b22d40c164ce1db4ce55aaeffa929f33ef49210a5b54994470538c809ac9a26b873dc0cba99d2 EBUILD dune-3.13.1.ebuild 1642 BLAKE2B 133eef4ad3c190ae5aa6d52e784a470dbbe42db2a1d2eb83e58ec80b6553087f8529c741f6645e42a2bf9d1489ec90d993a8b9fb154901ee94939733b08353b4 SHA512 a15f357b7f5f4cb388f1173ee7e7285d94af85a4f16215fd424b22d40c164ce1db4ce55aaeffa929f33ef49210a5b54994470538c809ac9a26b873dc0cba99d2 +EBUILD dune-3.16.0.ebuild 1642 BLAKE2B 133eef4ad3c190ae5aa6d52e784a470dbbe42db2a1d2eb83e58ec80b6553087f8529c741f6645e42a2bf9d1489ec90d993a8b9fb154901ee94939733b08353b4 SHA512 a15f357b7f5f4cb388f1173ee7e7285d94af85a4f16215fd424b22d40c164ce1db4ce55aaeffa929f33ef49210a5b54994470538c809ac9a26b873dc0cba99d2 EBUILD dune-3.6.2.ebuild 1561 BLAKE2B 46637f8691911208ab05dc8c1c2b22df8eba240ff689cf3cc71eeccc8af01a87fe7df067bdf63913545e65f4d7b5333ed0b79e76882862fce3a3ef9b58c0db50 SHA512 f8ab4674e7d03db64e08b2e30d7aca7dc93568e7f34e070131680b8f5dab034d639147536c895e824ef98c4a9f51aa4c177ee14a27bd4963706b797edea08176 EBUILD dune-3.7.0.ebuild 1561 BLAKE2B 46637f8691911208ab05dc8c1c2b22df8eba240ff689cf3cc71eeccc8af01a87fe7df067bdf63913545e65f4d7b5333ed0b79e76882862fce3a3ef9b58c0db50 SHA512 f8ab4674e7d03db64e08b2e30d7aca7dc93568e7f34e070131680b8f5dab034d639147536c895e824ef98c4a9f51aa4c177ee14a27bd4963706b797edea08176 EBUILD dune-3.7.1.ebuild 1565 BLAKE2B fb9eb53ad7861e8ee463d1d3ba4ab4b064f9be5e5dc2c06c5db2d47667b750c1f22c46c9b8ebf66865dff90deab4bd779a06d0ed356bf51c47df38ba3316bc72 SHA512 67e67dc445792fa5a2fb0bba48b39a85c2b8704489852c57695de9f499cba23bb2324d93b36e44e7457ce9f48f7f2c8af6d9a695645e8abc90d1d62b986b8d2f diff --git a/dev-ml/dune/dune-3.16.0.ebuild b/dev-ml/dune/dune-3.16.0.ebuild new file mode 100644 index 000000000000..e2e51c3abce7 --- /dev/null +++ b/dev-ml/dune/dune-3.16.0.ebuild @@ -0,0 +1,70 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit multiprocessing elisp-common + +DESCRIPTION="A composable build system for OCaml" +HOMEPAGE="https://github.com/ocaml/dune" +SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="emacs" +RESTRICT="strip test" + +RDEPEND=" + >=dev-lang/ocaml-4.08:= + emacs? ( >=app-editors/emacs-23.1:* ) +" +DEPEND="${RDEPEND}" + +QA_FLAGS_IGNORED="usr/bin/dune" + +BYTECOMPFLAGS="-L ${S}/editor-integration/emacs" +SITEFILE="50${PN}-gentoo.el" + +src_prepare() { + default + + # This allows `dune --version` to output the correct version + # instead of "n/a" + sed -i "/^(name dune)/a (version ${PV})" dune-project || die +} + +src_configure() { + ./configure \ + --libdir="$(ocamlc -where)" \ + --mandir=/usr/share/man \ + --docdir=/usr/share/doc \ + --etcdir=/etc \ + --datadir=/usr/share \ + --sbindir=/usr/sbin \ + --bindir=/usr/bin \ + || die +} + +src_compile() { + ocaml boot/bootstrap.ml -j $(makeopts_jobs) --verbose || die + ./_boot/dune.exe build @install -p "${PN}" --profile dune-bootstrap \ + -j $(makeopts_jobs) --display short || die + + use emacs && elisp-compile editor-integration/emacs/*.el +} + +src_install() { + # OCaml generates textrels on 32-bit arches + if use arm || use ppc || use x86 ; then + export QA_TEXTRELS='.*' + fi + default + + mv "${ED}"/usr/share/doc/dune "${ED}"/usr/share/doc/${PF} || die + + if use emacs ; then + elisp-install ${PN} editor-integration/emacs/*.el{,c} + elisp-site-file-install "${FILESDIR}/${SITEFILE}" + fi +} diff --git a/dev-ml/dyn/Manifest b/dev-ml/dyn/Manifest index 0a68ac1661c3..09318176e043 100644 --- a/dev-ml/dyn/Manifest +++ b/dev-ml/dyn/Manifest @@ -1,11 +1,13 @@ DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD dyn-3.10.0.ebuild 655 BLAKE2B e3c6bd4f4a9d8150280fe7c0ff572e296a3486b465a14051a459ebdc4a05be1ffd7afc47bfc896aa91518e381d4f95b7d4cee346854e7455723e54dbb2627485 SHA512 61b675bfa453b8cf1619b0c79727cad69bd3857878b9993e0c70275447e041673165f6339dd52b01c3d0a5d97a53279361deb41a093e5eeff5f54f4837b2e90c EBUILD dyn-3.11.1.ebuild 575 BLAKE2B 6882c16da8f357c7dab245ed682dbf5204a2a31ba71a1711dd148b28c03b54daee455f745abad4d26670eeddd29e6cce2cebfa8652b7f5a854e69020312ca46a SHA512 1b3b5f843ec472822984e3956c373e15195ce030f71a84e0c9e67c920cc61cc0b2601d476cc0a9fb274121bb00f6b8ebfed7a0d38579a86a77d58c90a8481507 EBUILD dyn-3.13.1.ebuild 586 BLAKE2B 779058d4d5fdde45a384fa1d736b4c2ea47c70ecb77b26e69b43d4926921496776233d3cac51888ceddb5682254cf443c566c3fc7ab736ab1515455e5a9c4ffb SHA512 facd4c6c83b6213b35ee79a6871854994a3158f0e04ed9036cc4cb9c8e168305ca5a960f42e7c44531af92ccffcca6ca8d1c9ee5670c0c3a0e0cc4fa59ac7a78 +EBUILD dyn-3.16.0.ebuild 587 BLAKE2B 40e0e91cbe757b5035b325837070c760c69cac3805c06fe94d233e1abd29c3a1b1b7011de574cd8526ec4f856c964c4aede3996fa9722cea24c2fae3389b6f16 SHA512 b8c5b24fce7e7f8627fa7d2529521b6acc52fed6d2a33fbceed06eb8c503d9d3064df3166a375e217a917cfd327d89a8f5fd1cc9a93ebdff2f3837525290e3a0 EBUILD dyn-3.6.2.ebuild 655 BLAKE2B e9bfb469c6fed1ad2d78f9ffd611b9986dd5f3ad49461b85e4092566c06a062b85d852f474c53e97ef5c7e8901e0f60b2087605fa14378ef3c45f05b4456ba44 SHA512 b1dfcf24583fffbe13147d81e4ac250c0faa990a43771da05a0d7f690faa05676a5142a02756cd9180cc348b06beecd368a43ea127271356a283da117e2645ed EBUILD dyn-3.7.1.ebuild 659 BLAKE2B c2c2ef854e283c81600f409fce6e745443d3ac4a81ef099d4ccb9089317482cefdaf65755042503fe1579863e0071057fa73e9da910bff8c9e1fb1c2f3a684f7 SHA512 91226e8f4ea177a86d1e666696ac3795e3ce69cf64e953c37227b5d75aa5afd902df5da295658c2735c6a1140bba835b1cdffb3f5944784684db0e0e98ff7765 MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/dyn/dyn-3.16.0.ebuild b/dev-ml/dyn/dyn-3.16.0.ebuild new file mode 100644 index 000000000000..a96b11c1fd35 --- /dev/null +++ b/dev-ml/dyn/dyn-3.16.0.ebuild @@ -0,0 +1,31 @@ +# Copyright 2022-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Dynamic type" +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/ordering-${PV}:=[ocamlopt?]" + +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest index df643f35b5af..76b0a11e595f 100644 --- a/dev-ml/ordering/Manifest +++ b/dev-ml/ordering/Manifest @@ -1,11 +1,13 @@ DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD ordering-3.10.0.ebuild 643 BLAKE2B 8be701b9dfdc98a71ebf64eb05c93a0bd01c75a6cc6a9c724e3ff531b5e1132e660d5bd282fe7e69c42e68b3dd3cfe0306ff5a0f3620c8878edd0e5164606c6b SHA512 dc6bbd5305dd8439caacdfc61ad1f8d5634e2e6de9058d26c9d5872caa74977b3e3ab08fbb921e4e2305d004b61b6018b3c3aa2712093a73a361706a924186cb EBUILD ordering-3.11.1.ebuild 544 BLAKE2B 1895fec3bdc836ce459a884fcbc0eb0270ffdf0f1df601e5b3b24b2bd5d805234f593a093ea80e6abd385d5ebbd7a1ca3e0cda9389852282ac4329f11a26da1d SHA512 5179c784ade2c91c67519cbe3c3f57e8fef71615655ad7309a440290d9ae10928ed0eff78f2e64cc830a75935c3aa55f20248682252667a79f4debe49c6b572c EBUILD ordering-3.13.1.ebuild 544 BLAKE2B 1895fec3bdc836ce459a884fcbc0eb0270ffdf0f1df601e5b3b24b2bd5d805234f593a093ea80e6abd385d5ebbd7a1ca3e0cda9389852282ac4329f11a26da1d SHA512 5179c784ade2c91c67519cbe3c3f57e8fef71615655ad7309a440290d9ae10928ed0eff78f2e64cc830a75935c3aa55f20248682252667a79f4debe49c6b572c +EBUILD ordering-3.16.0.ebuild 545 BLAKE2B 0fc48316cd6cb3a8d6dbca72c260f4c03bb9d48e68d12482ed6c4e3d82c9ec283b72ea39e4ecbc9ab7907cec09d102661e94295c76938a6b034f3338c79423ec SHA512 c89cac82aeeff7e2bd39d307a179bd3b65ac51668b73b6f3818c2afa1fb9dea34568361af7f03711b22d216ebe45090e4f52c0ce695338df12926864b83571ac EBUILD ordering-3.6.2.ebuild 643 BLAKE2B 0f5edccc5c1be85f5347cafc04c99e38135c9754835bdb7d2669c79efa29031ad8270005cffed9c6652f16ce032882c44f0f01f5ba87682fcdae6af3810241c2 SHA512 53a57eca3c8ecfe3a1e280e089f17215eac85c8d77c565520aeddff30f56cd2af3440e76981db6741756109fa4ee78d7c3f016500044e9040d0dea0c0cfa8252 EBUILD ordering-3.7.1.ebuild 647 BLAKE2B fc86778fcb85b28dbd848f6469e541a2d424eec0f3185be5c884ce5ceda6cd6694e0edea602acbe66770a9774a341763310259bf30565f54895915b85a6b4cac SHA512 a2cfdcefbad3220b3a5e9a758c9e61029a0d7d59af8d530ca903b77352a01c16c48eb14b13f09ccabc92764f41b8955cb758b151b5bdbbbaa7e302e8eb283a92 MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/ordering/ordering-3.16.0.ebuild b/dev-ml/ordering/ordering-3.16.0.ebuild new file mode 100644 index 000000000000..b13db81274d8 --- /dev/null +++ b/dev-ml/ordering/ordering-3.16.0.ebuild @@ -0,0 +1,29 @@ +# Copyright 2022-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Element ordering" +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" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/stdune/Manifest b/dev-ml/stdune/Manifest index 47ef8b43ac49..1a480ac5d2fb 100644 --- a/dev-ml/stdune/Manifest +++ b/dev-ml/stdune/Manifest @@ -1,11 +1,13 @@ DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.11.1.tar.gz 2753844 BLAKE2B de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644 SHA512 8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 +DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD stdune-3.10.0.ebuild 795 BLAKE2B 1fb1a2f6b96919ee9187c6c5e05738928b7f09893b8ab40f127bc2bbc5b2e6a389c4cc831b74849657cc1e98638c834e9dcda43b076b7230a1dfde5deff7a895 SHA512 70aaaeb9b98e3720a89f8961c500c35eb1efdbf79360f02131c660482635cb9bcf999ea3d0424e6b074e7fa5b0215bf3654840f303a5c8d7a0b2c683554feea9 EBUILD stdune-3.11.1.ebuild 670 BLAKE2B b0d23a833bd5c4d5706f095bffa80c700dc0674bcac63de1866478f22c2db1aeb126530f1671da0d55134c98d6c0bb659bfa1aa27b865c849beb8ba3bc2e897d SHA512 59282091d52a3521a0d181d380c6fe41e96b128ecde5181397dbf6cbe7119e38b8eb21ea094e672b28cd2dcacaf835912ce8a0c3ecbd3258adb06c0f89049bf4 EBUILD stdune-3.13.1.ebuild 721 BLAKE2B 8a7d1833639d313d5016e1f240bffeeaf2cbd16aaeb0dd1eea22570f05fdfb44df5eb43ae9c97ee19fcfd4693065821959abdac69cc62025b5356754eea6f3a9 SHA512 ccd01cbd977323795f7f3a2f07e56a94c50729bc19ab8d7930616e6e3d0312e58952dc11f9679224dcfdc97bec8c64433a4a066227277c12f65317c2d4ed5569 +EBUILD stdune-3.16.0.ebuild 698 BLAKE2B 07794cfa523cc64d981c3fc02805b38fed330b87a367ca9430d632ac07af73c5bdb1e4ff09ae92378dd0f5c7851647e07fe508b9a2c3ad034c93c5306700694e SHA512 0ae43c0a521f94e9616b8f056c967a2816ea5b00a17ae9c659ad06f54d36cda4a56f0f16feb6325066aa30ca634c7a977a97c6ab4d82d0e83d6afe6d67f28eb6 EBUILD stdune-3.6.2-r1.ebuild 795 BLAKE2B d9a2086c632dbb51eb00ce3268fb434478473afd2ffaf1e4c8dca030c74937c8959a62b39f7ad9496bbfeb9b6178f846bb55c8c904fa553471d4a862160234f8 SHA512 6a8394bbf7f24147f1ec665408af029d69cbde133d1ed9cdd38d9e1b5dd2121ad5842e9b985f63f43c9f5752edb3e3155b1bd91d7e9f8945ca229d4990c0f696 EBUILD stdune-3.7.1.ebuild 799 BLAKE2B 15080bfc4ea1d21e5d478e469db27be133023573747fbd51e5d02d88ff4c0f77157fde8cc94a10c181facf0cf170774a0d9127ddea771fdbaffeba9aecc340ef SHA512 902fefbba7e7e552a76bfe93104a3d4afab63b087de5e22d55e65b0183045cfbf0cc85c70a141281ea6c8d82cfd467d1e47110934e301bf328f16ad79acaf5cc MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/stdune/stdune-3.16.0.ebuild b/dev-ml/stdune/stdune-3.16.0.ebuild new file mode 100644 index 000000000000..083cf73d68a6 --- /dev/null +++ b/dev-ml/stdune/stdune-3.16.0.ebuild @@ -0,0 +1,35 @@ +# Copyright 2022-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Dune's unstable standard library" +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/dyn-${PV}:=[ocamlopt?] + ~dev-ml/ordering-${PV}:=[ocamlopt?] + dev-ml/csexp:=[ocamlopt?] + !<dev-ml/dune-private-libs-3 +" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune-compile ${PN} +} |