diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-07-16 12:27:58 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-16 12:27:58 +0100 |
commit | b6fa31c964a602f8461a77d5b83355e8750c12eb (patch) | |
tree | 323fa7af31640b3ea8bb57fa7a927713f3d64769 /dev-ml | |
parent | 868fd5dc8aab84930cfaa5252b8be06b35552765 (diff) |
gentoo auto-resync : 16:07:2024 - 12:27:58
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/Manifest.gz | bin | 40127 -> 40123 bytes | |||
-rw-r--r-- | dev-ml/dose3/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/dose3/dose3-7.0.0-r1.ebuild | 41 | ||||
-rw-r--r-- | dev-ml/dose3/metadata.xml | 4 | ||||
-rw-r--r-- | dev-ml/opam-client/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/opam-client/opam-client-2.1.5.ebuild | 43 | ||||
-rw-r--r-- | dev-ml/opam-installer/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/opam-installer/opam-installer-2.1.5.ebuild | 42 | ||||
-rw-r--r-- | dev-ml/opam-repository/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/opam-repository/opam-repository-2.1.5.ebuild | 40 | ||||
-rw-r--r-- | dev-ml/opam-solver/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/opam-solver/opam-solver-2.1.5.ebuild | 43 | ||||
-rw-r--r-- | dev-ml/opam-state/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/opam-state/opam-state-2.1.5.ebuild | 39 | ||||
-rw-r--r-- | dev-ml/opam/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/opam/opam-2.1.5.ebuild | 44 | ||||
-rw-r--r-- | dev-ml/zarith/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/zarith/zarith-1.14.ebuild | 59 |
18 files changed, 371 insertions, 1 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex 6d5bc7136217..5b4715c1fa7d 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/dose3/Manifest b/dev-ml/dose3/Manifest index 7202dfa1ac8a..27b21d7c2494 100644 --- a/dev-ml/dose3/Manifest +++ b/dev-ml/dose3/Manifest @@ -1,3 +1,4 @@ DIST dose3-7.0.0.tar.bz2 1381598 BLAKE2B 8d34927a121c0baeac6b95424c8087f3da441b75468bcb1f385aa48d218b26cc168deec588ba348b62c97f76c0110fe16bdf5bd75738540dd5eda3a87ec02e05 SHA512 0752af050102cc7e7a2ae9a4e7a155e769ac961d716dd58b8d23201bc357678a1412ccc3a853bc38b69370ca863a7ad15d8cf9203938d813ccb9b71251632904 +EBUILD dose3-7.0.0-r1.ebuild 1022 BLAKE2B 2d4566e184b0c2e77edc287194d2f7af05da6cf6bbe7c87bd26e59a503ee4a2f7f3a7a9dfa3626e7e6b6b951af06878811257291ffc81dd6461f8af22613a12b SHA512 d632c69ca6e4ad556aa16fa27cc7ab4db19486d669878115086cd14f2e120d7f6cacbd5b502a77b3eca7744e1118b730a155b834445d5551a3add01469b6f51b EBUILD dose3-7.0.0.ebuild 999 BLAKE2B d68ac449cc4cb9ad28ee23b61422a3d08dd3c601716e2362de59ba481b233fb6320d9864511edce568651e1d8019f9111c28bdd58f1d014503f5763284eb900a SHA512 d899b262bdc6fd7ed159cf5cf52be4625b3fca5bbdd08cc3f89a55bdb9b972bf4dccc8749eea39e3b5d8b07edf26d44f93df07eb383b261f431dfbc3f2e44581 -MISC metadata.xml 309 BLAKE2B 1e3785fc5e5f21fb6e0c56a8a01ee3167b0ebae1afe1a49866a0cf49f1f6347eafa8e94affc6ab6bdd0e1fcad028e4421b126f760f7efb7988ca20fb5f5c965b SHA512 d571e2b937bba5d1dcc271133f4c35b766142ac34c808b15126d064b63de0cb20d7885b15ee8ec7fd0542880069c9691ccd19d4f32cc66e7223451bd2fe85790 +MISC metadata.xml 428 BLAKE2B 593349ff11c72e0d05f8c359e5bd2fce676287f5b288cd3174639920a1fb76c21a46de4441690d64685b1e514c3832a588c97fff216d4f80a6797d08f44b65e8 SHA512 faa78b974cc079bd09ae745517f7c82bac6686f67ce88c668dfb41a62d5c1044b386bf33991f6199f0e3ed05fae8bd819518c60c80a8b66322e1e21848777aa3 diff --git a/dev-ml/dose3/dose3-7.0.0-r1.ebuild b/dev-ml/dose3/dose3-7.0.0-r1.ebuild new file mode 100644 index 000000000000..d5d0e6ece2c4 --- /dev/null +++ b/dev-ml/dose3/dose3-7.0.0-r1.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Library to perform analysis on package repositories" +HOMEPAGE="http://www.mancoosi.org/software/ https://gforge.inria.fr/projects/dose" +SRC_URI="https://gitlab.com/irill/${PN}/-/archive/${PV}/${P}.tar.bz2" +S="${WORKDIR}/${PN}-$(ver_cut 1-3)" + +LICENSE="LGPL-3+" # with OCaml linking exception +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +BDEPEND=" + dev-ml/findlib + dev-ml/ocamlbuild +" +# NOTE: dependencies on RPM, camlbz2, ZIP are unnecessary, +# because those are only used by dose3-extra +RDEPEND=" + dev-ml/ocaml-base64:=[ocamlopt?] + dev-ml/cudf:=[ocamlopt?] + >=dev-ml/extlib-1.7.8:=[ocamlopt?] + dev-ml/ocamlgraph:=[ocamlopt?] + dev-ml/re:=[ocamlopt?] + dev-ml/parmap:=[ocamlopt?] + dev-ml/ocaml-expat:=[ocamlopt?] + dev-ml/xml-light:=[ocamlopt?] +" +DEPEND="${RDEPEND}" + +# missing test data +RESTRICT="test" + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/dose3/metadata.xml b/dev-ml/dose3/metadata.xml index 353924ec9e4e..447e2daf958d 100644 --- a/dev-ml/dose3/metadata.xml +++ b/dev-ml/dose3/metadata.xml @@ -1,6 +1,10 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> + <maintainer type="person"> + <email>fogti@ytrizja.de</email> + <name>Alain Emilia Anna Zscheile</name> + </maintainer> <maintainer type="project"> <email>ml@gentoo.org</email> <name>ML</name> diff --git a/dev-ml/opam-client/Manifest b/dev-ml/opam-client/Manifest index 71fbd9be2a7a..5342169dcc7c 100644 --- a/dev-ml/opam-client/Manifest +++ b/dev-ml/opam-client/Manifest @@ -4,8 +4,10 @@ DIST opam-2.0.9.tar.gz 644429 BLAKE2B d96ee79685a8ee8ff82c7570a747c80e38d86e5137 DIST opam-2.1.0-dose3-6.patch.xz 5896 BLAKE2B f605064ebae7d327895729962a345a3c679519895aa2568f0c2d199d4ba9d6ae948a4fc418cfd26cc65079eb6ef3545f24a35e08c969d215529664a80d0c9147 SHA512 e00da74d7baef62319e884e3a05112bcf86a02d887c274bd15fb0d15bb8198e9a37a421f388bec3fce198e7a1b4d37024b18609dc65978c6ee8a7889df9bd608 DIST opam-2.1.2.tar.gz 818848 BLAKE2B ffb50f3cf1421aa9bff6877d636a3d1d1cc2c2e3961ecd60fcae8a35b069c8d22e7a36bf17cb8166533621a3c85a82195fd3fa646b2fd8dcea9e626b61d5b86c SHA512 bea6f75728a6ef25bcae4f8903dde7a297df7186208dccacb3f58bd6a0caec551c11b79e8544f0983feac038971dbe49481fc405a5962973a5f56ec811abe396 DIST opam-2.1.3.tar.gz 832450 BLAKE2B c5e50c0a41b7197bc7645eaef0d8cba79c978b4432fc824aa6a4280df65ec7d59df52a22b76877da4949c8562a5fecb8da2a179ca67bd312bf9a514961bf4444 SHA512 040e4f58f93e962ff422617ce0d35ed45dd86921a9aac3505914c33dd942d0e5e5771e7e1774046504f9aa84f32bc4fbd6ac7720fbea862d48bf1ca29e02cefc +DIST opam-2.1.5.tar.gz 837005 BLAKE2B f2e58784959f0e47fbe5ae65112a030d8350b061d7b0d2676f40e22ec5bf62c136bc37fd3078403dab807705ce8a1c8b6bb0ecf00b68fdfbb5f3d5a9acb88c77 SHA512 4395defe7df1d03ca889718b8eafd8161ff009710475f62673f19f012e0bde8ad2a919bd9d02d7f96b4c5a9bbf38e0ba9a256531c24de15cafabd4ef11f7c8e8 EBUILD opam-client-2.0.10.ebuild 954 BLAKE2B f62db0baf48eec429f611d67064aecbadf22fa5cb359c3e53ec46dc43c07b2a91cc33115c063c6d5303ef203c9640e6dc757dd35515f336d06ff7ede0d218934 SHA512 091d8bc3488071479bb846adfd828778af68ca4a53e755380bab6e9a5160ae0f057171d0eff4b2ee7f19ded494d7038c88c64856b295f186f6ffe993e2e535ad EBUILD opam-client-2.0.9.ebuild 1026 BLAKE2B 0a42c8dc6f43666139de6c41f2e17d9ea60af9578d240af6eb5732a6cdf020a32231c10befb77ad86f9788afe798d534a8823789b22681bb71f4de547417b17e SHA512 d85a87f097ceaaad5254796d9547ee916faa277419504ff58d77076696588435cb0ac7610297d6dd76edf9c23fe3c6ec29bdb80cb83535051ed33cac273433d8 EBUILD opam-client-2.1.2.ebuild 1019 BLAKE2B 12b0b6f8cdfd3a0d083c64e0d65212229e342305c4cf202c7c8117dc0106ec44d4c76b39a1672e7d7cfa66437689e96ece2b8aeabbb314b5336ac5ac7446ab16 SHA512 79292ade60ec2985ec1cbcc3e788b3018a280ff4a30da096816da5170d6b0909c09554a8ffe46d3a176f0d26129af3aaa7a5190f0270d55717ef1508e39bd0ec EBUILD opam-client-2.1.3.ebuild 1034 BLAKE2B fa8367adf57efa4bda6b1c3f114f1d2e2bf3556ccc393af8df86acf2edeaa1068b70db81872b35f183831d5486e3cfd146d2c93fc7073e6502f3dbf1b1c34060 SHA512 dba4b755f0c0ed80df5ac7174fc0b5ea4a269e8e724a1d5cfe4a0c17f8d47910d0072f328975c80260547142dae57c72556ab95d6cd4c4aeea3cf17303a16c3e +EBUILD opam-client-2.1.5.ebuild 999 BLAKE2B 2d75f2a9eb07abf900b10e65a6b8f80242e921a30f07d259f9d11262db992f19eb8a85369589cb3d831073bb4e01d5a05fdd5bc141c7d5ae298cd82af3e6abc7 SHA512 faf1919d6b9354b2e08c1991785812b5e4c7a4629c7a23fed37e06efd1c5a77fe094ce3e6497a80d23a447a4e6bf13880eefd3f2f8a965eae16cb355c2758e79 MISC metadata.xml 308 BLAKE2B 8063e47b40e4366ef330084a189eafbb580be1231caf276960a3c3a67a34f4cb60be369e2ae75b91b379feda07fc8d7b6d9ccc5fa14c296c9dc2e8bb92d10157 SHA512 0b05ce3d4265c65f2ba372a24a59bbb46b8daa80883501a61da35aa0a8a487cd5fe0cf24cd6c089139893eb1fa970c33ef207e51772583bb137ebd38ec58eca5 diff --git a/dev-ml/opam-client/opam-client-2.1.5.ebuild b/dev-ml/opam-client/opam-client-2.1.5.ebuild new file mode 100644 index 000000000000..19e091b78f8d --- /dev/null +++ b/dev-ml/opam-client/opam-client-2.1.5.ebuild @@ -0,0 +1,43 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="opam client libraries" +HOMEPAGE="https://opam.ocaml.org/ https://github.com/ocaml/opam" +SRC_URI="https://github.com/ocaml/opam/archive/${PV/_/-}.tar.gz -> opam-${PV}.tar.gz" +S="${WORKDIR}/opam-${PV/_/-}" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt test" +RESTRICT="test" # sandbox not working + +RDEPEND=" + dev-ml/cmdliner:=[ocamlopt?] + ~dev-ml/opam-repository-${PV}:=[ocamlopt?] + ~dev-ml/opam-state-${PV}:=[ocamlopt?] + ~dev-ml/opam-solver-${PV}:=[ocamlopt?] + dev-ml/opam-file-format:=[ocamlopt?] + dev-ml/re:=[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND="test? ( sys-apps/bubblewrap )" + +src_prepare() { + default + cat <<- EOF >> "${S}/dune" + (env + (dev + (flags (:standard -warn-error -3-9-33))) + (release + (flags (:standard -warn-error -3-9-33)))) + EOF +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/opam-installer/Manifest b/dev-ml/opam-installer/Manifest index 8fb174c07ab4..c22169087dcd 100644 --- a/dev-ml/opam-installer/Manifest +++ b/dev-ml/opam-installer/Manifest @@ -4,8 +4,10 @@ DIST opam-full-2.0.10.tar.gz 8173617 BLAKE2B 6bf7a52835512b3de5bcf0de24f5ba3a322 DIST opam-full-2.0.9.tar.gz 8029605 BLAKE2B c2ae06bdbbdbe9db270ec0027ec8d13a228f0af2ae5089476fa3a698d27e1f47abf2e3a15ecc9ca610717ba6b979b4ca76cce56c52f6592ae789b88fb5e5b68d SHA512 9f44d878a2599a876f5e5b9b7457b6f446a5e59156ed3d449dcc29e40c44df8b69da619eabdf030e45526fba4bd9a00c65dec2c36552d2e03788596b0aceee85 DIST opam-full-2.1.2.tar.gz 9442446 BLAKE2B fe5447fe8f9bcedb30bf455e93b54a37e950e2944f6f501545bdccf6d989de2da90106938efb6a12c1b9454ecefed5be9906d65a15a4d0244302ad7ccff170db SHA512 fe12aaa27168435a978c472926d40697af0a7619a529c4bfacd0b71469dfcd534f43164bc74f60f740a735d38a869ae5e87e2414119f4f3fc1826315e8a075cd DIST opam-full-2.1.3.tar.gz 9618995 BLAKE2B 6f33e70c2e59be87b643840128b46441828d3d83888f5d321ac23d33b2fbc4d3163cb4303ac82a7f863abcc9300227bbc48bca3b8db5d6fbcebf0e6cf8869a5d SHA512 fe3a3c86335830944683a39a34a9eb385037476853ab3e2a82b8571a9e2021830cccf25cbd5bb891d239f6a47584c1b1d91aa445e6e2a814847346c5cc526ff1 +DIST opam-full-2.1.5.tar.gz 10801367 BLAKE2B 5e6b1140e279931dfb61f68d0c4888cb14d05ff610e2b151115efe6b6420d74e7079894b6f4360f377b155008530ba4ace9708bc9d1e1d8c13950c0a5be4de11 SHA512 e4e33fcee0a9f922f8b43c6b095554a946559a2c50341326d21cca0f24fc7105c0de01db204b408240b12b267c9929435e2c511adf140618c91873f10444ae90 EBUILD opam-installer-2.0.10-r1.ebuild 1194 BLAKE2B 8067ca76998c8e4b38f065139096cc92dca4bb71ea31df5e5b1b79268f45865ecb172cf7c30ce762867ff3b831b8c206f5bb4cbef507d09ee09447aabc968093 SHA512 4ba15ce0bb8ded4783b536c8c0578562f21b2790172800a4d83ccbdc192051e8cc59c1f263f61ee382cc2adf8d7502161934dc1a4d63804b44a5ccea1b345c06 EBUILD opam-installer-2.0.9-r1.ebuild 1194 BLAKE2B 7fd57adbf8d1f8d9d9b5bef83fe48a1fe40a844a3cd7f54027dd5d7e70e03ff109120a294b3e1f8c0430bbb9f6ca643be864b4aa2664baee5a4ade261b6333dc SHA512 76fc6ce77d0da8ba6773ad5f4dc21b11c7e655a8dae1c56feb630559a29043ecdca9293da3fdad6dd686675196c2293f94b49ed753a8f5b070036d99a88e88d1 EBUILD opam-installer-2.1.2-r1.ebuild 1033 BLAKE2B c368b2cae6a3b3ae2b4f19ecd498243066b019752b6c8ed812fde3deb8d6de30328c46c0aa839434a56330fc10b08feb4e22d163fbb40b23876a37091098dfe2 SHA512 ade9467d022b3650745efffa22fd6c4eca879878c951f89d1e7fd2e8ed4a237402535e1b7e8382dfeacbffa7bb75c8c0e63f95eb24de90bb7d082ff87a21fc7b EBUILD opam-installer-2.1.3.ebuild 1075 BLAKE2B 8c6eebaf2033a0418bde752c99ba35276d7a089b2773c8eba45c99ed78ca15b635029711bd44d5325fe5b2392563a91acd0ce5d038f287624e35c47599aaea46 SHA512 26a298278a703cfbe8e9267c6bcba2a17a22333aff459bd9abfbeddb1a929d571dbc7d6487d58c8d11ac92cb2b58448a694170001abd8134d7830d371f4a2224 +EBUILD opam-installer-2.1.5.ebuild 974 BLAKE2B 157482c1caee0b9124fc9a382bab732307944140be6f458eeb9a6dcf6730787a7fa98a2e4600662afdd3b981e2911268d3b3c2d54de78aaa2ddcc8f736ae5603 SHA512 cdfedb9021e90542b19eb42bd19450e505d2474a8cae9e14c3050259c53b7af6995b50617cc5298d4d987a4b817be1d6eed4f376bafa49c5becbf6c2ba5c6dcb MISC metadata.xml 308 BLAKE2B 8063e47b40e4366ef330084a189eafbb580be1231caf276960a3c3a67a34f4cb60be369e2ae75b91b379feda07fc8d7b6d9ccc5fa14c296c9dc2e8bb92d10157 SHA512 0b05ce3d4265c65f2ba372a24a59bbb46b8daa80883501a61da35aa0a8a487cd5fe0cf24cd6c089139893eb1fa970c33ef207e51772583bb137ebd38ec58eca5 diff --git a/dev-ml/opam-installer/opam-installer-2.1.5.ebuild b/dev-ml/opam-installer/opam-installer-2.1.5.ebuild new file mode 100644 index 000000000000..58de5666dc7c --- /dev/null +++ b/dev-ml/opam-installer/opam-installer-2.1.5.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +# We are opam +OPAM_INSTALLER_DEP=" " +OPAM_SKIP_VALIDATION=yes +inherit dune + +DESCRIPTION="Core installer for opam packages" +HOMEPAGE="https://opam.ocaml.org/ https://github.com/ocaml/opam" +SRC_URI="https://github.com/ocaml/opam/releases/download/${PV}/opam-full-${PV}.tar.gz" +S="${WORKDIR}/opam-full-${PV/_/-}" +OPAM_INSTALLER="${S}/_build/install/default/bin/opam-installer" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" # sandbox not working + +RDEPEND=" + >=dev-lang/ocaml-4.02.3:= + dev-ml/cmdliner:= + ~dev-ml/opam-format-${PV}:= + >=dev-ml/dose3-6:= +" +DEPEND="${RDEPEND} + dev-ml/findlib" + +src_configure() { + econf \ + --prefix="${EPREFIX}/usr" \ + --with-mccs \ + --docdir="${EPREFIX}/usr/share/doc/${PF}" \ + --mandir="${EPREFIX}/usr/share/man" +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/opam-repository/Manifest b/dev-ml/opam-repository/Manifest index 9b05d2b17d3e..2efcbdb1e442 100644 --- a/dev-ml/opam-repository/Manifest +++ b/dev-ml/opam-repository/Manifest @@ -4,8 +4,10 @@ DIST opam-2.0.9.tar.gz 644429 BLAKE2B d96ee79685a8ee8ff82c7570a747c80e38d86e5137 DIST opam-2.1.0-dose3-6.patch.xz 5896 BLAKE2B f605064ebae7d327895729962a345a3c679519895aa2568f0c2d199d4ba9d6ae948a4fc418cfd26cc65079eb6ef3545f24a35e08c969d215529664a80d0c9147 SHA512 e00da74d7baef62319e884e3a05112bcf86a02d887c274bd15fb0d15bb8198e9a37a421f388bec3fce198e7a1b4d37024b18609dc65978c6ee8a7889df9bd608 DIST opam-2.1.2.tar.gz 818848 BLAKE2B ffb50f3cf1421aa9bff6877d636a3d1d1cc2c2e3961ecd60fcae8a35b069c8d22e7a36bf17cb8166533621a3c85a82195fd3fa646b2fd8dcea9e626b61d5b86c SHA512 bea6f75728a6ef25bcae4f8903dde7a297df7186208dccacb3f58bd6a0caec551c11b79e8544f0983feac038971dbe49481fc405a5962973a5f56ec811abe396 DIST opam-2.1.3.tar.gz 832450 BLAKE2B c5e50c0a41b7197bc7645eaef0d8cba79c978b4432fc824aa6a4280df65ec7d59df52a22b76877da4949c8562a5fecb8da2a179ca67bd312bf9a514961bf4444 SHA512 040e4f58f93e962ff422617ce0d35ed45dd86921a9aac3505914c33dd942d0e5e5771e7e1774046504f9aa84f32bc4fbd6ac7720fbea862d48bf1ca29e02cefc +DIST opam-2.1.5.tar.gz 837005 BLAKE2B f2e58784959f0e47fbe5ae65112a030d8350b061d7b0d2676f40e22ec5bf62c136bc37fd3078403dab807705ce8a1c8b6bb0ecf00b68fdfbb5f3d5a9acb88c77 SHA512 4395defe7df1d03ca889718b8eafd8161ff009710475f62673f19f012e0bde8ad2a919bd9d02d7f96b4c5a9bbf38e0ba9a256531c24de15cafabd4ef11f7c8e8 EBUILD opam-repository-2.0.10.ebuild 916 BLAKE2B 8f79e20d1df6a48e64aa701bb7d4bcfd2e73bdfe79dab65473c51aa869427423b561d27b01917e05c049f2b52ab217b573c413d2c13b09dd9174a98773d2a3a5 SHA512 ddadb0fb7a7e9ea1bb197906d10592b5dbf711e12c8cb3fd3dce0dbd3014c204f31cb98f93f401632112b93066428a39b876b4c622377cde3f38158fe6cdf543 EBUILD opam-repository-2.0.9.ebuild 916 BLAKE2B 17608649a756ac8f0bb0503eab8f612e4465f4cee3d2b26a4edf65d7e5d521931bbc43970944e4ee00c98d526fea360bc35438bc317924fff4cdd66b82cb7e3c SHA512 a4f78eacafa63f350a16b00bd4fcf5b4ba5318541e01f75400c10c262bc6fcd1e4df3156ed2da602142a5230799f8f852b7710f5fd25f734f89e158f6157d163 EBUILD opam-repository-2.1.2.ebuild 909 BLAKE2B a168662ad969499964910f0b94f2fd98e6db767c27217a8ccf32470e756d285d52136cdc816c053597dfdd3a46f861e036dcce3356b780438c825a309be67cb3 SHA512 9842b22570bec6cc8da2cdaa3c9f9ea92eb169c13d941aa529e97620bc31440ed87578984c831c80d88e004d93ad17357218681cedba9f95a51ddfa9aa200aff EBUILD opam-repository-2.1.3.ebuild 913 BLAKE2B 07a3984a18f159b3f3987425140b80f62d14b93785092e74fb7c12da27a28d21155469fc919756c2e8aa9bee49df0ffb8b0ca6635caf1733ac0b6c5b038abf7f SHA512 6e4196d69f7a4df5c7e5cbf4b81b2e0b38723ea6ef16850d804e188df1d34c60b6ca40d367cd6c4fe7aa939c9d4cec2fc90cf4d9b2dc5e7faf2651aa244f3569 +EBUILD opam-repository-2.1.5.ebuild 850 BLAKE2B e71e40991096e78ef064d4bc3f35eeeeb6b8eb6a79b4259f713cea45043b914f55bd372112715f9827681373769048e5fb5b095678368bb6336ed9b415f792cf SHA512 5b9fdd2dcd528e195fc6dc7f7a9db6e18cac6897a4bbf870626ea2ad856a92dc2e5a74eebaf9faf3f47d3f813b86a7ee006c4771fcba93a70caec13044400c2d MISC metadata.xml 308 BLAKE2B 8063e47b40e4366ef330084a189eafbb580be1231caf276960a3c3a67a34f4cb60be369e2ae75b91b379feda07fc8d7b6d9ccc5fa14c296c9dc2e8bb92d10157 SHA512 0b05ce3d4265c65f2ba372a24a59bbb46b8daa80883501a61da35aa0a8a487cd5fe0cf24cd6c089139893eb1fa970c33ef207e51772583bb137ebd38ec58eca5 diff --git a/dev-ml/opam-repository/opam-repository-2.1.5.ebuild b/dev-ml/opam-repository/opam-repository-2.1.5.ebuild new file mode 100644 index 000000000000..ac92c2b7ab83 --- /dev/null +++ b/dev-ml/opam-repository/opam-repository-2.1.5.ebuild @@ -0,0 +1,40 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="opam repository libraries" +HOMEPAGE="https://opam.ocaml.org/ https://github.com/ocaml/opam" +SRC_URI="https://github.com/ocaml/opam/archive/${PV/_/-}.tar.gz -> opam-${PV}.tar.gz" +S="${WORKDIR}/opam-${PV/_/-}" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=" + ~dev-ml/opam-format-${PV}:=[ocamlopt?] + dev-ml/re:=[ocamlopt?] + dev-ml/dose3:=[ocamlopt?] + dev-ml/opam-file-format:=[ocamlopt?] +" +DEPEND="${RDEPEND}" + +src_prepare() { + default + cat <<- EOF >> "${S}/dune" + (env + (dev + (flags (:standard -warn-error -3-9-33))) + (release + (flags (:standard -warn-error -3-9-33)))) + EOF +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/opam-solver/Manifest b/dev-ml/opam-solver/Manifest index b8c72b0403e9..4993dd290ecb 100644 --- a/dev-ml/opam-solver/Manifest +++ b/dev-ml/opam-solver/Manifest @@ -4,8 +4,10 @@ DIST opam-2.0.9.tar.gz 644429 BLAKE2B d96ee79685a8ee8ff82c7570a747c80e38d86e5137 DIST opam-2.1.0-dose3-6.patch.xz 5896 BLAKE2B f605064ebae7d327895729962a345a3c679519895aa2568f0c2d199d4ba9d6ae948a4fc418cfd26cc65079eb6ef3545f24a35e08c969d215529664a80d0c9147 SHA512 e00da74d7baef62319e884e3a05112bcf86a02d887c274bd15fb0d15bb8198e9a37a421f388bec3fce198e7a1b4d37024b18609dc65978c6ee8a7889df9bd608 DIST opam-2.1.2.tar.gz 818848 BLAKE2B ffb50f3cf1421aa9bff6877d636a3d1d1cc2c2e3961ecd60fcae8a35b069c8d22e7a36bf17cb8166533621a3c85a82195fd3fa646b2fd8dcea9e626b61d5b86c SHA512 bea6f75728a6ef25bcae4f8903dde7a297df7186208dccacb3f58bd6a0caec551c11b79e8544f0983feac038971dbe49481fc405a5962973a5f56ec811abe396 DIST opam-2.1.3.tar.gz 832450 BLAKE2B c5e50c0a41b7197bc7645eaef0d8cba79c978b4432fc824aa6a4280df65ec7d59df52a22b76877da4949c8562a5fecb8da2a179ca67bd312bf9a514961bf4444 SHA512 040e4f58f93e962ff422617ce0d35ed45dd86921a9aac3505914c33dd942d0e5e5771e7e1774046504f9aa84f32bc4fbd6ac7720fbea862d48bf1ca29e02cefc +DIST opam-2.1.5.tar.gz 837005 BLAKE2B f2e58784959f0e47fbe5ae65112a030d8350b061d7b0d2676f40e22ec5bf62c136bc37fd3078403dab807705ce8a1c8b6bb0ecf00b68fdfbb5f3d5a9acb88c77 SHA512 4395defe7df1d03ca889718b8eafd8161ff009710475f62673f19f012e0bde8ad2a919bd9d02d7f96b4c5a9bbf38e0ba9a256531c24de15cafabd4ef11f7c8e8 EBUILD opam-solver-2.0.10.ebuild 986 BLAKE2B 5501cb38e2ac9d0c78ed4e4adf85be8ddfb959af9a75d54ce0b9932234aab907e833860e9cc37806687b2c204f226f99b23a6002a3bd1aa9209b59da0f6b04f1 SHA512 229a098cdcffbbdc50e1d9754749669dcd7874c35b0761eb741cf952bc7d379a2b776148574ff8319e9a8c8ee369c1e722e0f25bb492aef7096317cb5262ba56 EBUILD opam-solver-2.0.9.ebuild 986 BLAKE2B 57c598370564e05ec39ba314a2f8254e7d884fde07460c9e00053424ae8e20096e1c802757463b0c9453945fc26fa783647ad2f67d5b68a48a1c83912f382a33 SHA512 da509b77f479f4eb06364e0408595eb4555f1aaa5519ef72d0fcf656493a725cbb683a4eb4e8777ccd88cc138521e2b03e87b17aca678a8746ce6dbcfd5ffff6 EBUILD opam-solver-2.1.2.ebuild 979 BLAKE2B 14be2073691add350e7d4e9a2c2d00ccf4d533efeeb55bc5d98cf3f1f634efd450db9971a2ee26db2d50262d217a89f4def4162538b5367335ab17c5ee2ab102 SHA512 0b8ff4b9a509c8d6f7d7be1bcaceed8d7490b8437b9b082c59dc4e4165bbbaa5baeed86b2ab72f87bfa126e833d044a0607401b6e2080e7395e80836957dcf49 EBUILD opam-solver-2.1.3.ebuild 994 BLAKE2B 3be7fcec3cd09b1be4e66df093a855ea0debd0e1a83fa6088c4d89ea29df6a539945f4e52cdf72b3b0901613a90525a756688114dcd7b32bfa97b86207de3531 SHA512 74b8307c1922e45876d260ecb2e408a145d384c1ed62f24dcc7aa4278d67463d90877b81caedb61b905ced5857b5870906727d56dd34bb18cacf209b3b2d9a0e +EBUILD opam-solver-2.1.5.ebuild 945 BLAKE2B 9f20191a428155971eaecf97939463184b429849aeb7ac806962fab474651237bfddb75b395ca358a4f635a18480f01a90e86684499ca36477ff39a4c2bfbcb7 SHA512 752b9109ed9b7f083e1535c6ff9a401c27e16a3046f78f3eedb9dbcd27df3eb5019a4c608c08ded646dd93878921728431f0e13d671850af9bba3a6eb415a5d9 MISC metadata.xml 308 BLAKE2B 8063e47b40e4366ef330084a189eafbb580be1231caf276960a3c3a67a34f4cb60be369e2ae75b91b379feda07fc8d7b6d9ccc5fa14c296c9dc2e8bb92d10157 SHA512 0b05ce3d4265c65f2ba372a24a59bbb46b8daa80883501a61da35aa0a8a487cd5fe0cf24cd6c089139893eb1fa970c33ef207e51772583bb137ebd38ec58eca5 diff --git a/dev-ml/opam-solver/opam-solver-2.1.5.ebuild b/dev-ml/opam-solver/opam-solver-2.1.5.ebuild new file mode 100644 index 000000000000..f1356ca7d7cf --- /dev/null +++ b/dev-ml/opam-solver/opam-solver-2.1.5.ebuild @@ -0,0 +1,43 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="opam solver" +HOMEPAGE="https://opam.ocaml.org/ https://github.com/ocaml/opam" +SRC_URI="https://github.com/ocaml/opam/archive/${PV/_/-}.tar.gz -> opam-${PV}.tar.gz" +S="${WORKDIR}/opam-${PV/_/-}" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt test" +RESTRICT="test" # sandbox not working + +RDEPEND=" + ~dev-ml/opam-format-${PV}:=[ocamlopt?] + dev-ml/opam-file-format:=[ocamlopt?] + dev-ml/re:=[ocamlopt?] + dev-ml/mccs:=[ocamlopt?] + dev-ml/dose3:=[ocamlopt?] + dev-ml/cudf:=[ocamlopt?] +" +DEPEND="${RDEPEND} + test? ( dev-ml/opam-client )" + +src_prepare() { + default + cat <<- EOF >> "${S}/dune" + (env + (dev + (flags (:standard -warn-error -3-9-33))) + (release + (flags (:standard -warn-error -3-9-33)))) + EOF +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/opam-state/Manifest b/dev-ml/opam-state/Manifest index 007ec086299c..db8ffd336a5f 100644 --- a/dev-ml/opam-state/Manifest +++ b/dev-ml/opam-state/Manifest @@ -4,8 +4,10 @@ DIST opam-2.0.9.tar.gz 644429 BLAKE2B d96ee79685a8ee8ff82c7570a747c80e38d86e5137 DIST opam-2.1.0-dose3-6.patch.xz 5896 BLAKE2B f605064ebae7d327895729962a345a3c679519895aa2568f0c2d199d4ba9d6ae948a4fc418cfd26cc65079eb6ef3545f24a35e08c969d215529664a80d0c9147 SHA512 e00da74d7baef62319e884e3a05112bcf86a02d887c274bd15fb0d15bb8198e9a37a421f388bec3fce198e7a1b4d37024b18609dc65978c6ee8a7889df9bd608 DIST opam-2.1.2.tar.gz 818848 BLAKE2B ffb50f3cf1421aa9bff6877d636a3d1d1cc2c2e3961ecd60fcae8a35b069c8d22e7a36bf17cb8166533621a3c85a82195fd3fa646b2fd8dcea9e626b61d5b86c SHA512 bea6f75728a6ef25bcae4f8903dde7a297df7186208dccacb3f58bd6a0caec551c11b79e8544f0983feac038971dbe49481fc405a5962973a5f56ec811abe396 DIST opam-2.1.3.tar.gz 832450 BLAKE2B c5e50c0a41b7197bc7645eaef0d8cba79c978b4432fc824aa6a4280df65ec7d59df52a22b76877da4949c8562a5fecb8da2a179ca67bd312bf9a514961bf4444 SHA512 040e4f58f93e962ff422617ce0d35ed45dd86921a9aac3505914c33dd942d0e5e5771e7e1774046504f9aa84f32bc4fbd6ac7720fbea862d48bf1ca29e02cefc +DIST opam-2.1.5.tar.gz 837005 BLAKE2B f2e58784959f0e47fbe5ae65112a030d8350b061d7b0d2676f40e22ec5bf62c136bc37fd3078403dab807705ce8a1c8b6bb0ecf00b68fdfbb5f3d5a9acb88c77 SHA512 4395defe7df1d03ca889718b8eafd8161ff009710475f62673f19f012e0bde8ad2a919bd9d02d7f96b4c5a9bbf38e0ba9a256531c24de15cafabd4ef11f7c8e8 EBUILD opam-state-2.0.10.ebuild 893 BLAKE2B a8c3a159b441a579c2f69eec37b00c280495c28763f435540b75bf99dda3084adbb2ca6f519f721aa459ad8353d99143c2599609337298b004b10622ea778c8a SHA512 c6182c6546dd1ab5361a75ec6cedaff9c8d6c743c5c2d120755840097f4742c58e7c5ed230976700f64f2ade80c080a031fe3bad541c32f75836649b869b68f7 EBUILD opam-state-2.0.9.ebuild 893 BLAKE2B 8e1760f7eea15b611247e19cb438fbc411333402ffb6c28d2be301b7e5aa2befb3b45853ea556c30554fa1da8f6657c489ed0d818abb03dd8d8715f637599090 SHA512 717ec35c51b7298f8a6520a68cd46e4c74da1d5a2743a904fba5778fa4e8e77f38aae86424a84bb9b5cd5e5d6f72c44430c561557829bcf4972179b486989363 EBUILD opam-state-2.1.2.ebuild 886 BLAKE2B edc9fdb776256415d9735e06296bf57bdebd3217ddfd8d229fbb9905dc4714371ecd220c879558e34ca73b6d20f78265d071f461825a0567e7a8e6ddd4b67a9e SHA512 795325ec954ec0e7227923e6839a7bc156a3b6380bb5e39d84956ddaa16e63952b025726e99e55bfe1d03166ef841b11e7fc135c92e2f11bdeb769549618f591 EBUILD opam-state-2.1.3.ebuild 890 BLAKE2B fb0ccf6c0e5d7917ec77ee0bbe4e7141e91efdec53fc02df0702c511d2a818ab2114499ab76736d8e17289fc2342ef1be5b96b059200d47932a91fba98e9c1e1 SHA512 0d8d1e923ca1bfc81e41f2c3b500ded46a5069474f2af25f5603404cf86a2c3ad33bb47677167d55c06df78988391e7394be272888f9d934a1a81cfd4193cbb5 +EBUILD opam-state-2.1.5.ebuild 822 BLAKE2B 86fc52848171269e6a9d8db298789d8fe176c537e83011f8a1e67e72c1c8f38884facb22569d03e912b7f926baad66550f593d54dbd83b8bdfa2a5451fddf6b9 SHA512 0f6e445bd3d0c02eb355cf97df02c64c60aa8aee358619fd674c2642c43162c7f60e875bf0a9083d2385cf594fcc0ab6fb8fe0704845c7728af0f7db692e4709 MISC metadata.xml 308 BLAKE2B 8063e47b40e4366ef330084a189eafbb580be1231caf276960a3c3a67a34f4cb60be369e2ae75b91b379feda07fc8d7b6d9ccc5fa14c296c9dc2e8bb92d10157 SHA512 0b05ce3d4265c65f2ba372a24a59bbb46b8daa80883501a61da35aa0a8a487cd5fe0cf24cd6c089139893eb1fa970c33ef207e51772583bb137ebd38ec58eca5 diff --git a/dev-ml/opam-state/opam-state-2.1.5.ebuild b/dev-ml/opam-state/opam-state-2.1.5.ebuild new file mode 100644 index 000000000000..044d439cdd5d --- /dev/null +++ b/dev-ml/opam-state/opam-state-2.1.5.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="opam state libraries" +HOMEPAGE="https://opam.ocaml.org/ https://github.com/ocaml/opam" +SRC_URI="https://github.com/ocaml/opam/archive/${PV/_/-}.tar.gz -> opam-${PV}.tar.gz" +S="${WORKDIR}/opam-${PV/_/-}" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" + +RDEPEND=" + dev-ml/re:=[ocamlopt?] + dev-ml/opam-file-format:=[ocamlopt?] + ~dev-ml/opam-repository-${PV}:=[ocamlopt?] +" +DEPEND="${RDEPEND}" + +src_prepare() { + default + cat <<- EOF >> "${S}/dune" + (env + (dev + (flags (:standard -warn-error -3-9-33))) + (release + (flags (:standard -warn-error -3-9-33)))) + EOF +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/opam/Manifest b/dev-ml/opam/Manifest index 987778f77af7..16bc4da96391 100644 --- a/dev-ml/opam/Manifest +++ b/dev-ml/opam/Manifest @@ -4,8 +4,10 @@ DIST opam-2.0.9.tar.gz 644429 BLAKE2B d96ee79685a8ee8ff82c7570a747c80e38d86e5137 DIST opam-2.1.0-dose3-6.patch.xz 5896 BLAKE2B f605064ebae7d327895729962a345a3c679519895aa2568f0c2d199d4ba9d6ae948a4fc418cfd26cc65079eb6ef3545f24a35e08c969d215529664a80d0c9147 SHA512 e00da74d7baef62319e884e3a05112bcf86a02d887c274bd15fb0d15bb8198e9a37a421f388bec3fce198e7a1b4d37024b18609dc65978c6ee8a7889df9bd608 DIST opam-2.1.2.tar.gz 818848 BLAKE2B ffb50f3cf1421aa9bff6877d636a3d1d1cc2c2e3961ecd60fcae8a35b069c8d22e7a36bf17cb8166533621a3c85a82195fd3fa646b2fd8dcea9e626b61d5b86c SHA512 bea6f75728a6ef25bcae4f8903dde7a297df7186208dccacb3f58bd6a0caec551c11b79e8544f0983feac038971dbe49481fc405a5962973a5f56ec811abe396 DIST opam-2.1.3.tar.gz 832450 BLAKE2B c5e50c0a41b7197bc7645eaef0d8cba79c978b4432fc824aa6a4280df65ec7d59df52a22b76877da4949c8562a5fecb8da2a179ca67bd312bf9a514961bf4444 SHA512 040e4f58f93e962ff422617ce0d35ed45dd86921a9aac3505914c33dd942d0e5e5771e7e1774046504f9aa84f32bc4fbd6ac7720fbea862d48bf1ca29e02cefc +DIST opam-2.1.5.tar.gz 837005 BLAKE2B f2e58784959f0e47fbe5ae65112a030d8350b061d7b0d2676f40e22ec5bf62c136bc37fd3078403dab807705ce8a1c8b6bb0ecf00b68fdfbb5f3d5a9acb88c77 SHA512 4395defe7df1d03ca889718b8eafd8161ff009710475f62673f19f012e0bde8ad2a919bd9d02d7f96b4c5a9bbf38e0ba9a256531c24de15cafabd4ef11f7c8e8 EBUILD opam-2.0.10-r1.ebuild 979 BLAKE2B c7928c781293cfd1c051ca66f654d205dbc0090f38a5bd63fff9f02938c4834f63be604b39bca312cd6d5ba74b6eb682e055602e353670ad04cfd5a780175d30 SHA512 dde36aa23121633c80f85de0628168a2e30dc461a03b526bfa86aa7d586582a565fa4dc244d39ee313b8514ce504f5ca8460e6a3280f988bc4ffb6f8637bb598 EBUILD opam-2.0.9.ebuild 979 BLAKE2B 2b1958809b66044de2df0ab0756e6ef99894a41a6f5228a7a176b38668b4fe0a039b25b3de9ddc9c9cce60b6f152cb5c90f340f2437d1a01b8e668a8c61fdbbf SHA512 77e418c673875c912f4551bf510f538079100f6840332e675847ec7cec2bac28667e1366ab3ac0a46a314376072fd3cec74e218ef2d626e0d2623acabd2c5026 EBUILD opam-2.1.2-r1.ebuild 1005 BLAKE2B a38a88b5c6d78f214e0abc150da2e7d8f122860cef46355c38379ce2a286cef44eae88b4f33beee0c4ff07e58f123b25c5031d27af0e05054c08087c0ed01bea SHA512 8e3dfc0c0869528d82e5477ce8b9af33c06c63266f96306fc4c04d6ca5e19e30fa19456e015e8c7cd926eb7baf314c6bf61596f0b850172191424f90cc71eb54 EBUILD opam-2.1.3.ebuild 1009 BLAKE2B 3228f8c555da2b103f18589d6491ae4e7eb50eccbb88b0bd4e2dad919132745a9fd0b018acc58db704b058e8cd6f63dc47f363ad1fcc7d0ef116cbfc10febf3f SHA512 0285c6dd9f256fe8f3b357f2ccefa62c93cdee91f2ace76a7ef6967399597383529c772cb76c5758ce1602176a2a386fa4c7726bf6aa55a37470771f89f5cc0e +EBUILD opam-2.1.5.ebuild 979 BLAKE2B 59fb705757fdec8c1a1f9b2f830458fa65455442a513b332368a0bbd59c2702f1836d3d1049f49ee08d2440073410804ae1916cac6cf232b5ac5a397dfa5ccc2 SHA512 60bf0753e9f95f2fa756607b9047706dad0cc789438f19cd7cced2ed462252e42f7ed12aa5d9186e2275fce9a8d0ecd60b33d77c428fd547c1dcce44cd5a5506 MISC metadata.xml 308 BLAKE2B 8063e47b40e4366ef330084a189eafbb580be1231caf276960a3c3a67a34f4cb60be369e2ae75b91b379feda07fc8d7b6d9ccc5fa14c296c9dc2e8bb92d10157 SHA512 0b05ce3d4265c65f2ba372a24a59bbb46b8daa80883501a61da35aa0a8a487cd5fe0cf24cd6c089139893eb1fa970c33ef207e51772583bb137ebd38ec58eca5 diff --git a/dev-ml/opam/opam-2.1.5.ebuild b/dev-ml/opam/opam-2.1.5.ebuild new file mode 100644 index 000000000000..58c912386ed2 --- /dev/null +++ b/dev-ml/opam/opam-2.1.5.ebuild @@ -0,0 +1,44 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A source-based package manager for OCaml" +HOMEPAGE="http://opam.ocaml.org/" +SRC_URI="https://github.com/ocaml/opam/archive/${PV/_/-}.tar.gz -> opam-${PV}.tar.gz" +S="${WORKDIR}/opam-${PV/_/-}" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" #see bugs 838658 + +RDEPEND=" + dev-ml/cmdliner:=[ocamlopt?] + dev-ml/cudf:=[ocamlopt?] + dev-ml/dose3:=[ocamlopt?] + dev-ml/extlib:=[ocamlopt?] + ~dev-ml/opam-client-${PV}:=[ocamlopt?] + dev-ml/opam-file-format:=[ocamlopt?] + dev-ml/re:=[ocamlopt?] + sys-apps/bubblewrap" +DEPEND="${RDEPEND}" + +src_prepare() { + default + + cat <<- EOF >> "${S}/dune" + (env + (dev + (flags (:standard -warn-error -3-9-33))) + (release + (flags (:standard -warn-error -3-9-33)))) + EOF +} + +src_compile() { + dune-compile ${PN} +} diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest index e9af2ee347eb..9c25541f94d7 100644 --- a/dev-ml/zarith/Manifest +++ b/dev-ml/zarith/Manifest @@ -1,3 +1,5 @@ DIST zarith-1.13.tar.gz 85994 BLAKE2B a5860319e17f4e660f248f3e724076b578d27dc3a06e8b54d68bcd6ed021a0354ad714dfcb06329bb9c4a3eadc3d08fd84fd76ef5d1a8902a06a7506d77addde SHA512 a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f +DIST zarith-1.14.tar.gz 91788 BLAKE2B e00b6ed0893a7a4b53c859edc02030336f1c35405202f87741d87288819bdb6562bb3728c6950074b625ad9e5a16cc4afd39c4e0e2486ba18f1a84e49339fdd3 SHA512 8a7f3e82dfa5699c8dda54dd5398c712f3ac4fe04f5208d43d8ba198fb8152de5f91cbb59c15c0a4ba010d4dfcc79f52e405bdd0abbf2798167e9e4216bcb3dd EBUILD zarith-1.13.ebuild 1314 BLAKE2B ebeb8243c2f9a480cc32738008755fb96e7539994d6c6044f20b0e31bed709468c3d8e33a50db981d51294264172fa3796ebb6a24cae2fb15826fdfd41db2ece SHA512 c932c98f3e82ac10856eefb6e26fabea1af59a3119171bef64218cc09e63e85988b555133e8d6fe0365090b3b517ebdd8c3fde487a9547b2f2f3f3c833f15ef3 +EBUILD zarith-1.14.ebuild 1316 BLAKE2B da4fccff17c5875a57ea5e98499f91ae27a87545e032430528808150fa17ae1c09d5b539949cef6ecf34e3646fd717c062c9403ff07ccc76f291139e850d5edf SHA512 70a15ea10afbd9544368459a797f248aa69c59470343f5977d035dd59f494248bd5cda44d240d478dc6354dc19435d9c5cb253064bbf7780a8e9fa2517a165f7 MISC metadata.xml 310 BLAKE2B 07bd7620cfa9ef58a67cb51d22888d48e848ac1736d8bf0e58684adecf62754472a24249a6e7e27701b5b0be5497e2efff7cedaa7be4c884547fa48efb29eb06 SHA512 59adcb11592c882af95fdce2232c40efc52d9d15bc803657133672237799f7986246775dc714692cb9cac3c93ab8069873d8e05deae1dd2b40904ea7fc4c63b7 diff --git a/dev-ml/zarith/zarith-1.14.ebuild b/dev-ml/zarith/zarith-1.14.ebuild new file mode 100644 index 000000000000..71653713a899 --- /dev/null +++ b/dev-ml/zarith/zarith-1.14.ebuild @@ -0,0 +1,59 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit findlib toolchain-funcs + +DESCRIPTION="Arithmetic and logic operations over arbitrary-precision integers" +HOMEPAGE="https://github.com/ocaml/Zarith" +SRC_URI="https://github.com/ocaml/Zarith/archive/release-${PV}.tar.gz -> ${P}.tar.gz" + +S="${WORKDIR}/Zarith-release-${PV}" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86" +IUSE="doc +ocamlopt" +RESTRICT="!ocamlopt? ( test )" + +RDEPEND=" + >=dev-lang/ocaml-4.05:=[ocamlopt=] + dev-libs/gmp:0= +" +DEPEND="${RDEPEND} dev-lang/perl" + +DOCS=( README.md Changes ) + +src_configure() { + tc-export CC AR + ./configure \ + -ocamllibdir /usr/$(get_libdir)/ocaml -gmp || die + sed -i \ + -e 's|$(INSTALLDIR)|$(DESTDIR)$(INSTALLDIR)|g' \ + project.mak || die +} + +src_compile() { + emake -j 1 HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) all + use doc && emake doc +} + +src_test() { + emake HASOCAMLOPT=yes HASDYNLINK=yes tests +} + +src_install() { + findlib_src_preinst + + emake \ + HASOCAMLOPT=$(usex ocamlopt yes no) \ + HASDYNLINK=$(usex ocamlopt yes no) \ + DESTDIR="${ED}" \ + install + + dosym zarith/libzarith.a /usr/$(get_libdir)/ocaml/libzarith.a + + use doc && HTML_DOCS=( html/* ) + einstalldocs +} |