summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-04-25 19:11:22 +0200
committerAlfredo Tupone <tupone@gentoo.org>2022-04-25 19:11:22 +0200
commit2ed0517246e293c3f87242c459af307c36620b1b (patch)
tree77b0735db5ac36aa62c08d0625250bba0c9eb412 /dev-ml
parentpackage.mask: add ppx_optional to janestreet mask (diff)
downloadgentoo-2ed0517246e293c3f87242c459af307c36620b1b.tar.gz
gentoo-2ed0517246e293c3f87242c459af307c36620b1b.tar.bz2
gentoo-2ed0517246e293c3f87242c459af307c36620b1b.zip
dev-ml/ppx_optional: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ppx_optional/Manifest1
-rw-r--r--dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild22
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 570af5344c3b..4008ef2eeb4c 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1 +1,2 @@
DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
+DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
new file mode 100644
index 000000000000..92e8050422a0
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-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="Pattern matching on flat options"
+HOMEPAGE="https://github.com/janestreet/ppx_optional"
+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/ppxlib-0.23.0:=
+ dev-ml/result:=
+"
+RDEPEND="${DEPEND}"