From b7efdd771aad99c9a6509a5f85a80a1f7cfd55f3 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 30 Jun 2023 19:43:35 +0100 Subject: gentoo auto-resync : 30:06:2023 - 19:43:35 --- dev-ml/ppx_cold/Manifest | 2 ++ dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild | 23 +++++++++++++++++++++++ 2 files changed, 25 insertions(+) create mode 100644 dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild (limited to 'dev-ml/ppx_cold') diff --git a/dev-ml/ppx_cold/Manifest b/dev-ml/ppx_cold/Manifest index 1667ead0bd0e..bfdc59cc081c 100644 --- a/dev-ml/ppx_cold/Manifest +++ b/dev-ml/ppx_cold/Manifest @@ -1,5 +1,7 @@ DIST ppx_cold-0.14.0.tar.gz 3778 BLAKE2B 5ae223047858ff11f90067fcb2a6541c964cd929e45fe9d43256b75a81599d6aa0aaf37fe7274e98c64b6448846ab8c64b1c092171392f74a395ea08ea0a60d8 SHA512 3655602defe6b5cd9740eb4cfcf480eded6912674df28955502adcd0d8d6901551e137b0660a389f8be2c88b3aebc830f57089d2ac1a82f7b9efdbaea358fe07 DIST ppx_cold-0.15.0.tar.gz 3779 BLAKE2B 23987d38f61d3457c3c8a5c5105a2c7886fb88aa7df55e470b6a43ceae9f9e1ca0ec06111d045bc9a7dcf279b09fe738bb02e260f14b5bea42f32a05e8762584 SHA512 239b78e8c03d47973be4d72d4879a0290367f96033b9d3a5d723a1c35e02121af86d5e41fd08dcf4746a8c6d521c94cf41eff6b4a439a204e0a5a3a0c49d9bf1 +DIST ppx_cold-0.16.0.tar.gz 3814 BLAKE2B fc75c4a32e9d8c3175e6a05f1f03d9c475eed7949fca4ad71ac21a4da881840b1c74133417d3354ecb3cbd7fe6b5a57238ef6d2dc97816f2f6659ea7b08bc7f4 SHA512 816358747bf4e4d92b6d5fa7bc31691897f6fb88336000a5e40b86250911b2efa203f6465d77b24f0147312bfd779de49822c5ea7a2a87df49d754b8c6e30821 EBUILD ppx_cold-0.14.0.ebuild 609 BLAKE2B e33c2f192b2006bce6fb6b370e90f4e1fb37b2972605e814faf3de3adb3055f5bee33a02e74437caf7cb92b6a00140de5f5d6d7f2ef38e803996505ee7c2d21e SHA512 e84147c45f9434997bc7ef851ff3a465307065104da167bdf9e409370279a089d838f229bb8115e6c3181d49452ed28c9f675ab5edc61052e3d87d6549479d1b EBUILD ppx_cold-0.15.0.ebuild 553 BLAKE2B 214ad76f9285af1bcf1a611a34538d7a3aeb6cd65358d6d2ea60e8044eb09f877a284e74c48da117a05bb1e791e30429c84fccbcb56600c5b9f4855810e34ab0 SHA512 c93f63e8e81ea79e4ff5307e6a05f504c8c1bd097bcf66c7f26f9e922a6640317b9d91352fb891b6d09bc3ff9c4f97833384d7b5a34b9523e4ab2ac7b5992b11 +EBUILD ppx_cold-0.16.0.ebuild 581 BLAKE2B 6f52b5a98edeb1e703fbee4b9a61f92b79763b6eec885af096da2c752eb0ffbb1d74786295c8463cf2297699f5401d6696338cf336f5bedb8b270bcbb12edc24 SHA512 b1a6effdf4efb0b192aaf22c113598d5e726e7e5aeaebf3496f2897ae32cf5d6c4abaebf9f187b9ac91d7a1ed2af6eb2c88714cffb937d0d4e56dd2ce8db453d MISC metadata.xml 329 BLAKE2B acdcf89e7a6ee7bd0d242141565699b2689d893fe66dba0c06767d5ad1eae82226be4ee107f115d0e08d1ad682847bd4ac7a2d1e063022efc22bb856b0045c38 SHA512 557eee3f2001d2f8a0118ef4d920bf03e3157d96b1c3997104173ae49c432b16ff5aec6b3aaf5fcf067c090d3f5db76f342ab2369e1f14269ae3297ef037d38e diff --git a/dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild b/dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild new file mode 100644 index 000000000000..ef672cd3037f --- /dev/null +++ b/dev-ml/ppx_cold/ppx_cold-0.16.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Expands [@cold] into [@inline never][@specialise never][@local never]" +HOMEPAGE="https://github.com/janestreet/ppx_cold" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/base:${SLOT} + dev-ml/findlib:= + >=dev-ml/ppxlib-0.28.0:= +" +RDEPEND="${DEPEND}" -- cgit v1.2.3