diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
commit | 5d0c0ffd63620a4db788484bd36ab92b76e7891b (patch) | |
tree | b4204d122504a5c2d3bfdb2cc9f3a5dcf5fe07b2 /dev-ml | |
parent | 60945053af0588a6219a4a6867aace9e7b47faeb (diff) |
gentoo auto-resync : 20:11:2022 - 01:01:31
Diffstat (limited to 'dev-ml')
26 files changed, 380 insertions, 2 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex 7d8e0d7a4875..67b374f73c7b 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest index 0f1914209706..99964a186869 100644 --- a/dev-ml/dune-configurator/Manifest +++ b/dev-ml/dune-configurator/Manifest @@ -1,7 +1,9 @@ DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233f43a804b0b9b677a6eadda25aa20f52799c90910d361e4bc565636a50d218ad5d0a9927239adc5be36b3889 SHA512 13b36eb6a943f9513987a23dab467b2e449cc3a4de35227f8323c3c724b27f19daac500602141ab22a04579243333c8484ce27a7f73e46a72e796d30fb1c3253 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 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 643 BLAKE2B 0e18709fb1ff06bd620b2a0b10e2a7dc5105d81d14972808b6c078c9dfdaadfe9311cb04100a8e6a4c05d7661b1e821fb4ab7af34ef1f354c512a2690dc5ea6d SHA512 1c480745ba59a78a6a7123414b057f0546616b235f5e2db7fed25e65d4c399edc6fb24cbe613a0ee253c0734b9fabd17695ebdbf5e195f53f1da39a51b642654 +EBUILD dune-configurator-3.0.3.ebuild 936 BLAKE2B 60fb6b7768aacbe017e8f3c8197d0ca2cd58752ee5ab87c29834d27dd40430d23e4aff29cef58dbd4c25b13dbba54b7f5c6cf924b5d89034b660535b98e6f677 SHA512 1b5fafc47dba7302833811d277422b9d40ee260d1c2217e801b81df3df8380d9c58e93afdf3f3cbdc25aef2e8f39f06798e5fd3297171078fbfa8c05a8e71165 MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune-configurator/dune-configurator-3.0.3.ebuild b/dev-ml/dune-configurator/dune-configurator-3.0.3.ebuild new file mode 100644 index 000000000000..ee56b94f49e5 --- /dev/null +++ b/dev-ml/dune-configurator/dune-configurator-3.0.3.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="A composable build system for OCaml" +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-${PV}" +DEPEND=" + dev-ml/csexp:=[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() { + ./configure \ + --libdir="$(ocamlc -where)" \ + --mandir="/usr/share/man" \ + || die +} + +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 8bb324028189..c61ea4e91966 100644 --- a/dev-ml/dune-private-libs/Manifest +++ b/dev-ml/dune-private-libs/Manifest @@ -2,7 +2,9 @@ AUX dune-private-libs-2.9.3-test.patch 951 BLAKE2B 92a7e9838cdc0e57219956fe8d9f3 DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233f43a804b0b9b677a6eadda25aa20f52799c90910d361e4bc565636a50d218ad5d0a9927239adc5be36b3889 SHA512 13b36eb6a943f9513987a23dab467b2e449cc3a4de35227f8323c3c724b27f19daac500602141ab22a04579243333c8484ce27a7f73e46a72e796d30fb1c3253 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 EBUILD dune-private-libs-2.8.4.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca EBUILD dune-private-libs-2.9.1.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca EBUILD dune-private-libs-2.9.3.ebuild 4430 BLAKE2B a77324e882f89eb08a241ebc17a4de86851851d513a6d210d4cd78ee21519e85316fec5da2c3b67ccf781423da46bbcff6ce0fe58221f1538aa72a14199af40c SHA512 d47796ff2cc00fa9eaa9f58433be4288c6401c0f95a8ebb1ccc3e4514f11c512e26c5e354168312df2b3d6f43cc44e4e23de0006d5d1db09689d04293a873d9d +EBUILD dune-private-libs-3.0.3.ebuild 747 BLAKE2B 38bdeaaf2e30a6579bae771687b2cf16a409aa19ff686fe3d290915154b9ff855859cc6e5c542e3de1053135baa9910aa6e147df3eb45464788be21edc6d94c4 SHA512 c57fe6d4c070ff885f66728d76ec7e1b5508b2961bf51b5652b75752352ec8cc070d7f1694903e714ad44d8acf8a4ffa44093eda8d5be46925bee73d4ec3bbc2 MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.0.3.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.0.3.ebuild new file mode 100644 index 000000000000..b15fa804ee33 --- /dev/null +++ b/dev-ml/dune-private-libs/dune-private-libs-3.0.3.ebuild @@ -0,0 +1,34 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="A composable build system for OCaml" +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-${PV}" +DEPEND=" + dev-ml/stdune:= +" +RDEPEND="${DEPEND}" + +src_configure() { + ./configure \ + --libdir="$(ocamlc -where)" \ + --mandir="/usr/share/man" \ + || die +} + +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 7d44ba4f898d..1f9394496eeb 100644 --- a/dev-ml/dune-site/Manifest +++ b/dev-ml/dune-site/Manifest @@ -1,5 +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 EBUILD dune-site-2.9.1.ebuild 596 BLAKE2B fa03797d6cb98422acafc3854035967c7f8b58271f7155e4abe02061357165df76223e6eb01f76b67468ce09e1752056a242b247b3432ad086367a12b6bdf662 SHA512 c6d3e08817f15d05b9f07f2cc40b6908deb00e68fd79e5ebac95a86c57b95d2d31071e6dbe9b4d87401a5813e23e7ae1b6077ba22f74a356b93dd5a530a333e6 EBUILD dune-site-2.9.3.ebuild 648 BLAKE2B d5b24d1f27f8cbd5777059a9f185762889311e0ebbe96683a41ba6b39f017c9e858695065e7bd4c8bd486aceaeb92ea62120a6f06786a253d60624a3c4026883 SHA512 1c52a8298ca3533ecae6d12222d535e22f5aa7ffacb59d7e50d7a3a6b8632922c4360ac4af0478148ac5325418fbfa6dcca029c80bb6e7441c1ba9d0afcc3899 +EBUILD dune-site-3.0.3.ebuild 648 BLAKE2B d0cb9e9cc9e960c953fae2444f3fc4f313172417a78c45e1ddbdd661eec88b8621ea7bcf28b1f43dfaaee97831f964f31ba17271be4c9a34d4e4e9c0e367c9bc SHA512 99010735c6d813698e73a17d7c3b937b2a8d07295c1fbf071461dea7e2bd4d20e78e78f3e4863da715268fd9a43bf630199bdfd100a6afdf358d387281fde0ae MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595 diff --git a/dev-ml/dune-site/dune-site-3.0.3.ebuild b/dev-ml/dune-site/dune-site-3.0.3.ebuild new file mode 100644 index 000000000000..8a13e19dec66 --- /dev/null +++ b/dev-ml/dune-site/dune-site-3.0.3.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2022 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 1ee0c1ccc121..2ef1b24c26a3 100644 --- a/dev-ml/dune/Manifest +++ b/dev-ml/dune/Manifest @@ -2,7 +2,9 @@ AUX 50dune-gentoo.el 203 BLAKE2B 0b99f29b2a5abe1ce28fb10db5a282b4fbc355dba94ed86 DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233f43a804b0b9b677a6eadda25aa20f52799c90910d361e4bc565636a50d218ad5d0a9927239adc5be36b3889 SHA512 13b36eb6a943f9513987a23dab467b2e449cc3a4de35227f8323c3c724b27f19daac500602141ab22a04579243333c8484ce27a7f73e46a72e796d30fb1c3253 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 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 1268 BLAKE2B b1a9b83a1a02159c5c48c2025c0819bbb725529b78d26fbc34953e75762edf1c0dd95954fd9046d1d76fdd8a65430ac90909c2d6994ee608db304bdd27da1ad7 SHA512 fbae16298c1bfd19ab66722cf122745065817a08839deaf408bdd734b4870f0934bf5c977a844f5dc123a4173e51fec769d59cc3c857757d8857746ce5bea3ad +EBUILD dune-3.0.3-r1.ebuild 1520 BLAKE2B 103f150281a6bef999259459f312c0c0c51e49322637c0bf30eb5447ab0a656143988dca456836b3d5a4e5b67ca098c5c1dd58273709432ff5a97980f3bbdec9 SHA512 0db1f7974e20798db29ca56448d5f51132787135e8073e3abccb8421dc870d77f6b6b07b150cc9647e257d8b8c943e81b25637380a26b31a936160b65d2bfc9c MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune/dune-3.0.3-r1.ebuild b/dev-ml/dune/dune-3.0.3-r1.ebuild new file mode 100644 index 000000000000..34a23dd6020a --- /dev/null +++ b/dev-ml/dune/dune-3.0.3-r1.ebuild @@ -0,0 +1,66 @@ +# Copyright 1999-2022 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" \ + || die +} + +src_compile() { + ocaml bootstrap.ml -j $(makeopts_jobs) || die + ./dune.exe build -p "${PN}" --profile dune-bootstrap \ + -j $(makeopts_jobs) \ + --display short || die + + use emacs && elisp-compile editor-integration/emacs/*.el +} + +src_install() { + ./dune.exe install --destdir="${D}" --prefix=/usr/ \ + --libdir=$(ocamlc -where) "${PN}" \ + || die + + dodir /usr/share/doc + mv "${D}"/usr/doc/dune "${D}"/usr/share/doc/${PF} || die + rmdir "${D}"/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 new file mode 100644 index 000000000000..bb0fe494dfb7 --- /dev/null +++ b/dev-ml/dyn/Manifest @@ -0,0 +1,3 @@ +DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +EBUILD dyn-3.0.3.ebuild 718 BLAKE2B 3bac5566705c1eb6b49eed073b387542fae5560d9e1c6fb78031baa4ddf2b532f44316a4682e9547bb079f7189c6703f38e76a25e635da17d78b489ee6b3f32d SHA512 ad99b1e5e38a95d2fae8adc50429f63ab215bdc07c306d2dfd9226bf42f8b19c038732935ceb2436a602e536c1cccc6c4863b877a835a8c6d0bdbc080909e09f +MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/dyn/dyn-3.0.3.ebuild b/dev-ml/dyn/dyn-3.0.3.ebuild new file mode 100644 index 000000000000..ba609c7fd471 --- /dev/null +++ b/dev-ml/dyn/dyn-3.0.3.ebuild @@ -0,0 +1,32 @@ +# Copyright 2022 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-${PV}" +DEPEND="dev-ml/ordering:=" +RDEPEND="${DEPEND}" + +src_configure() { + ./configure \ + --libdir="$(ocamlc -where)" \ + --mandir="/usr/share/man" \ + || die +} + +src_compile() { + dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} diff --git a/dev-ml/dyn/metadata.xml b/dev-ml/dyn/metadata.xml new file mode 100644 index 000000000000..86dc156e664c --- /dev/null +++ b/dev-ml/dyn/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">ocaml/dune</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/gen/Manifest b/dev-ml/gen/Manifest index caeb71aeea71..b1c2f6e2354a 100644 --- a/dev-ml/gen/Manifest +++ b/dev-ml/gen/Manifest @@ -1,5 +1,5 @@ DIST gen-0.5.3.tar.gz 30905 BLAKE2B a6b8351ec4a75dd986cc0b4e9ed60dbfa78c3b8e3625c1e294f8bc0253d92be1f5d27cc7162e1cfc4f6397bbe272df22d9b7b0d1dd410d7760f30cf4c36c4745 SHA512 192178de106d2ae5f936caead8b21b4b9ec1b8fe35ba56296825900ea15a4ea702caf8824ac34d4478d107b954e22c3dffd81f12d4c08fbd6d9760f49a0deb14 DIST gen-1.0.tar.gz 32266 BLAKE2B 1be57d34e794e8dffae19322e8b2504b0ff10a72608cc1dec4bc55867b50b08a765c88d7e6ec7125884dc2b8ea6752d4eb9c5cd2bcb10c2515250ba04fb21bf7 SHA512 fb4ec2ab35a1aba0dcc8439b11f14a0a785d939f661f505aec88a6f2ca6ca87e14ddfda860d9c180b215190b76690de87040c144582f069224f7e58d37ef48a0 EBUILD gen-0.5.3-r1.ebuild 521 BLAKE2B a43478ee91922336be346c0d92d5e10df60949dec21c7f855374dae0684a43105d23281a61270947edf427f457c3eaad4bb2aea632a72517cd6cc1da6e473f64 SHA512 16c468c31b00592d7d69acf10c0d257609a79dda916f7111a049da2e4e672a576e261f45e53b275ea41f8e29299db2a4b81503ff9c0a6aa56db6451bb3777a99 -EBUILD gen-1.0-r2.ebuild 562 BLAKE2B cdc2a7cd0ae74f85c4bf6f7bd0cd65b2d49037efd7aeee3053dc63d7779a03fa7ddfd353da38517443c4b8ed15248dca37721ed7759d4ee29980adb882d131ac SHA512 6fd74f23455e74a5ee1f836777b684b00f241627bccf39431f577e57edb78a4b12a4248e8723cd40bcc6295e9a01861412bb5b6883e27bc81738e73fd3e88cd9 +EBUILD gen-1.0-r2.ebuild 658 BLAKE2B e7ace07c706ea94f5fdfae852185a8781d5289589bc53ab28f7aa6fb751cfb14bceb16a4e1e27bb6d36c51851ec6be885658b575cf597e3cdd8b9fb6448175a5 SHA512 65eaca1c34b818785c1d8a3b04520abaa99e676516d15f4f114669ce8ff3a6e81f705d2bd3207aa6c10924c2d44e17d1a8e5b16a20a9ac3ec353d0a8dc887392 MISC metadata.xml 380 BLAKE2B 4cc697b8fa54689d677e4eb06cc90cb3d2b2b7dfef2585ccffa2846064c78bb1bf39d43f932588426e0b0b2a66fd68be4878bd97e0b2c4578fcf98c2ccddb01c SHA512 91e7d05763f7fbbb52a9dff9808a3c06640f66540543b188a2fe44673f50dc18689dc1fd95f83ca61f9bdf50d79e0951276e67311588cf7213735d3f97d20f05 diff --git a/dev-ml/gen/gen-1.0-r2.ebuild b/dev-ml/gen/gen-1.0-r2.ebuild index cc7656ab88d4..a4cf8cddd804 100644 --- a/dev-ml/gen/gen-1.0-r2.ebuild +++ b/dev-ml/gen/gen-1.0-r2.ebuild @@ -21,3 +21,12 @@ RDEPEND=" " DEPEND="${RDEPEND}" # BDEPEND="test? ( dev-ml/qtest )" + +src_prepare() { + default + + sed -i \ + -e "s:(libraries bytes seq)::" \ + src/dune \ + || die +} diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest new file mode 100644 index 000000000000..153a15f4ec1d --- /dev/null +++ b/dev-ml/ordering/Manifest @@ -0,0 +1,3 @@ +DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +EBUILD ordering-3.0.3.ebuild 705 BLAKE2B bc801175013b3c105f9539e0061c22830f53f6b8c2091e3e06b73edc50a9fe6dd4810a848b6f299b80829b7b1034b2c50b52b8a720442f3da27295f05df504db SHA512 e0ace6c90e7b83d20298f4d77910479fffb19b6fa1f7bccd7a6df8d76f7f61f82005789d1aed26cf798b318e71d28b04d6d02838ec21da2985c8d29411a124e3 +MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/ordering/metadata.xml b/dev-ml/ordering/metadata.xml new file mode 100644 index 000000000000..86dc156e664c --- /dev/null +++ b/dev-ml/ordering/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">ocaml/dune</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ordering/ordering-3.0.3.ebuild b/dev-ml/ordering/ordering-3.0.3.ebuild new file mode 100644 index 000000000000..0c02ad290b06 --- /dev/null +++ b/dev-ml/ordering/ordering-3.0.3.ebuild @@ -0,0 +1,32 @@ +# Copyright 2022 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-${PV}" +DEPEND="" +RDEPEND="${DEPEND}" + +src_configure() { + ./configure \ + --libdir="$(ocamlc -where)" \ + --mandir="/usr/share/man" \ + || die +} + +src_compile() { + dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} diff --git a/dev-ml/pp/Manifest b/dev-ml/pp/Manifest new file mode 100644 index 000000000000..fb3787ac580a --- /dev/null +++ b/dev-ml/pp/Manifest @@ -0,0 +1,3 @@ +DIST pp-1.1.2.tbz 9586 BLAKE2B 36bf09c2623c28215f2d4d3260681dacf7041919e09eb5e53ee04f90706b037784c0f7d5cbdfee58ce2808f28df09638fa4d15b82d8542badc05c06c0d8cce96 SHA512 58f78b083483006b40814be9aac33c895349eb1c6427d2762b4d760192613401262478bd5deff909763517560b06af7bf013c6a6f87d549aafa77b26345303f2 +EBUILD pp-1.1.2.ebuild 459 BLAKE2B 468b13b6bbe43bfbaa2a95f2903705df9d480e4523bfb29da0daed55ad185736e3da8d24e73a8b705b7b97b4a90c9baecd0182407f820f393ed487f86dd0149e SHA512 5d0d7913b5219216e08e5f5cb3685663fb2e60d9f4195bbd759554709ccfbead053b0e31e3cf1a2cdca6a3a4f7331e38743a81a7b99c982b528ae1c3633dd8cf +MISC metadata.xml 311 BLAKE2B 186c7e33d7f49e9833a705df8f1d1e55af53322a65a71e7a14828929ff71f661f7e0bd8f69d3fa21851a58d24273108d94f789491e9e9c65021f90d2798f1164 SHA512 c936324d80846839c2d209666f8ecbb54556bff77dd198da029944321d0344a70c16c7fecb699449f29b600d68d249a3b9ee829c53e2eee9c5b51320668cd952 diff --git a/dev-ml/pp/metadata.xml b/dev-ml/pp/metadata.xml new file mode 100644 index 000000000000..25a0b092cb96 --- /dev/null +++ b/dev-ml/pp/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">ocaml-dune/pp</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/pp/pp-1.1.2.ebuild b/dev-ml/pp/pp-1.1.2.ebuild new file mode 100644 index 000000000000..61daa7921fa6 --- /dev/null +++ b/dev-ml/pp/pp-1.1.2.ebuild @@ -0,0 +1,20 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Pretty-printing library" +HOMEPAGE="https://github.com/ocaml-dune/pp" +SRC_URI="https://github.com/ocaml-dune/pp/releases/download/${PV}/${P}.tbz" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND="dev-ml/ppx_expect:= + >=dev-lang/ocaml-4.08" +RDEPEND="${DEPEND}" +BDEPEND="" diff --git a/dev-ml/ptmap/Manifest b/dev-ml/ptmap/Manifest index af86eec62cf7..d8f34f2ee4c9 100644 --- a/dev-ml/ptmap/Manifest +++ b/dev-ml/ptmap/Manifest @@ -1,3 +1,4 @@ +AUX ptmap-2.0.5-dune.patch 149 BLAKE2B 4c27562df15bcff8f9f0a53d0d6af910162dc3d9783ead28168ac0f92eeef185f82101cb566ff6858122eb8e54a555bc2882790b203b58623f20b220918cdd73 SHA512 27af7a4dfd4aa4ac888f9895855a2eaeee711432f9ac9c56c55efc81a1333a42661923aaa76a6610fc26b4224764dbb979ccb4f85ba7339ce3dd86b1129f376c DIST ptmap-2.0.5.tar.gz 15121 BLAKE2B a81d205df6d0d276b4919577eb0fcfe9c33ad9a188c462df74b72722f43153bda84fd23880945d16e0f332041f67869ab708f5a925a689cf1ddb22dc0b9a6d28 SHA512 6815ee977cb9a4c5088af8dfb7d8055c8d35870ceb4e95f658fbdc50405495bea75a8755442dc6f7345d2e9021c3b96d14883603759baf267feced9cd5ba5202 -EBUILD ptmap-2.0.5-r2.ebuild 489 BLAKE2B 0996559c2bc5a08895fa9e8f7c9e8f8ee262e4bc00309686a95a08bff020428669a2e9d45c5cb169ba14271428e1b75ededd94aa1a356ce9c696c9a93f073f5f SHA512 7140454bdc0fa102ab8a41fd571c6bf42c82337ad00dba09a66f9dfa8cf94bdf41d1305ad3eb76a05f17c5b153fa18d0fdca4a2eaa2aa25ccc6f9126ebca0b00 +EBUILD ptmap-2.0.5-r2.ebuild 532 BLAKE2B f8ca7119b47cc169246955869b772edc8a6e1934b47f72b034c42de21fede9f44cbbf75cb68cf7668dcd6fd6727a6d957c7bffbd55091adf30bf181d934c59b4 SHA512 ef929969242e432024048dc02f2294987b87a7d1829e6868dfa1676ad2348ad9a6e3a9aee794b53432177e2dad731214be6fe1d4018e34e19e9f3e9070bf8276 MISC metadata.xml 396 BLAKE2B e02dd0cdbbbde71ee78d299a9fd709dc85f7c82f9d841ca7321d8bd24087568e1f1c337f67d08de5c42afa687683e25e58fcc67872c5e6a5dbeb176bed22a3e4 SHA512 ff4e86ae430fa12086067b849d9bfcec70ca49807dee15cc38936ceb8f9759b2c232c943719bff5424cd2f9284b60cde9c66fa7bcb59204c763a3326a798f935 diff --git a/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch new file mode 100644 index 000000000000..b13122884adb --- /dev/null +++ b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch @@ -0,0 +1,11 @@ +--- a/dune ++++ b/dune +@@ -1,7 +1,6 @@ + (library + (public_name ptmap) +- (modules ptmap) +- (libraries seq)) ++ (modules ptmap)) + + (test + (name test) diff --git a/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild index 2213fb278c04..5f448db4390d 100644 --- a/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild +++ b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild @@ -19,3 +19,5 @@ RDEPEND=" dev-ml/stdlib-shims:= " DEPEND="${RDEPEND}" + +PATCHES=( "${FILESDIR}"/${P}-dune.patch ) diff --git a/dev-ml/stdune/Manifest b/dev-ml/stdune/Manifest new file mode 100644 index 000000000000..8317eb640ed3 --- /dev/null +++ b/dev-ml/stdune/Manifest @@ -0,0 +1,3 @@ +DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155 +EBUILD stdune-3.0.3.ebuild 771 BLAKE2B d137e7ef80ec8c60ee6f29d88019a78a59b80bb1f206c91fd7ca1a6d6250a33281994aff2a47153fcffd746b71d45010d592ec83fa83a63b471266edf4161132 SHA512 69175899051a074f8821033544ace4bcfe0b740804ffe4908e2cd1d7faa2837a2f003e922f607cc7dfa5398a89c762753ea68d3d69d2f48475c5133745ec590a +MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748 diff --git a/dev-ml/stdune/metadata.xml b/dev-ml/stdune/metadata.xml new file mode 100644 index 000000000000..86dc156e664c --- /dev/null +++ b/dev-ml/stdune/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">ocaml/dune</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/stdune/stdune-3.0.3.ebuild b/dev-ml/stdune/stdune-3.0.3.ebuild new file mode 100644 index 000000000000..9a437d49b807 --- /dev/null +++ b/dev-ml/stdune/stdune-3.0.3.ebuild @@ -0,0 +1,35 @@ +# Copyright 2022 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-${PV}" +DEPEND=" + dev-ml/pp:=[ocamlopt?] + dev-ml/dyn:=[ocamlopt?] +" +RDEPEND="${DEPEND}" + +src_configure() { + ./configure \ + --libdir="$(ocamlc -where)" \ + --mandir="/usr/share/man" \ + || die +} + +src_compile() { + dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die +} |