diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-07-03 22:06:45 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-07-03 22:06:45 +0100 |
commit | 2764a2c09ef0bc530bda7afb20e505ca24d310c6 (patch) | |
tree | 4eb062dac19af291d94b54d54862e34c50c2b1c0 /dev-ml | |
parent | 9e7579a4f663bbf410b833aab77d7493c7cdeb6a (diff) |
gentoo auto-resync : 03:07:2023 - 22:06:45
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/Manifest.gz | bin | 38169 -> 38169 bytes | |||
-rw-r--r-- | dev-ml/dune-build-info/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-build-info/dune-build-info-3.9.0.ebuild | 28 | ||||
-rw-r--r-- | dev-ml/dune-configurator/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-3.9.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.9.0.ebuild | 36 | ||||
-rw-r--r-- | dev-ml/dune-site/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune-site/dune-site-3.9.0.ebuild | 31 | ||||
-rw-r--r-- | dev-ml/dune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dune/dune-3.9.0.ebuild | 68 | ||||
-rw-r--r-- | dev-ml/dyn/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/dyn/dyn-3.9.0.ebuild | 31 | ||||
-rw-r--r-- | dev-ml/ordering/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/ordering/ordering-3.9.0.ebuild | 30 | ||||
-rw-r--r-- | dev-ml/stdune/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/stdune/stdune-3.9.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 ca1018d7e6d3..1a824f0ed3ed 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 fd87a9fe20fc..ed69ae8982f8 100644 --- a/dev-ml/dune-build-info/Manifest +++ b/dev-ml/dune-build-info/Manifest @@ -5,6 +5,7 @@ DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -12,4 +13,5 @@ EBUILD dune-build-info-3.6.1.ebuild 616 BLAKE2B ed6886626692482d342018ce569fd1f0 EBUILD dune-build-info-3.7.0.ebuild 618 BLAKE2B 15138fc586ca114f815b8679448a0269e67fc3f404021cc03926ee633a63b2186b9e3df6ff1a8ad6829f772937b4aa3e7cd1d0bd3e624f988e746826bc803f3e SHA512 0b7d6d35652dd3820505facf219187180fdc4d9bd4ff3bf46b954ce252a2a7fa083925ec7e2f8823ec238a4c23e9526ccc412467f19dba6b720814cb45922da9 EBUILD dune-build-info-3.7.1.ebuild 617 BLAKE2B c871afad5d07e664161df67d3c08d4c21f098b99c403a2f709b464800ee5adf59f60b0822a6c1bf9161d0f3241f8b7f83c2e436dcf1fc65f838683ed213366db SHA512 4741c2ddb34812098ad5ef03da3aae5957a099b2800090f16fcf3eeeba19c65fa7400f113935d9e9fe229b6fdb7b3b35db358d18783f55873e86fdddddee6c9b EBUILD dune-build-info-3.8.0.ebuild 625 BLAKE2B b5c12761863e4a3b24b0b42b955ad504289d27fd4e16ca5be69c4c490fa51ae40e762bb8b68ea5754131fcd1ef7a1b98fcb05a359a3dfbee52c68031a28575a8 SHA512 5ba9d815dd97889fbb123b7be6412cfe880aad3a43319026cc32e0ff201390cd9cc7c0b5b251825904eb535af3c46de2cc1fda7d2da5b2741c438b0b163db960 +EBUILD dune-build-info-3.9.0.ebuild 625 BLAKE2B b5c12761863e4a3b24b0b42b955ad504289d27fd4e16ca5be69c4c490fa51ae40e762bb8b68ea5754131fcd1ef7a1b98fcb05a359a3dfbee52c68031a28575a8 SHA512 5ba9d815dd97889fbb123b7be6412cfe880aad3a43319026cc32e0ff201390cd9cc7c0b5b251825904eb535af3c46de2cc1fda7d2da5b2741c438b0b163db960 MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595 diff --git a/dev-ml/dune-build-info/dune-build-info-3.9.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.9.0.ebuild new file mode 100644 index 000000000000..3d78214334e6 --- /dev/null +++ b/dev-ml/dune-build-info/dune-build-info-3.9.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 7d5d609035d3..953360c9e31f 100644 --- a/dev-ml/dune-configurator/Manifest +++ b/dev-ml/dune-configurator/Manifest @@ -7,6 +7,7 @@ DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -16,4 +17,5 @@ EBUILD dune-configurator-3.6.1.ebuild 867 BLAKE2B a88bf4a1b65df3d5d4a804074a9ff2 EBUILD dune-configurator-3.7.0.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 EBUILD dune-configurator-3.7.1.ebuild 871 BLAKE2B 227b610d5f16761c951450e27afb484b262984f651e3d143355317b3bf5b40e4acb08c2ac11aad77e819278bf10b2ba5c4b01e5ec27c4a6c1647e198bb89499d SHA512 a29fa91ff1afc457b63f812498e109bf20c4bba1219887294c1d259018e8204c7ee91d5314960e0aa29650da1eecba8d124771f1f35850789015816d556e44c3 EBUILD dune-configurator-3.8.0.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 +EBUILD dune-configurator-3.9.0.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune-configurator/dune-configurator-3.9.0.ebuild b/dev-ml/dune-configurator/dune-configurator-3.9.0.ebuild new file mode 100644 index 000000000000..2ef2249b6a21 --- /dev/null +++ b/dev-ml/dune-configurator/dune-configurator-3.9.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 0089e6a484f6..912e234f7f1f 100644 --- a/dev-ml/dune-private-libs/Manifest +++ b/dev-ml/dune-private-libs/Manifest @@ -9,6 +9,7 @@ DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -19,4 +20,5 @@ EBUILD dune-private-libs-3.6.2.ebuild 779 BLAKE2B 35d2f09aa31e0049b39a1045590603 EBUILD dune-private-libs-3.7.0.ebuild 784 BLAKE2B d7cb093d8304d9817c94542c93641570ab28ea13ae11f0a442685164f84d5e6c84bbd11916fbe3d65b66ed59aff0bb6b871f6297e4c49c5bdb2c666c5504a60a SHA512 22904dfb998c4440a59d587f569b074032f690b7e4b837a27daac4b93e1631dc5d02876c6955e2684d4fb4e16cf75ca3687fd93f324a79f418240bc55878491c EBUILD dune-private-libs-3.7.1.ebuild 783 BLAKE2B 0e5c4ad9466bffc02f904bbad79cc6ff4c5b2ada28ab60840a756d3c3daa23eb6ca42398cd27a00355d11f13c1490324f54fb078f4a3b93b43658bee62fd4462 SHA512 9b6095ac9ee29f000beb9108eed8a992e8832dc71b4c1ce5b5dc0c9d1358936728cacea8929e0f6fe691c9908eab57cd72057a8e77d74cd53733e58e79a3a5fa EBUILD dune-private-libs-3.8.0.ebuild 784 BLAKE2B d7cb093d8304d9817c94542c93641570ab28ea13ae11f0a442685164f84d5e6c84bbd11916fbe3d65b66ed59aff0bb6b871f6297e4c49c5bdb2c666c5504a60a SHA512 22904dfb998c4440a59d587f569b074032f690b7e4b837a27daac4b93e1631dc5d02876c6955e2684d4fb4e16cf75ca3687fd93f324a79f418240bc55878491c +EBUILD dune-private-libs-3.9.0.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.9.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.9.0.ebuild new file mode 100644 index 000000000000..797e233bbac6 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.9.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 dc971c61843a..c9d7647191ad 100644 --- a/dev-ml/dune-site/Manifest +++ b/dev-ml/dune-site/Manifest @@ -7,6 +7,7 @@ DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -16,4 +17,5 @@ EBUILD dune-site-3.6.2.ebuild 647 BLAKE2B eb3785b4877a65fc0780447e33d9bb9d8fed07 EBUILD dune-site-3.7.0.ebuild 649 BLAKE2B 9a97fd12311d329b1b86a89b8f010ec3db5f85dc7bf1e00ff8ef99d0b3d4048c67066323adb40f92b0e83e929e0035e5f7826873a6b7e9aada15a0c1769bd847 SHA512 b387740fce4c0efc9f7981b3ce069a1e98bc0811a8123e2bab075c13d59d0301781f109cb6a706357a63ac11c35481d07194cc3517159abf9fcfb9f1a5e576ac EBUILD dune-site-3.7.1.ebuild 672 BLAKE2B c71af94e9dfa07f9b76fffb3b633dfc107a413ff2d482c166a71fe8a13d756acf48384d9493876bc79f1e33d49f06a18592638ec075abd37a6ca40dc140d8eed SHA512 597c9c50172a9e761bc7deb42d8021118b334ae516fba349cd99460f0ce7e4285ac3f7cf75f0137bafabbc46063491ead126c963c19a726b3d0210550cdf0013 EBUILD dune-site-3.8.0.ebuild 673 BLAKE2B 7c1f4b6dc24926c08f3a653bf2d793ef66f2b79562e5a2eb87a667ee500a102f30c619f82c4c665aac9942ab880cc850ea10001f0b30afee4738c4a3b69d5a42 SHA512 4213c7ea543aed100577d55b40fcd1f155eda907178a670a530f66e42a5bfabbbddb44ebb9dd22e000958121beb9d9e02f5e632a348c9c8a06c795d21d1a228a +EBUILD dune-site-3.9.0.ebuild 673 BLAKE2B 7c1f4b6dc24926c08f3a653bf2d793ef66f2b79562e5a2eb87a667ee500a102f30c619f82c4c665aac9942ab880cc850ea10001f0b30afee4738c4a3b69d5a42 SHA512 4213c7ea543aed100577d55b40fcd1f155eda907178a670a530f66e42a5bfabbbddb44ebb9dd22e000958121beb9d9e02f5e632a348c9c8a06c795d21d1a228a MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595 diff --git a/dev-ml/dune-site/dune-site-3.9.0.ebuild b/dev-ml/dune-site/dune-site-3.9.0.ebuild new file mode 100644 index 000000000000..7bf2f44ff50c --- /dev/null +++ b/dev-ml/dune-site/dune-site-3.9.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 bd804694270b..2ec8881d6d64 100644 --- a/dev-ml/dune/Manifest +++ b/dev-ml/dune/Manifest @@ -11,6 +11,7 @@ DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -23,4 +24,5 @@ EBUILD dune-3.6.2.ebuild 1561 BLAKE2B 46637f8691911208ab05dc8c1c2b22df8eba240ff6 EBUILD dune-3.7.0.ebuild 1561 BLAKE2B 46637f8691911208ab05dc8c1c2b22df8eba240ff689cf3cc71eeccc8af01a87fe7df067bdf63913545e65f4d7b5333ed0b79e76882862fce3a3ef9b58c0db50 SHA512 f8ab4674e7d03db64e08b2e30d7aca7dc93568e7f34e070131680b8f5dab034d639147536c895e824ef98c4a9f51aa4c177ee14a27bd4963706b797edea08176 EBUILD dune-3.7.1.ebuild 1565 BLAKE2B fb9eb53ad7861e8ee463d1d3ba4ab4b064f9be5e5dc2c06c5db2d47667b750c1f22c46c9b8ebf66865dff90deab4bd779a06d0ed356bf51c47df38ba3316bc72 SHA512 67e67dc445792fa5a2fb0bba48b39a85c2b8704489852c57695de9f499cba23bb2324d93b36e44e7457ce9f48f7f2c8af6d9a695645e8abc90d1d62b986b8d2f EBUILD dune-3.8.0.ebuild 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d +EBUILD dune-3.9.0.ebuild 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune/dune-3.9.0.ebuild b/dev-ml/dune/dune-3.9.0.ebuild new file mode 100644 index 000000000000..4055f5de2e82 --- /dev/null +++ b/dev-ml/dune/dune-3.9.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 6f810d52e798..573c924a742f 100644 --- a/dev-ml/dyn/Manifest +++ b/dev-ml/dyn/Manifest @@ -5,6 +5,7 @@ DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -12,4 +13,5 @@ EBUILD dyn-3.6.2.ebuild 655 BLAKE2B e9bfb469c6fed1ad2d78f9ffd611b9986dd5f3ad4946 EBUILD dyn-3.7.0.ebuild 660 BLAKE2B c769168187e381237eec8a74c5e78a77eee8cc7be355845a52e9bcda195d18452738eced0610f8b83a0b470075d78075389f726b6fb6c8ae981a00e0ae206fd6 SHA512 d11b82c425d67af751f9fe01d533a7c1b183d84536d90b924f6bc1beb779a607ff87319788aa24f6c0b895a65d6e60c7cf3e76e998ec49f06f0e8b334a3a2c18 EBUILD dyn-3.7.1.ebuild 659 BLAKE2B c2c2ef854e283c81600f409fce6e745443d3ac4a81ef099d4ccb9089317482cefdaf65755042503fe1579863e0071057fa73e9da910bff8c9e1fb1c2f3a684f7 SHA512 91226e8f4ea177a86d1e666696ac3795e3ce69cf64e953c37227b5d75aa5afd902df5da295658c2735c6a1140bba835b1cdffb3f5944784684db0e0e98ff7765 EBUILD dyn-3.8.0.ebuild 660 BLAKE2B c769168187e381237eec8a74c5e78a77eee8cc7be355845a52e9bcda195d18452738eced0610f8b83a0b470075d78075389f726b6fb6c8ae981a00e0ae206fd6 SHA512 d11b82c425d67af751f9fe01d533a7c1b183d84536d90b924f6bc1beb779a607ff87319788aa24f6c0b895a65d6e60c7cf3e76e998ec49f06f0e8b334a3a2c18 +EBUILD dyn-3.9.0.ebuild 660 BLAKE2B c769168187e381237eec8a74c5e78a77eee8cc7be355845a52e9bcda195d18452738eced0610f8b83a0b470075d78075389f726b6fb6c8ae981a00e0ae206fd6 SHA512 d11b82c425d67af751f9fe01d533a7c1b183d84536d90b924f6bc1beb779a607ff87319788aa24f6c0b895a65d6e60c7cf3e76e998ec49f06f0e8b334a3a2c18 MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/dyn/dyn-3.9.0.ebuild b/dev-ml/dyn/dyn-3.9.0.ebuild new file mode 100644 index 000000000000..a3d55d2d7132 --- /dev/null +++ b/dev-ml/dyn/dyn-3.9.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 0d62c87c13cc..095f5d8055c9 100644 --- a/dev-ml/ordering/Manifest +++ b/dev-ml/ordering/Manifest @@ -5,6 +5,7 @@ DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -12,4 +13,5 @@ EBUILD ordering-3.6.2.ebuild 643 BLAKE2B 0f5edccc5c1be85f5347cafc04c99e38135c975 EBUILD ordering-3.7.0.ebuild 648 BLAKE2B 564da55b0cdc8bc6ccd67ad86cdf1e11f9706e401fab26974b1108b9493caa1df7bc10f683b37e6424ea99698745ab47eedb500fc202cbaced3bd08c1d7b251d SHA512 c69d4b8c5e9cf5b92bed2bdd1e65e707d4ecf61ecdb0920b91a52070282c45a60d5135818afa5bcbd483f3ccb476b5adbcd8607cf58b52d234a80fcfe5eaddec EBUILD ordering-3.7.1.ebuild 647 BLAKE2B fc86778fcb85b28dbd848f6469e541a2d424eec0f3185be5c884ce5ceda6cd6694e0edea602acbe66770a9774a341763310259bf30565f54895915b85a6b4cac SHA512 a2cfdcefbad3220b3a5e9a758c9e61029a0d7d59af8d530ca903b77352a01c16c48eb14b13f09ccabc92764f41b8955cb758b151b5bdbbbaa7e302e8eb283a92 EBUILD ordering-3.8.0.ebuild 648 BLAKE2B 564da55b0cdc8bc6ccd67ad86cdf1e11f9706e401fab26974b1108b9493caa1df7bc10f683b37e6424ea99698745ab47eedb500fc202cbaced3bd08c1d7b251d SHA512 c69d4b8c5e9cf5b92bed2bdd1e65e707d4ecf61ecdb0920b91a52070282c45a60d5135818afa5bcbd483f3ccb476b5adbcd8607cf58b52d234a80fcfe5eaddec +EBUILD ordering-3.9.0.ebuild 648 BLAKE2B 564da55b0cdc8bc6ccd67ad86cdf1e11f9706e401fab26974b1108b9493caa1df7bc10f683b37e6424ea99698745ab47eedb500fc202cbaced3bd08c1d7b251d SHA512 c69d4b8c5e9cf5b92bed2bdd1e65e707d4ecf61ecdb0920b91a52070282c45a60d5135818afa5bcbd483f3ccb476b5adbcd8607cf58b52d234a80fcfe5eaddec MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/ordering/ordering-3.9.0.ebuild b/dev-ml/ordering/ordering-3.9.0.ebuild new file mode 100644 index 000000000000..3302c44ddac1 --- /dev/null +++ b/dev-ml/ordering/ordering-3.9.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 0aa5d503256f..d036ae642df3 100644 --- a/dev-ml/stdune/Manifest +++ b/dev-ml/stdune/Manifest @@ -5,6 +5,7 @@ DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32 SHA512 f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929 SHA512 d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355 SHA512 bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98 +DIST dune-3.9.0.tar.gz 2609923 BLAKE2B f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6 SHA512 86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070 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 @@ -12,4 +13,5 @@ EBUILD stdune-3.6.2-r1.ebuild 795 BLAKE2B d9a2086c632dbb51eb00ce3268fb434478473a EBUILD stdune-3.7.0-r1.ebuild 800 BLAKE2B 91a0e8cb7157b6526b7833547d02822ad6a549d9046c246d6b45ef8157199e432f66d22d8c57e51347439c06527e5a0973243e5ec09208b4d09e4e5e356c0f1b SHA512 8923cea1f10501f78d9c508a3b8bb78edf6c852cb0750668f1ca0810c60d7f3099b29f48cfebe2512a4dda4f02b5d69e6106da7cfd54b53f9e31d6cb671ed652 EBUILD stdune-3.7.1.ebuild 799 BLAKE2B 15080bfc4ea1d21e5d478e469db27be133023573747fbd51e5d02d88ff4c0f77157fde8cc94a10c181facf0cf170774a0d9127ddea771fdbaffeba9aecc340ef SHA512 902fefbba7e7e552a76bfe93104a3d4afab63b087de5e22d55e65b0183045cfbf0cc85c70a141281ea6c8d82cfd467d1e47110934e301bf328f16ad79acaf5cc EBUILD stdune-3.8.0.ebuild 800 BLAKE2B 91a0e8cb7157b6526b7833547d02822ad6a549d9046c246d6b45ef8157199e432f66d22d8c57e51347439c06527e5a0973243e5ec09208b4d09e4e5e356c0f1b SHA512 8923cea1f10501f78d9c508a3b8bb78edf6c852cb0750668f1ca0810c60d7f3099b29f48cfebe2512a4dda4f02b5d69e6106da7cfd54b53f9e31d6cb671ed652 +EBUILD stdune-3.9.0.ebuild 800 BLAKE2B 91a0e8cb7157b6526b7833547d02822ad6a549d9046c246d6b45ef8157199e432f66d22d8c57e51347439c06527e5a0973243e5ec09208b4d09e4e5e356c0f1b SHA512 8923cea1f10501f78d9c508a3b8bb78edf6c852cb0750668f1ca0810c60d7f3099b29f48cfebe2512a4dda4f02b5d69e6106da7cfd54b53f9e31d6cb671ed652 MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/stdune/stdune-3.9.0.ebuild b/dev-ml/stdune/stdune-3.9.0.ebuild new file mode 100644 index 000000000000..8d82be573c81 --- /dev/null +++ b/dev-ml/stdune/stdune-3.9.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 +} |