diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/Manifest.gz | bin | 38189 -> 38179 bytes | |||
-rw-r--r-- | dev-ml/dune-build-info/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild | 28 | ||||
-rw-r--r-- | dev-ml/dune-configurator/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-3.10.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.10.0.ebuild | 36 | ||||
-rw-r--r-- | dev-ml/dune-site/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-site/dune-site-3.10.0.ebuild | 31 | ||||
-rw-r--r-- | dev-ml/dune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune/dune-3.10.0.ebuild | 68 | ||||
-rw-r--r-- | dev-ml/dyn/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dyn/dyn-3.10.0.ebuild | 31 | ||||
-rw-r--r-- | dev-ml/ordering/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/ordering/ordering-3.10.0.ebuild | 30 | ||||
-rw-r--r-- | dev-ml/stdune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/stdune/stdune-3.10.0.ebuild | 36 |
17 files changed, 315 insertions, 0 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex c2342bd51764..dfb11eedb893 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 4f55bc0970b9..ff069febcde2 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -1,5 +1,6 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 @@ -9,6 +10,7 @@ DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab4 DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611 SHA512 c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b EBUILD dune-build-info-2.9.1.ebuild 517 BLAKE2B a7c02238857706cecab9fe1c0efeedea17ec80c791f0fedc1361be9727ae6a45691b1746098b40e7dd25c7a22c599cfc9304254e4142c9f0f0e952055b06d344 SHA512 1b369cd3d131b4c5c293c157fadf24b600dd3dd9fc78dd120a858b19309eae6fa9ef4c7d4bb8ccbaf4add58a038ccfdd25830f47f877eac59371b2d7c8beaac1 EBUILD dune-build-info-2.9.3.ebuild 573 BLAKE2B bed3c640cb8ca861fb0ec861efd1aec8ef0845f2529827212850c0ee6bc7f87ed6c702e64b18dd850d8a991b2de0f88c6e49109d412e99a2f2c1d97f50682bae SHA512 91d26ff3b81b0ee110a9c0236fe8c8f2e3eb534d4ac7ae3f80a85c73bbd679fcba9bbbe30b682476144fdd05764190873b98d76bbc95e3651216feaea6ac0ab4 +EBUILD dune-build-info-3.10.0.ebuild 625 BLAKE2B b5c12761863e4a3b24b0b42b955ad504289d27fd4e16ca5be69c4c490fa51ae40e762bb8b68ea5754131fcd1ef7a1b98fcb05a359a3dfbee52c68031a28575a8 SHA512 5ba9d815dd97889fbb123b7be6412cfe880aad3a43319026cc32e0ff201390cd9cc7c0b5b251825904eb535af3c46de2cc1fda7d2da5b2741c438b0b163db960 EBUILD dune-build-info-3.2.0.ebuild 618 BLAKE2B d806b89ad2bccdc3bad326829dd4d69ce9567511a42e83e9fe16f63a5c0670f28921f448b46a706e1b1fa1fa4bf0c2d2aa5f9f74a3b985a361a2095ed7d8f916 SHA512 886e272664f535374c0ca833d6994a13147aa5e561f23572bd43fd0c80ca10e9d0acb6ec6f1202ca4ea97a1ca5919b2ab62f2d1e388b4042a635d58df2ce1c8a EBUILD dune-build-info-3.6.1.ebuild 616 BLAKE2B ed6886626692482d342018ce569fd1f0a6d631bd6472ee3320c001d812489522e20242efc21b923e66c823f31ecb6e0b59594c98d2b1986f2b2a6208057f9f89 SHA512 5fed2e6937d2e2c3214c4e7f43cf8d56bd5f891085c4e82dd9c264eb331c47d5eba20122829a61c07767141dee094a1830d8d97951b8a027d48e101ca671b5a7 EBUILD dune-build-info-3.7.0.ebuild 618 BLAKE2B 15138fc586ca114f815b8679448a0269e67fc3f404021cc03926ee633a63b2186b9e3df6ff1a8ad6829f772937b4aa3e7cd1d0bd3e624f988e746826bc803f3e SHA512 0b7d6d35652dd3820505facf219187180fdc4d9bd4ff3bf46b954ce252a2a7fa083925ec7e2f8823ec238a4c23e9526ccc412467f19dba6b720814cb45922da9 diff --git a/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild new file mode 100644 index 000000000000..3d78214334e6 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.10.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +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.5" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die +} diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest index 0876f50e03f8..f802944f3dea 100644 --- a/dev-ml/dune-configurator/Manifest +++ b/dev-ml/dune-configurator/Manifest @@ -2,6 +2,7 @@ DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233 DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 @@ -13,6 +14,7 @@ EBUILD dune-configurator-2.8.4.ebuild 4096 BLAKE2B e5a5aa47665e30b13f1a158149f23 EBUILD dune-configurator-2.9.1.ebuild 4096 BLAKE2B e5a5aa47665e30b13f1a158149f235156ec8e0b0e3172fb4629532f991b9bc86080d1d303f734e0fb215502151911d41fbed9cddd53d86ae13e7e70e11c8d7ab SHA512 bb7f6f2acb81a18fc9e0c3c67819a1724cbc2f643405c447e67d1bc17ea3e3a9e9194cdceeff0cf04dcf38bc154d31650a203beefc87dea9b8fa74e9f5d17873 EBUILD dune-configurator-2.9.3.ebuild 640 BLAKE2B 03acf53a5ff56128b81431b93f3a63f6481ba1038febaf5968ea45b05a7e320846d075d263d1c12a00275e39a32e1bc6b7261b6f0d583643772457e98ec9cc85 SHA512 cbd7dfc3eb477105f9712764d1c592f193d6093a5617d6c319d0e734fcc47c6c56f4cc48b517e6c67d231f958c13eec6534f52cfcc90e847492bb6052b9d9001 EBUILD dune-configurator-3.0.3-r1.ebuild 939 BLAKE2B 269e8132c92e240ed5e718c4fc3b8505ab2716abaddc9ab1419ffd349f6aab7a5ede87e2c35da588c161d60b7048aec4e1ede65e936feabbdc7abdd753f349bd SHA512 d3e60cc3481bd91a827c0639fa16310a130f99f5267f28eda775f0b3764b521e545501d9c07f1b6a44a932ef39c16464c574d4335165dda898865e9f39b7d745 +EBUILD dune-configurator-3.10.0.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 EBUILD dune-configurator-3.2.0.ebuild 870 BLAKE2B 616ad1e13f0a3a3df44331ad016a0643d2248cf1110d669b224b188043b0831b372dea0f8d09e9fe3132d8da01a57bf945d764edfc748f551722fa2efe5e29ee SHA512 a507fe23d38249ac3dcd2a6e686236cb1266efebe73caef18064a3395a2243febc781c82cfd2f5b708cc553d58427a31c94d45db02f40a6d547eeb236f37d3b7 EBUILD dune-configurator-3.6.1.ebuild 867 BLAKE2B a88bf4a1b65df3d5d4a804074a9ff26f5cdab9509520b7fc98e5d4f5545565bd92090570019b378767f346a381325d3d7350c47e32a9f49efdec5ad5e5040af7 SHA512 3cd522602d6b1bfdfc9dc6ba03d4193cc09ffb00b1fd6d7a6198d5a4563d3f3885b2e5f82073e6812fd1eac61b470c7b5475c05eda686879d09cf5d5cd95486b EBUILD dune-configurator-3.7.0.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 diff --git a/dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild b/dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild new file mode 100644 index 000000000000..2ef2249b6a21 --- /dev/null +++ b/dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +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.5" +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 build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} diff --git a/dev-ml/dune-private-libs/Manifest b/dev-ml/dune-private-libs/Manifest index 337056d16b0f..e64b886edb52 100644 --- a/dev-ml/dune-private-libs/Manifest +++ b/dev-ml/dune-private-libs/Manifest @@ -3,6 +3,7 @@ DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233 DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be @@ -15,6 +16,7 @@ EBUILD dune-private-libs-2.8.4.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf EBUILD dune-private-libs-2.9.1.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca EBUILD dune-private-libs-2.9.3.ebuild 4427 BLAKE2B b1e9d3675cd29e48575b1470cd62c05cb5a9f10cd904041c262282705cef38ed1fb29447de4591ec2dff2bf732f952681eb9739455823a583c9dfd067aaedc13 SHA512 21f02b96e75fa18e29c832309c68817f54e1bf0f41860854a0655bd9ba75932d477b8f28a7c9abf3556f3f554aff7ee9db5ece2f9ca0432aed308f9d68f3a7a7 EBUILD dune-private-libs-3.0.3-r1.ebuild 864 BLAKE2B 501bf0290ce221b69348465d0a65e034ab3266f8e5c24a3e94cc6120ac2f77001bb33d60afae4c879c2029b463ed0a2eb98cfdd1653b8144e507147a7dba2995 SHA512 08157b52992d00ca4cf1b065969ddf7fac6591dd8490aabdeba264e52f7f439a38b4959b55d4bc74545bc073673468e6584f9a3c4d2bf98870ba9eeaee6e97b0 +EBUILD dune-private-libs-3.10.0.ebuild 784 BLAKE2B d7cb093d8304d9817c94542c93641570ab28ea13ae11f0a442685164f84d5e6c84bbd11916fbe3d65b66ed59aff0bb6b871f6297e4c49c5bdb2c666c5504a60a SHA512 22904dfb998c4440a59d587f569b074032f690b7e4b837a27daac4b93e1631dc5d02876c6955e2684d4fb4e16cf75ca3687fd93f324a79f418240bc55878491c EBUILD dune-private-libs-3.2.0.ebuild 782 BLAKE2B 2947af0152f8ad349bfaa2873ff912a253bc7ca42208450b64c2362f06d1479e7a89aa0eee8436ee789d3f0404f763ec49c6c4eecc213e26f88b9a617e1d9ebd SHA512 8da351970a0e88bbcc16bd8502b86cd3d47f549882062f73b308ce5e10c42a10710d0aa2a35fabd47cb3c5980d41408a3c4826868e71834316c1dc4e5b2a3466 EBUILD dune-private-libs-3.6.1.ebuild 784 BLAKE2B 62940b51283133479f87a8a83b92a6346cbb4dc54269c0e8fc02155808638e7cb19db12bf54b40d05c3b5703f389cddb08eabbb96cfea6cb4c0ac834649d8a6f SHA512 986b83813242e72a90f705b9ae7ac021cb0900b343a7a94e0cd629b120f134828b677dd47ef0a4a3e372a456e813804e0c2ba50dc2bc45a624af3b9b13be11e4 EBUILD dune-private-libs-3.6.2.ebuild 779 BLAKE2B 35d2f09aa31e0049b39a1045590603b13ede0eca4fb51999cea97b3f439d9c14a3db12de4483bd391f060e9f502d9f7b786e453cf04bb1b6c5dfd86d32584b54 SHA512 ee8f8da94ceb3fe5bb0d4ccc8119d9f73079f27827556dc5c1caf82545bb92771733d32217f74d6e982f969c8b87635181f1a672b34f93a397d36aa0ef472427 diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.10.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.10.0.ebuild new file mode 100644 index 000000000000..797e233bbac6 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.10.0.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +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-1.5:=[ocamlopt?] + dev-ml/pp:=[ocamlopt?] + ~dev-ml/dyn-${PV}:=[ocamlopt?] + ~dev-ml/stdune-${PV}:=[ocamlopt?] + >=dev-lang/ocaml-4.08 +" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} diff --git a/dev-ml/dune-site/Manifest b/dev-ml/dune-site/Manifest index e8922dc0d422..e8089d08eb3c 100644 --- a/dev-ml/dune-site/Manifest +++ b/dev-ml/dune-site/Manifest @@ -1,6 +1,7 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be @@ -12,6 +13,7 @@ DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13 EBUILD dune-site-2.9.1.ebuild 596 BLAKE2B fa03797d6cb98422acafc3854035967c7f8b58271f7155e4abe02061357165df76223e6eb01f76b67468ce09e1752056a242b247b3432ad086367a12b6bdf662 SHA512 c6d3e08817f15d05b9f07f2cc40b6908deb00e68fd79e5ebac95a86c57b95d2d31071e6dbe9b4d87401a5813e23e7ae1b6077ba22f74a356b93dd5a530a333e6 EBUILD dune-site-2.9.3.ebuild 652 BLAKE2B d99c298f108e590fd24614fb8ddc8d449c3cfad617316726caa1a2aebccab7ff975b0f77a53c3ecf52e24ac0271931eaa934d109c286f0654749bd7fe1b266f9 SHA512 282bf34cd9a35c455ea8b4bb7c5b17a3be2d57036827ae938943fc38bbb9792b3f066bb575659554df9dd6e36cb7c095cbcd9eca28e959f66fa875e623f701fa EBUILD dune-site-3.0.3.ebuild 648 BLAKE2B d0cb9e9cc9e960c953fae2444f3fc4f313172417a78c45e1ddbdd661eec88b8621ea7bcf28b1f43dfaaee97831f964f31ba17271be4c9a34d4e4e9c0e367c9bc SHA512 99010735c6d813698e73a17d7c3b937b2a8d07295c1fbf071461dea7e2bd4d20e78e78f3e4863da715268fd9a43bf630199bdfd100a6afdf358d387281fde0ae +EBUILD dune-site-3.10.0.ebuild 673 BLAKE2B 7c1f4b6dc24926c08f3a653bf2d793ef66f2b79562e5a2eb87a667ee500a102f30c619f82c4c665aac9942ab880cc850ea10001f0b30afee4738c4a3b69d5a42 SHA512 4213c7ea543aed100577d55b40fcd1f155eda907178a670a530f66e42a5bfabbbddb44ebb9dd22e000958121beb9d9e02f5e632a348c9c8a06c795d21d1a228a EBUILD dune-site-3.2.0.ebuild 649 BLAKE2B f4b64ddb2a62adbfd430f0436972d14a1ada870bc5adc06b9b5aadd22e854a406a47520cc091ad50d98d829063c8c6b81b82c04d30e5bf549bcb02b197d887e6 SHA512 75eb4bae3633b675fd122b39a7c474edb52f973078c83bccae51c2d208fa03417b3e88bc1593e9927e962fe1110e05e844e1edbc892de0f00a572a43cef90dd6 EBUILD dune-site-3.6.1.ebuild 649 BLAKE2B f4b64ddb2a62adbfd430f0436972d14a1ada870bc5adc06b9b5aadd22e854a406a47520cc091ad50d98d829063c8c6b81b82c04d30e5bf549bcb02b197d887e6 SHA512 75eb4bae3633b675fd122b39a7c474edb52f973078c83bccae51c2d208fa03417b3e88bc1593e9927e962fe1110e05e844e1edbc892de0f00a572a43cef90dd6 EBUILD dune-site-3.6.2.ebuild 647 BLAKE2B eb3785b4877a65fc0780447e33d9bb9d8fed0739a4af133c89f3b0faa8bd4341fb2a58da7e19ab326e5ef7cf59e98327b2cf2df80cfb35231309dc6f41165c99 SHA512 6d6dbfc7fee7f97a1f7a96605ec8c63aee82a31ec89a485f93d287f81a60608e5df99f129d3b56c058cf9c9bb390ccdb1a980fdf2e2f7a9f16efeb878cfb5d2a diff --git a/dev-ml/dune-site/dune-site-3.10.0.ebuild b/dev-ml/dune-site/dune-site-3.10.0.ebuild new file mode 100644 index 000000000000..7bf2f44ff50c --- /dev/null +++ b/dev-ml/dune-site/dune-site-3.10.0.ebuild @@ -0,0 +1,31 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +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-private-libs-${PV}:=[ocamlopt=] +" +DEPEND="${RDEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p ${PN} @install -j $(makeopts_jobs) --display short || die +} diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest index 950da0a2d77e..b34ef3174b28 100644 --- a/dev-ml/dune/Manifest +++ b/dev-ml/dune/Manifest @@ -4,6 +4,7 @@ DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 DIST dune-3.1.1.tar.gz 1738713 BLAKE2B 29e2034a551f9fbc57aeb1056f934ee5b69d38743178743f9b4f9cfa9e43a805ef7eb904a25f5ff6b4944d47032ccb1c8fb420b48f85dd14bdd14350cc53f77c SHA512 3a99a66c449f9e6bf12bb21d2d6871f4d34677a8c0c63e47b3687e2af3d8c62ab4ab62809c5885f2d61a1ed93a88f90cadc0f8db0c95442410c0a964892bd3b8 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.5.0.tar.gz 1801260 BLAKE2B 684c6540c3f5e9356e12f1b483b1adbf9f4a44bb24fdd8b79bc5d48efab05b479cef0c9449adb84e3e30be81f07913460073928d5e91647096fc02608f8e9709 SHA512 f1a94d867e1b82502aed3f7ae16adb48bd1f773c0045c3313303f29b70ec99bed4264d420c85fe7c4be2343ac970586d77705f6083049c6bec860b543fbd3c3c DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 @@ -18,6 +19,7 @@ EBUILD dune-2.9.1.ebuild 904 BLAKE2B f98314d3cd1daa6fd08610daee2695a30b4c751bc1d EBUILD dune-2.9.3-r3.ebuild 1265 BLAKE2B 0aa481a6b75ba13972682b92d5c39d07bf84918b09c7b210ebd667e53a4eb7173ea4ae4ca136cb55ad07b6c8bed1f033eaeedcff56af6c8644007df85df29d01 SHA512 46a7ecc0d6fe9ea59706dd71c26bc7064e735f5045f62e4204f474459d09671e028c6c7129a18bffdce6585739545f49093c0ba24b8a9fd22ca849a8c5fbcda8 EBUILD dune-3.0.3-r1.ebuild 1519 BLAKE2B 73794b43fe622a63df00e38fb732d391ac8f8f062dc065e8df859b2f403d3beb65fd0c1ec2e99ba9cda22600f8120c846b3551dad6af33ea1ce462fd02a15d35 SHA512 ad686f9a6af18fa26bd49c1e3b7e03c48cbadb07ec45fba560b713677b6101dfd76003575911a7ec0c7585b284ca9e53127399367e010b9ad811d0c5e928d28c EBUILD dune-3.1.1.ebuild 1519 BLAKE2B 73794b43fe622a63df00e38fb732d391ac8f8f062dc065e8df859b2f403d3beb65fd0c1ec2e99ba9cda22600f8120c846b3551dad6af33ea1ce462fd02a15d35 SHA512 ad686f9a6af18fa26bd49c1e3b7e03c48cbadb07ec45fba560b713677b6101dfd76003575911a7ec0c7585b284ca9e53127399367e010b9ad811d0c5e928d28c +EBUILD dune-3.10.0.ebuild 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d EBUILD dune-3.2.0.ebuild 1536 BLAKE2B 7b0c2707650ed19052eec8911dc726697722fd4febd56f8a7136f324a4f6d103d464fb1cc1b7d1dc82d8bae612284b8bbc2208ca7f37d05032253547df5c9981 SHA512 3b3c6b9d97454a9f43b4424bbfbee3ec3be7fb3b120e0207497c71b30184f8f0c966ec95205d05ed3710bf11057a54b306ba6b1040ffdb534e2f89433cf91bbd EBUILD dune-3.5.0.ebuild 1536 BLAKE2B 7b0c2707650ed19052eec8911dc726697722fd4febd56f8a7136f324a4f6d103d464fb1cc1b7d1dc82d8bae612284b8bbc2208ca7f37d05032253547df5c9981 SHA512 3b3c6b9d97454a9f43b4424bbfbee3ec3be7fb3b120e0207497c71b30184f8f0c966ec95205d05ed3710bf11057a54b306ba6b1040ffdb534e2f89433cf91bbd EBUILD dune-3.6.1.ebuild 1566 BLAKE2B 5aca5acdce89bd12cc8e16aca4d9681dce20a4b843706f6eb9f097786ebcc1e9f6a1e11c4c1b9c45d6af078c6b034bcb22082fa3bdad88538db2af299eaa3d64 SHA512 ee271ae26c857d1f5efdf4a0138987e9b02ce5530229e4f16cbd69317fd63f78ffe8ad9816bef5b91e03b257f00499a01d7b4f084a89453bc2eac5348d403377 diff --git a/dev-ml/dune/dune-3.10.0.ebuild b/dev-ml/dune/dune-3.10.0.ebuild new file mode 100644 index 000000000000..4055f5de2e82 --- /dev/null +++ b/dev-ml/dune/dune-3.10.0.ebuild @@ -0,0 +1,68 @@ +# Copyright 1999-2023 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/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() { + default + + dodir /usr/share/doc + mv "${ED}"/usr/doc/dune "${ED}"/usr/share/doc/${PF} || die + rmdir "${ED}"/usr/doc || 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 a69998096d78..cb7224b24f3b 100644 --- a/dev-ml/dyn/Manifest +++ b/dev-ml/dyn/Manifest @@ -1,4 +1,5 @@ DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be @@ -8,6 +9,7 @@ DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66 DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611 SHA512 c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b EBUILD dyn-3.0.3-r1.ebuild 735 BLAKE2B 50178b1198063c8c4948fcdca0e2ee28788f9c028b315cb64f3f8ed94918e00bf7b5ef99cac87608c21394a854eb053f7f7dbe1527833a421bb1d1cb3a7e0db6 SHA512 03840527586ee0c0fce79d25467ac1345b6c526dd743284da848e1a020d663a4496cd098eacd4b5f03811367df8ccc7fabee9a596fb0932beaae1438f73fecf1 +EBUILD dyn-3.10.0.ebuild 660 BLAKE2B c769168187e381237eec8a74c5e78a77eee8cc7be355845a52e9bcda195d18452738eced0610f8b83a0b470075d78075389f726b6fb6c8ae981a00e0ae206fd6 SHA512 d11b82c425d67af751f9fe01d533a7c1b183d84536d90b924f6bc1beb779a607ff87319788aa24f6c0b895a65d6e60c7cf3e76e998ec49f06f0e8b334a3a2c18 EBUILD dyn-3.2.0.ebuild 653 BLAKE2B bc2933bc852929940726bea62cb14c93f77f2e542c60dfaf4ae14b4a49a51932ba76db8bbe8a4b584e4f82d74c233a85d9d3df86dcc81042f69319b2b2715bc4 SHA512 24b480d8439a6717ef3dd8e38eebc7edb7a4ed493efcfb3d9346697ea7a39213cd5cba0c32318d938856bcaa78a8ea0fcb4379a13c1da33a9bdba35365a4123c EBUILD dyn-3.6.1.ebuild 655 BLAKE2B 97de7f78f64e637d813eb83c97072ed09a8f18a4bebf224cfb48ce8c90394e4502aaaa6be6c04106a0931f010eb6a0602aec81ff3098037acf7fe210a96cf037 SHA512 34ebfe9530dacecc41aa5f1534e4cde37719fdcb6f9f4d81be3fe0360d65b805cf7168fc264e5f47776271a758056abdf8d8a356110d29a9d3de35c6d3c8c687 EBUILD dyn-3.6.2.ebuild 655 BLAKE2B e9bfb469c6fed1ad2d78f9ffd611b9986dd5f3ad49461b85e4092566c06a062b85d852f474c53e97ef5c7e8901e0f60b2087605fa14378ef3c45f05b4456ba44 SHA512 b1dfcf24583fffbe13147d81e4ac250c0faa990a43771da05a0d7f690faa05676a5142a02756cd9180cc348b06beecd368a43ea127271356a283da117e2645ed diff --git a/dev-ml/dyn/dyn-3.10.0.ebuild b/dev-ml/dyn/dyn-3.10.0.ebuild new file mode 100644 index 000000000000..a3d55d2d7132 --- /dev/null +++ b/dev-ml/dyn/dyn-3.10.0.ebuild @@ -0,0 +1,31 @@ +# Copyright 2022-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +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.5" +DEPEND="~dev-ml/ordering-${PV}:= + dev-ml/pp:=" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest index 3c5670c43e18..68d2f156bde0 100644 --- a/dev-ml/ordering/Manifest +++ b/dev-ml/ordering/Manifest @@ -1,4 +1,5 @@ DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be @@ -8,6 +9,7 @@ DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66 DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611 SHA512 c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b EBUILD ordering-3.0.3.ebuild 723 BLAKE2B ad341964914e19c0d9509ed4990ef2913d9c7338d72897fac8b82d03d0b6169caf15adcb62bed2a9beecfe85e00a8aedae938c7473e7e4f45bf28813eb3ab689 SHA512 5d128cc3d8edb9528e81d02017c07acbcbf8f70141e12875e9ee5a3384b47ee3308ab96959225a7c38ee43d2d07378884ba68eea910f65bec006bb92b3ac8c16 +EBUILD ordering-3.10.0.ebuild 648 BLAKE2B 564da55b0cdc8bc6ccd67ad86cdf1e11f9706e401fab26974b1108b9493caa1df7bc10f683b37e6424ea99698745ab47eedb500fc202cbaced3bd08c1d7b251d SHA512 c69d4b8c5e9cf5b92bed2bdd1e65e707d4ecf61ecdb0920b91a52070282c45a60d5135818afa5bcbd483f3ccb476b5adbcd8607cf58b52d234a80fcfe5eaddec EBUILD ordering-3.2.0.ebuild 641 BLAKE2B 44fadcc5e9f950bc8f44db92b642138da20c85e9bfd88b809b199e47665ecfe5318f17d91bc8150dfcf62940100973db06b29c0a0519ac0d336df7337d35a06e SHA512 c8deace1291c0ac0075d65c8fdf38f619ce8f1933e83800ad48b60a9ae2076d3633b5b964b3964694d17a4bdd9c7b14fd418c2fe1d7e15282ed83a2d1f0736d4 EBUILD ordering-3.6.1.ebuild 643 BLAKE2B 390ad8cacb4eb1556bacc120d790781c5b4a70fb909a5654a30e0bb0ee5e1b700728de852065c00a17a1e412dd5b6bb7a0257800fa11a63382ff0e06c9320128 SHA512 ea847e26eab7998b97ecfe02f6a484596af2114626c0b62f2ae24f21dd2cbd2d607e5efadb69a0325b9ba1ca57d2abed639a4b580c4ec3f5c4224bf4c4fc5a13 EBUILD ordering-3.6.2.ebuild 643 BLAKE2B 0f5edccc5c1be85f5347cafc04c99e38135c9754835bdb7d2669c79efa29031ad8270005cffed9c6652f16ce032882c44f0f01f5ba87682fcdae6af3810241c2 SHA512 53a57eca3c8ecfe3a1e280e089f17215eac85c8d77c565520aeddff30f56cd2af3440e76981db6741756109fa4ee78d7c3f016500044e9040d0dea0c0cfa8252 diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild b/dev-ml/ordering/ordering-3.10.0.ebuild new file mode 100644 index 000000000000..3302c44ddac1 --- /dev/null +++ b/dev-ml/ordering/ordering-3.10.0.ebuild @@ -0,0 +1,30 @@ +# Copyright 2022-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +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.5" +DEPEND=">=dev-lang/ocaml-4.08" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} diff --git a/dev-ml/stdune/Manifest b/dev-ml/stdune/Manifest index c5232fe8926d..5cc230fcb5b5 100644 --- a/dev-ml/stdune/Manifest +++ b/dev-ml/stdune/Manifest @@ -1,4 +1,5 @@ DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e SHA512 636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be @@ -8,6 +9,7 @@ DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66 DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611 SHA512 c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b EBUILD stdune-3.0.3-r2.ebuild 880 BLAKE2B 2ead44e52c3f7a95b40f7cf1fb9ac4ce6e6ea1d0033b349db4fcec2a4d676c34449516fcb73101ced3f5e3e2abdc6d44a9901778dfd610fb65eb4d07f919195d SHA512 cbbb5c0cc62cd24f0ad4df2415cb33077527f2f6ba31af69d832d56733f2fa2c78b28c7ce30ce37668b74b02f4f1f4a6e418871a4a56b9422188ee74ec2a0546 +EBUILD stdune-3.10.0.ebuild 800 BLAKE2B 91a0e8cb7157b6526b7833547d02822ad6a549d9046c246d6b45ef8157199e432f66d22d8c57e51347439c06527e5a0973243e5ec09208b4d09e4e5e356c0f1b SHA512 8923cea1f10501f78d9c508a3b8bb78edf6c852cb0750668f1ca0810c60d7f3099b29f48cfebe2512a4dda4f02b5d69e6106da7cfd54b53f9e31d6cb671ed652 EBUILD stdune-3.2.0-r1.ebuild 798 BLAKE2B 34a506ce7f21df10539ddd5ce3459c62bc3141bec6a36f6d9a93077e3a8fa7ca10b58763fa6397538600c9e449661dc3acf9c761cad6bf0e156b4d0fff92663c SHA512 b70c6909e49e9e19cac20d9485f4dfee157fd5996d3142cee4d8e85e4a109b39cb5bb6e384ffacc7293da344e30d6b433c02238e6bf25710252e06a9167f50ee EBUILD stdune-3.6.1-r1.ebuild 800 BLAKE2B 91a0e8cb7157b6526b7833547d02822ad6a549d9046c246d6b45ef8157199e432f66d22d8c57e51347439c06527e5a0973243e5ec09208b4d09e4e5e356c0f1b SHA512 8923cea1f10501f78d9c508a3b8bb78edf6c852cb0750668f1ca0810c60d7f3099b29f48cfebe2512a4dda4f02b5d69e6106da7cfd54b53f9e31d6cb671ed652 EBUILD stdune-3.6.2-r1.ebuild 795 BLAKE2B d9a2086c632dbb51eb00ce3268fb434478473afd2ffaf1e4c8dca030c74937c8959a62b39f7ad9496bbfeb9b6178f846bb55c8c904fa553471d4a862160234f8 SHA512 6a8394bbf7f24147f1ec665408af029d69cbde133d1ed9cdd38d9e1b5dd2121ad5842e9b985f63f43c9f5752edb3e3155b1bd91d7e9f8945ca229d4990c0f696 diff --git a/dev-ml/stdune/stdune-3.10.0.ebuild b/dev-ml/stdune/stdune-3.10.0.ebuild new file mode 100644 index 000000000000..8d82be573c81 --- /dev/null +++ b/dev-ml/stdune/stdune-3.10.0.ebuild @@ -0,0 +1,36 @@ +# Copyright 2022-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +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.5" +DEPEND=" + dev-ml/pp:=[ocamlopt?] + ~dev-ml/dyn-${PV}:=[ocamlopt?] + ~dev-ml/ordering-${PV}:=[ocamlopt?] + >=dev-ml/csexp-1.5:=[ocamlopt?] + !<dev-ml/dune-private-libs-3 +" +RDEPEND="${DEPEND}" + +src_configure() { + : +} + +src_compile() { + dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} |