summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-06-13 06:55:37 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-06-13 07:03:06 +0200
commit42550e715699ab0e1e4c0160b1a3eed3bbb2a5fb (patch)
tree4bdf49d09bb7727b7ca25ae6d28aba442ae467de /dev-ml
parentdev-python/pdm-backend: Stabilize 2.3.0 x86, #934108 (diff)
downloadgentoo-42550e715699ab0e1e4c0160b1a3eed3bbb2a5fb.tar.gz
gentoo-42550e715699ab0e1e4c0160b1a3eed3bbb2a5fb.tar.bz2
gentoo-42550e715699ab0e1e4c0160b1a3eed3bbb2a5fb.zip
dev-ml/ppx_optcomp: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ppx_optcomp/Manifest1
-rw-r--r--dev-ml/ppx_optcomp/ppx_optcomp-0.17.0.ebuild24
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ppx_optcomp/Manifest b/dev-ml/ppx_optcomp/Manifest
index d5b4b8e71731..b3118ccd4a20 100644
--- a/dev-ml/ppx_optcomp/Manifest
+++ b/dev-ml/ppx_optcomp/Manifest
@@ -2,3 +2,4 @@ DIST ppx_optcomp-0.14.0.tar.gz 16583 BLAKE2B 9b139708e02501245d5440a862324fe0191
DIST ppx_optcomp-0.14.3.tar.gz 16749 BLAKE2B 3c6dd2b5ac0a10e3d95c6a734ee09b0bef8af6d949c9f31150f1f8ac14ec72bb06455c3bf0c025bc99b939fa86b0d730abd8aefcdbd3998bfc16eef7a6a766bd SHA512 73b53dece639aebe20a8c9eaec50f6f491ac8163d96ceab66169d99f9bb50ed9c40c38731cd6e8543dae97c3a45650733d622e5bd4a2db812000c4694c823157
DIST ppx_optcomp-0.15.0.tar.gz 16699 BLAKE2B b13f9aa50bd46a9ea552677b0c9bc611b6657e6ba7cff1e06d6489d2ffaa646bc3643eee08dbe07f52130ea27b3e607bbf620b0a94f8acdaf7bd045ab1a1c536 SHA512 302c2ab79c46a16b8a256167958ad9a87b34a2e7ddc70c7a5476cfb0feffc7de7bebc79c272526698e87804859555176facfb04bc72f3b4373c1cb138b1264c7
DIST ppx_optcomp-0.16.0.tar.gz 16789 BLAKE2B 102c9daa01a9fbda926d0ce11546bb7a5a9520f00a57e504e88da383ed793498f23bd6de672f55116d2844a9e474d9a0c3471e7438e91c7019d6384acb40252d SHA512 8a10136a16423723a8cd1414ebad2c2029e8d28c563ce884eaceb85a363df7f019a08cee6194f7dbbc0290666909dbd9557d2900a8ce055ac57069364c785806
+DIST ppx_optcomp-0.17.0.tar.gz 16754 BLAKE2B e4f483d0ebcc12f9d9232a482b2733a59c709e3a19a976c0a820b1d57d9b9c852198272bd808a8bcdc4b3e7d1ede9c6c61c5c49c0b838ae35e024150f5c2fbd7 SHA512 be874b4a1082c256c856838c55db19de1854b8a330a572c699ce537acef0ded8994ece2170b41c4e2760a4b0e19e4a9c6df46ea7e7e6c3e412f150deb198bbc4
diff --git a/dev-ml/ppx_optcomp/ppx_optcomp-0.17.0.ebuild b/dev-ml/ppx_optcomp/ppx_optcomp-0.17.0.ebuild
new file mode 100644
index 000000000000..14a86ce6c2ca
--- /dev/null
+++ b/dev-ml/ppx_optcomp/ppx_optcomp-0.17.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Optional compilation for OCaml"
+HOMEPAGE="https://github.com/janestreet/ppx_optcomp"
+SRC_URI="https://github.com/janestreet/ppx_optcomp/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+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?]
+ dev-ml/stdio:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"