summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-06-13 19:08:24 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-06-13 19:19:55 +0200
commit9c18641b2867390d0c574a42766598567fbbce7d (patch)
tree5b610afcd3d8900029c60419c99917a49d0ac11a /dev-ml
parentdev-python/cloudpickle: Link to py3.13 failure report (diff)
downloadgentoo-9c18641b2867390d0c574a42766598567fbbce7d.tar.gz
gentoo-9c18641b2867390d0c574a42766598567fbbce7d.tar.bz2
gentoo-9c18641b2867390d0c574a42766598567fbbce7d.zip
dev-ml/ppx_stable: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ppx_stable/Manifest1
-rw-r--r--dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild23
2 files changed, 24 insertions, 0 deletions
diff --git a/dev-ml/ppx_stable/Manifest b/dev-ml/ppx_stable/Manifest
index e5974b784c2e..a7cd8a92d25b 100644
--- a/dev-ml/ppx_stable/Manifest
+++ b/dev-ml/ppx_stable/Manifest
@@ -1,3 +1,4 @@
DIST ppx_stable-0.14.1.tar.gz 12031 BLAKE2B 837a53206d3a8d651d53f665daebbcfde3a1b5d55f1ed13d3ac8feecbd9ba0fb24ad7bb1cf24a0bfa00a41a46c3ef0f84385bc8792685f42ef18facf88ce348f SHA512 1c99a61537a2ce7d40208c64efbf71c54726b228d3746f2afaf9e813b3fed9c8016bb2eb859be24993c7c922a34f574e1028db8e7ee922d4772336dc0496df74
DIST ppx_stable-0.15.0.tar.gz 18143 BLAKE2B cfd317f98c7683bd2faf29eb386939f07b30798f16e43abdfe9361f9f3d373d4b64ed13aa87f300e5f14052ad1bc636d402af84c9f15d9e26d7b2dc976c812af SHA512 1be50f061d55ea0fcb8bd846955da3ceb07b97986d74a06b41c0f6b5c0dfb3a55f9e39e47f64ae227ecce89dd31dc3b03082031748982419d4ce9a14b5cdb436
DIST ppx_stable-0.16.0.tar.gz 18298 BLAKE2B 3308ecc99f3c5a6c9b5a270f04effc62dfdb52116b91255eb0383e3244a2710124a211a81d52954ee5ac94251f84847d12787dd79b7c3d96a68d1bd4abf52458 SHA512 bbc40494718d99228e194f766be75c67a657cb50fe6090d05ba30606be40406c93323b64ae3d2400ab6a1563c3e9fa04c2ba82da7db47b7c1cfec103f75d19cb
+DIST ppx_stable-0.17.0.tar.gz 24850 BLAKE2B 7197c96be025f61cfec88b9157f03dc76b38099d18b81f884352ca5f4cbc8cac2bf42d3a37dcda974dbfc73aacbc83a68eb158c5d7dea6a637e603057d2dc728 SHA512 1e13b874e803f16e175ebd61928d1486586974067f54f40de196bc300df347a5ac83841c214c024d98196e0d5a1e443a9d9c52f14fc04571826099b292ba6113
diff --git a/dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild b/dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild
new file mode 100644
index 000000000000..a72924e401fc
--- /dev/null
+++ b/dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Stable types conversions generator"
+HOMEPAGE="https://github.com/janestreet/ppx_stable"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-5
+ dev-ml/base:${SLOT}[ocamlopt?]
+ >=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"