summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2020-10-13 17:25:55 +1100
committerMark Wright <gienah@gentoo.org>2020-10-13 23:53:35 +1100
commit6069461fd444a76709a7fd3dd12cd77b331b9763 (patch)
treeb7cd90e7f0a5f811f8772070dea84769c9492ab1 /dev-ml/ppx_enumerate/ppx_enumerate-0.14.0.ebuild
parentdev-ml/ppx_driver: Bump to 0.11.0 (diff)
downloadgentoo-6069461fd444a76709a7fd3dd12cd77b331b9763.tar.gz
gentoo-6069461fd444a76709a7fd3dd12cd77b331b9763.tar.bz2
gentoo-6069461fd444a76709a7fd3dd12cd77b331b9763.zip
dev-ml/ppx_enumerate: Bump to 0.14.0
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_enumerate/ppx_enumerate-0.14.0.ebuild')
-rw-r--r--dev-ml/ppx_enumerate/ppx_enumerate-0.14.0.ebuild23
1 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/ppx_enumerate/ppx_enumerate-0.14.0.ebuild b/dev-ml/ppx_enumerate/ppx_enumerate-0.14.0.ebuild
new file mode 100644
index 000000000000..047e4589d631
--- /dev/null
+++ b/dev-ml/ppx_enumerate/ppx_enumerate-0.14.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Generate a list containing all values of a finite type"
+HOMEPAGE="https://github.com/janestreet/ppx_enumerate"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-ml/base:=
+ dev-ml/ppxlib:=
+ dev-ml/ocaml-migrate-parsetree:=
+ dev-ml/result:=
+"
+RDEPEND="${DEPEND}"