diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/Manifest.gz | bin | 37131 -> 37137 bytes | |||
-rw-r--r-- | dev-ml/dune-build-info/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild | 28 | ||||
-rw-r--r-- | dev-ml/dune-configurator/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild | 39 | ||||
-rw-r--r-- | dev-ml/dune-private-libs/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-private-libs/dune-private-libs-3.7.1.ebuild | 36 | ||||
-rw-r--r-- | dev-ml/dune-site/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-site/dune-site-3.7.1.ebuild | 31 | ||||
-rw-r--r-- | dev-ml/dune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune/dune-3.7.1.ebuild | 68 | ||||
-rw-r--r-- | dev-ml/dyn/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dyn/dyn-3.7.1.ebuild | 31 | ||||
-rw-r--r-- | dev-ml/ordering/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/ordering/ordering-3.7.1.ebuild | 30 | ||||
-rw-r--r-- | dev-ml/stdune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/stdune/stdune-3.7.1.ebuild | 36 |
17 files changed, 315 insertions, 0 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex 504b7d015cf9..05a9ff1ae382 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 502f9ebd86b2..a29f60b50400 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -3,9 +3,11 @@ DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7 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 +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 EBUILD dune-build-info-2.9.3.ebuild 573 BLAKE2B bed3c640cb8ca861fb0ec861efd1aec8ef0845f2529827212850c0ee6bc7f87ed6c702e64b18dd850d8a991b2de0f88c6e49109d412e99a2f2c1d97f50682bae SHA512 91d26ff3b81b0ee110a9c0236fe8c8f2e3eb534d4ac7ae3f80a85c73bbd679fcba9bbbe30b682476144fdd05764190873b98d76bbc95e3651216feaea6ac0ab4 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 +EBUILD dune-build-info-3.7.1.ebuild 618 BLAKE2B 15138fc586ca114f815b8679448a0269e67fc3f404021cc03926ee633a63b2186b9e3df6ff1a8ad6829f772937b4aa3e7cd1d0bd3e624f988e746826bc803f3e SHA512 0b7d6d35652dd3820505facf219187180fdc4d9bd4ff3bf46b954ce252a2a7fa083925ec7e2f8823ec238a4c23e9526ccc412467f19dba6b720814cb45922da9 MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595 diff --git a/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild b/dev-ml/dune-build-info/dune-build-info-3.7.1.ebuild new file mode 100644 index 000000000000..2b60d3970e73 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.7.1.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 ~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 493bd5ff1b93..59cd41d9a4ee 100644 --- a/dev-ml/dune-configurator/Manifest +++ b/dev-ml/dune-configurator/Manifest @@ -5,6 +5,7 @@ DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32 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 +DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b EBUILD dune-configurator-2.8.4.ebuild 4096 BLAKE2B e5a5aa47665e30b13f1a158149f235156ec8e0b0e3172fb4629532f991b9bc86080d1d303f734e0fb215502151911d41fbed9cddd53d86ae13e7e70e11c8d7ab SHA512 bb7f6f2acb81a18fc9e0c3c67819a1724cbc2f643405c447e67d1bc17ea3e3a9e9194cdceeff0cf04dcf38bc154d31650a203beefc87dea9b8fa74e9f5d17873 EBUILD dune-configurator-2.9.1.ebuild 4096 BLAKE2B e5a5aa47665e30b13f1a158149f235156ec8e0b0e3172fb4629532f991b9bc86080d1d303f734e0fb215502151911d41fbed9cddd53d86ae13e7e70e11c8d7ab SHA512 bb7f6f2acb81a18fc9e0c3c67819a1724cbc2f643405c447e67d1bc17ea3e3a9e9194cdceeff0cf04dcf38bc154d31650a203beefc87dea9b8fa74e9f5d17873 EBUILD dune-configurator-2.9.3.ebuild 640 BLAKE2B 03acf53a5ff56128b81431b93f3a63f6481ba1038febaf5968ea45b05a7e320846d075d263d1c12a00275e39a32e1bc6b7261b6f0d583643772457e98ec9cc85 SHA512 cbd7dfc3eb477105f9712764d1c592f193d6093a5617d6c319d0e734fcc47c6c56f4cc48b517e6c67d231f958c13eec6534f52cfcc90e847492bb6052b9d9001 @@ -12,4 +13,5 @@ EBUILD dune-configurator-3.0.3-r1.ebuild 939 BLAKE2B 269e8132c92e240ed5e718c4fc3 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 +EBUILD dune-configurator-3.7.1.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild b/dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild new file mode 100644 index 000000000000..2ef2249b6a21 --- /dev/null +++ b/dev-ml/dune-configurator/dune-configurator-3.7.1.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 3907c4267936..7870aaf8c647 100644 --- a/dev-ml/dune-private-libs/Manifest +++ b/dev-ml/dune-private-libs/Manifest @@ -7,6 +7,7 @@ DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 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 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 4427 BLAKE2B b1e9d3675cd29e48575b1470cd62c05cb5a9f10cd904041c262282705cef38ed1fb29447de4591ec2dff2bf732f952681eb9739455823a583c9dfd067aaedc13 SHA512 21f02b96e75fa18e29c832309c68817f54e1bf0f41860854a0655bd9ba75932d477b8f28a7c9abf3556f3f554aff7ee9db5ece2f9ca0432aed308f9d68f3a7a7 @@ -15,4 +16,5 @@ EBUILD dune-private-libs-3.2.0.ebuild 782 BLAKE2B 2947af0152f8ad349bfaa2873ff912 EBUILD dune-private-libs-3.6.1.ebuild 784 BLAKE2B 62940b51283133479f87a8a83b92a6346cbb4dc54269c0e8fc02155808638e7cb19db12bf54b40d05c3b5703f389cddb08eabbb96cfea6cb4c0ac834649d8a6f SHA512 986b83813242e72a90f705b9ae7ac021cb0900b343a7a94e0cd629b120f134828b677dd47ef0a4a3e372a456e813804e0c2ba50dc2bc45a624af3b9b13be11e4 EBUILD dune-private-libs-3.6.2.ebuild 782 BLAKE2B 7b220499de299242e668bd113db13b466f397245165b9e70096255a64d3d9c03e5f6e1f716cb0255d92d16d649208e20789d2dcdfda502f55252a460ce018d7a SHA512 2f109721f39fe2796d7957d4a06a3560ed561114905d0a768e980c197f51a0f490e645b3d03f7df1cd934421cc93bd8c1adfff7357b726afbd0534995afe53f5 EBUILD dune-private-libs-3.7.0.ebuild 784 BLAKE2B d7cb093d8304d9817c94542c93641570ab28ea13ae11f0a442685164f84d5e6c84bbd11916fbe3d65b66ed59aff0bb6b871f6297e4c49c5bdb2c666c5504a60a SHA512 22904dfb998c4440a59d587f569b074032f690b7e4b837a27daac4b93e1631dc5d02876c6955e2684d4fb4e16cf75ca3687fd93f324a79f418240bc55878491c +EBUILD dune-private-libs-3.7.1.ebuild 784 BLAKE2B d7cb093d8304d9817c94542c93641570ab28ea13ae11f0a442685164f84d5e6c84bbd11916fbe3d65b66ed59aff0bb6b871f6297e4c49c5bdb2c666c5504a60a SHA512 22904dfb998c4440a59d587f569b074032f690b7e4b837a27daac4b93e1631dc5d02876c6955e2684d4fb4e16cf75ca3687fd93f324a79f418240bc55878491c MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.7.1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.7.1.ebuild new file mode 100644 index 000000000000..797e233bbac6 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.7.1.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 8fd5a3ba53c6..0ebeeec2d184 100644 --- a/dev-ml/dune-site/Manifest +++ b/dev-ml/dune-site/Manifest @@ -5,6 +5,7 @@ DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 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 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 @@ -12,4 +13,5 @@ EBUILD dune-site-3.2.0.ebuild 649 BLAKE2B f4b64ddb2a62adbfd430f0436972d14a1ada87 EBUILD dune-site-3.6.1.ebuild 649 BLAKE2B f4b64ddb2a62adbfd430f0436972d14a1ada870bc5adc06b9b5aadd22e854a406a47520cc091ad50d98d829063c8c6b81b82c04d30e5bf549bcb02b197d887e6 SHA512 75eb4bae3633b675fd122b39a7c474edb52f973078c83bccae51c2d208fa03417b3e88bc1593e9927e962fe1110e05e844e1edbc892de0f00a572a43cef90dd6 EBUILD dune-site-3.6.2.ebuild 649 BLAKE2B 9a97fd12311d329b1b86a89b8f010ec3db5f85dc7bf1e00ff8ef99d0b3d4048c67066323adb40f92b0e83e929e0035e5f7826873a6b7e9aada15a0c1769bd847 SHA512 b387740fce4c0efc9f7981b3ce069a1e98bc0811a8123e2bab075c13d59d0301781f109cb6a706357a63ac11c35481d07194cc3517159abf9fcfb9f1a5e576ac EBUILD dune-site-3.7.0.ebuild 649 BLAKE2B 9a97fd12311d329b1b86a89b8f010ec3db5f85dc7bf1e00ff8ef99d0b3d4048c67066323adb40f92b0e83e929e0035e5f7826873a6b7e9aada15a0c1769bd847 SHA512 b387740fce4c0efc9f7981b3ce069a1e98bc0811a8123e2bab075c13d59d0301781f109cb6a706357a63ac11c35481d07194cc3517159abf9fcfb9f1a5e576ac +EBUILD dune-site-3.7.1.ebuild 649 BLAKE2B 9a97fd12311d329b1b86a89b8f010ec3db5f85dc7bf1e00ff8ef99d0b3d4048c67066323adb40f92b0e83e929e0035e5f7826873a6b7e9aada15a0c1769bd847 SHA512 b387740fce4c0efc9f7981b3ce069a1e98bc0811a8123e2bab075c13d59d0301781f109cb6a706357a63ac11c35481d07194cc3517159abf9fcfb9f1a5e576ac MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595 diff --git a/dev-ml/dune-site/dune-site-3.7.1.ebuild b/dev-ml/dune-site/dune-site-3.7.1.ebuild new file mode 100644 index 000000000000..86c18b3cac7e --- /dev/null +++ b/dev-ml/dune-site/dune-site-3.7.1.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 ~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 a28511c16042..17e0742000fc 100644 --- a/dev-ml/dune/Manifest +++ b/dev-ml/dune/Manifest @@ -9,6 +9,7 @@ DIST dune-3.5.0.tar.gz 1801260 BLAKE2B 684c6540c3f5e9356e12f1b483b1adbf9f4a44bb2 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 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 EBUILD dune-2.8.4.ebuild 925 BLAKE2B aaf039c23fdec35db8eafa1362e05e0a0007b4d5a59483726cffdd4c3f2738ab53cae26451001fa051fe46444f29d08ffd3e22233acaa3280db2c761822c1295 SHA512 175a4b03a248ade24a4a0fc232d13364f5332f9cd686056710dd1fce04b27ac59d81b3844ef1476867f3c5f646167dc40ada4609afc5594ac721ca5f216670a7 EBUILD dune-2.9.1.ebuild 904 BLAKE2B f98314d3cd1daa6fd08610daee2695a30b4c751bc1d060aad8b99b8e3e138fbe9751a92b5df3e1d1f62a8235b509ed884c75f2e11673d8a8a3cb50ddc414bdd2 SHA512 10a59aa34098669ca0d6d6a568cc63d124fd174850bb66591e9798b452629cc7647d6204050a4fbda2db394782c17590155467d798783018ff1205cde4b92e0e EBUILD dune-2.9.3-r3.ebuild 1265 BLAKE2B 0aa481a6b75ba13972682b92d5c39d07bf84918b09c7b210ebd667e53a4eb7173ea4ae4ca136cb55ad07b6c8bed1f033eaeedcff56af6c8644007df85df29d01 SHA512 46a7ecc0d6fe9ea59706dd71c26bc7064e735f5045f62e4204f474459d09671e028c6c7129a18bffdce6585739545f49093c0ba24b8a9fd22ca849a8c5fbcda8 @@ -19,4 +20,5 @@ EBUILD dune-3.5.0.ebuild 1536 BLAKE2B 7b0c2707650ed19052eec8911dc726697722fd4feb EBUILD dune-3.6.1.ebuild 1566 BLAKE2B 5aca5acdce89bd12cc8e16aca4d9681dce20a4b843706f6eb9f097786ebcc1e9f6a1e11c4c1b9c45d6af078c6b034bcb22082fa3bdad88538db2af299eaa3d64 SHA512 ee271ae26c857d1f5efdf4a0138987e9b02ce5530229e4f16cbd69317fd63f78ffe8ad9816bef5b91e03b257f00499a01d7b4f084a89453bc2eac5348d403377 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 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune/dune-3.7.1.ebuild b/dev-ml/dune/dune-3.7.1.ebuild new file mode 100644 index 000000000000..4055f5de2e82 --- /dev/null +++ b/dev-ml/dune/dune-3.7.1.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 738cf23dab1e..095514ae0f78 100644 --- a/dev-ml/dyn/Manifest +++ b/dev-ml/dyn/Manifest @@ -3,9 +3,11 @@ DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 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 EBUILD dyn-3.0.3-r1.ebuild 735 BLAKE2B 50178b1198063c8c4948fcdca0e2ee28788f9c028b315cb64f3f8ed94918e00bf7b5ef99cac87608c21394a854eb053f7f7dbe1527833a421bb1d1cb3a7e0db6 SHA512 03840527586ee0c0fce79d25467ac1345b6c526dd743284da848e1a020d663a4496cd098eacd4b5f03811367df8ccc7fabee9a596fb0932beaae1438f73fecf1 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 658 BLAKE2B 9a528d62c0ef66d9584fd2b4b5b60b89ca73ee583d078c1289535ab0db0b55129be843410f105af3f18e5b3ff5b6f9ad5586db298e45087649d4761f1ae1fe66 SHA512 d8216bcfd0d35cbb175e6c13b35a540f035b63a38cd6492508823420cd0cac1eb30ddee2ec7f6e24cef480bf0901077713965c380aa560aa3c1f146eb39c105a EBUILD dyn-3.7.0.ebuild 660 BLAKE2B c769168187e381237eec8a74c5e78a77eee8cc7be355845a52e9bcda195d18452738eced0610f8b83a0b470075d78075389f726b6fb6c8ae981a00e0ae206fd6 SHA512 d11b82c425d67af751f9fe01d533a7c1b183d84536d90b924f6bc1beb779a607ff87319788aa24f6c0b895a65d6e60c7cf3e76e998ec49f06f0e8b334a3a2c18 +EBUILD dyn-3.7.1.ebuild 660 BLAKE2B c769168187e381237eec8a74c5e78a77eee8cc7be355845a52e9bcda195d18452738eced0610f8b83a0b470075d78075389f726b6fb6c8ae981a00e0ae206fd6 SHA512 d11b82c425d67af751f9fe01d533a7c1b183d84536d90b924f6bc1beb779a607ff87319788aa24f6c0b895a65d6e60c7cf3e76e998ec49f06f0e8b334a3a2c18 MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/dyn/dyn-3.7.1.ebuild b/dev-ml/dyn/dyn-3.7.1.ebuild new file mode 100644 index 000000000000..a3d55d2d7132 --- /dev/null +++ b/dev-ml/dyn/dyn-3.7.1.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 09b81a6934f7..a289fc21c6d5 100644 --- a/dev-ml/ordering/Manifest +++ b/dev-ml/ordering/Manifest @@ -3,9 +3,11 @@ DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 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 EBUILD ordering-3.0.3.ebuild 723 BLAKE2B ad341964914e19c0d9509ed4990ef2913d9c7338d72897fac8b82d03d0b6169caf15adcb62bed2a9beecfe85e00a8aedae938c7473e7e4f45bf28813eb3ab689 SHA512 5d128cc3d8edb9528e81d02017c07acbcbf8f70141e12875e9ee5a3384b47ee3308ab96959225a7c38ee43d2d07378884ba68eea910f65bec006bb92b3ac8c16 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 646 BLAKE2B d52e7673605f0b4c941e335d446e056d2dc1222ed157cc3d401d707cc6a59281dd2031062b7055b6befea734f07fdffb2c3fe891e302b7e9703f3b0f03c1b34a SHA512 c3bde95da24277f66e5f110d16d9ea03757192579b783fcb1df081df4d199ab9f48fab77a7f679e9dd40ac4b1f2129efddedb3f62361cf2b7292bc6e87e0d339 EBUILD ordering-3.7.0.ebuild 648 BLAKE2B 564da55b0cdc8bc6ccd67ad86cdf1e11f9706e401fab26974b1108b9493caa1df7bc10f683b37e6424ea99698745ab47eedb500fc202cbaced3bd08c1d7b251d SHA512 c69d4b8c5e9cf5b92bed2bdd1e65e707d4ecf61ecdb0920b91a52070282c45a60d5135818afa5bcbd483f3ccb476b5adbcd8607cf58b52d234a80fcfe5eaddec +EBUILD ordering-3.7.1.ebuild 648 BLAKE2B 564da55b0cdc8bc6ccd67ad86cdf1e11f9706e401fab26974b1108b9493caa1df7bc10f683b37e6424ea99698745ab47eedb500fc202cbaced3bd08c1d7b251d SHA512 c69d4b8c5e9cf5b92bed2bdd1e65e707d4ecf61ecdb0920b91a52070282c45a60d5135818afa5bcbd483f3ccb476b5adbcd8607cf58b52d234a80fcfe5eaddec MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/ordering/ordering-3.7.1.ebuild b/dev-ml/ordering/ordering-3.7.1.ebuild new file mode 100644 index 000000000000..3302c44ddac1 --- /dev/null +++ b/dev-ml/ordering/ordering-3.7.1.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 f2462a7b2bd0..7872622fcecb 100644 --- a/dev-ml/stdune/Manifest +++ b/dev-ml/stdune/Manifest @@ -3,9 +3,11 @@ DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46 SHA512 2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9 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 EBUILD stdune-3.0.3-r2.ebuild 880 BLAKE2B 2ead44e52c3f7a95b40f7cf1fb9ac4ce6e6ea1d0033b349db4fcec2a4d676c34449516fcb73101ced3f5e3e2abdc6d44a9901778dfd610fb65eb4d07f919195d SHA512 cbbb5c0cc62cd24f0ad4df2415cb33077527f2f6ba31af69d832d56733f2fa2c78b28c7ce30ce37668b74b02f4f1f4a6e418871a4a56b9422188ee74ec2a0546 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 798 BLAKE2B 4b89d54b981769e8c9cabe8b51cb23433926b8b3ac08d6526fa5cf3594b4b176fb38ed571ec0e1053122177c38813e15e3b14d1258ced25b856b4c9ff8b494f1 SHA512 1966f3125bc697b65f2c3c6dbb69c309f9fe6eabb7ad22543e3312ca0a5f0a7e186664cbd27cab30792f5e958b6624dca2d1b31948abd315965bc760209c1627 EBUILD stdune-3.7.0-r1.ebuild 800 BLAKE2B 91a0e8cb7157b6526b7833547d02822ad6a549d9046c246d6b45ef8157199e432f66d22d8c57e51347439c06527e5a0973243e5ec09208b4d09e4e5e356c0f1b SHA512 8923cea1f10501f78d9c508a3b8bb78edf6c852cb0750668f1ca0810c60d7f3099b29f48cfebe2512a4dda4f02b5d69e6106da7cfd54b53f9e31d6cb671ed652 +EBUILD stdune-3.7.1.ebuild 800 BLAKE2B 91a0e8cb7157b6526b7833547d02822ad6a549d9046c246d6b45ef8157199e432f66d22d8c57e51347439c06527e5a0973243e5ec09208b4d09e4e5e356c0f1b SHA512 8923cea1f10501f78d9c508a3b8bb78edf6c852cb0750668f1ca0810c60d7f3099b29f48cfebe2512a4dda4f02b5d69e6106da7cfd54b53f9e31d6cb671ed652 MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/stdune/stdune-3.7.1.ebuild b/dev-ml/stdune/stdune-3.7.1.ebuild new file mode 100644 index 000000000000..8d82be573c81 --- /dev/null +++ b/dev-ml/stdune/stdune-3.7.1.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 +} |