summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_cold
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-05-12 16:42:50 +0300
committerV3n3RiX <venerix@koprulu.sector>2022-05-12 16:42:50 +0300
commit752d6256e5204b958b0ef7905675a940b5e9172f (patch)
tree330d16e6362a49cbed8875a777fe641a43376cd3 /dev-ml/ppx_cold
parent0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff)
gentoo resync : 12.05.2022
Diffstat (limited to 'dev-ml/ppx_cold')
-rw-r--r--dev-ml/ppx_cold/Manifest4
-rw-r--r--dev-ml/ppx_cold/ppx_cold-0.14.0.ebuild2
-rw-r--r--dev-ml/ppx_cold/ppx_cold-0.15.0.ebuild22
3 files changed, 26 insertions, 2 deletions
diff --git a/dev-ml/ppx_cold/Manifest b/dev-ml/ppx_cold/Manifest
index 709368030c77..ca0ace2af172 100644
--- a/dev-ml/ppx_cold/Manifest
+++ b/dev-ml/ppx_cold/Manifest
@@ -1,3 +1,5 @@
DIST ppx_cold-0.14.0.tar.gz 3778 BLAKE2B 5ae223047858ff11f90067fcb2a6541c964cd929e45fe9d43256b75a81599d6aa0aaf37fe7274e98c64b6448846ab8c64b1c092171392f74a395ea08ea0a60d8 SHA512 3655602defe6b5cd9740eb4cfcf480eded6912674df28955502adcd0d8d6901551e137b0660a389f8be2c88b3aebc830f57089d2ac1a82f7b9efdbaea358fe07
-EBUILD ppx_cold-0.14.0.ebuild 602 BLAKE2B 6490af3174848934c6949284a839f2293bd238a01c98cbe033ec0163a74522373136673cfc03a9275d55dca9372418a24a4355bce16a21cd380edc9fc353c443 SHA512 51719bf5997c3cd689974b4ba29d788eabdc119dae2fc892439e7edb5e76d99005945b8545c100aadb54600523f873440c15834cad749d42a6bd40bd345e5433
+DIST ppx_cold-0.15.0.tar.gz 3779 BLAKE2B 23987d38f61d3457c3c8a5c5105a2c7886fb88aa7df55e470b6a43ceae9f9e1ca0ec06111d045bc9a7dcf279b09fe738bb02e260f14b5bea42f32a05e8762584 SHA512 239b78e8c03d47973be4d72d4879a0290367f96033b9d3a5d723a1c35e02121af86d5e41fd08dcf4746a8c6d521c94cf41eff6b4a439a204e0a5a3a0c49d9bf1
+EBUILD ppx_cold-0.14.0.ebuild 609 BLAKE2B e33c2f192b2006bce6fb6b370e90f4e1fb37b2972605e814faf3de3adb3055f5bee33a02e74437caf7cb92b6a00140de5f5d6d7f2ef38e803996505ee7c2d21e SHA512 e84147c45f9434997bc7ef851ff3a465307065104da167bdf9e409370279a089d838f229bb8115e6c3181d49452ed28c9f675ab5edc61052e3d87d6549479d1b
+EBUILD ppx_cold-0.15.0.ebuild 558 BLAKE2B 19b05cbe0e0a2bf770374312a181672147cd3638e1dde64250522a3018bde71ad0eb228442a08cbe15bde4e0439cd8229223629f1e4825fe13714d60675e8ba4 SHA512 bf93ce1d5265f69589ab50a096cb2e028a1685260051966c9e19500c5ba022349025999d52395d07523c18cfc219f915480f8aa26b427d9572f6d3f0204ab958
MISC metadata.xml 329 BLAKE2B acdcf89e7a6ee7bd0d242141565699b2689d893fe66dba0c06767d5ad1eae82226be4ee107f115d0e08d1ad682847bd4ac7a2d1e063022efc22bb856b0045c38 SHA512 557eee3f2001d2f8a0118ef4d920bf03e3157d96b1c3997104173ae49c432b16ff5aec6b3aaf5fcf067c090d3f5db76f342ab2369e1f14269ae3297ef037d38e
diff --git a/dev-ml/ppx_cold/ppx_cold-0.14.0.ebuild b/dev-ml/ppx_cold/ppx_cold-0.14.0.ebuild
index 37e55c1fa7ef..4f8729e7e40d 100644
--- a/dev-ml/ppx_cold/ppx_cold-0.14.0.ebuild
+++ b/dev-ml/ppx_cold/ppx_cold-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
diff --git a/dev-ml/ppx_cold/ppx_cold-0.15.0.ebuild b/dev-ml/ppx_cold/ppx_cold-0.15.0.ebuild
new file mode 100644
index 000000000000..c092c5dd29c9
--- /dev/null
+++ b/dev-ml/ppx_cold/ppx_cold-0.15.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 1999-2022 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-ml/base:${SLOT}
+ dev-ml/findlib:=
+ >=dev-ml/ppxlib-0.23.0:=
+"
+RDEPEND="${DEPEND}"