summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2020-10-13 17:15:22 +1100
committerMark Wright <gienah@gentoo.org>2020-10-13 23:53:32 +1100
commitfe2e4b8f7f139e9f62fe666df012bdf5fa1e213d (patch)
treec9a043d4830d88a49e67e76b336bcf77ae6ef07f /dev-ml/ppx_base
parentdev-ml/ppx_assert: Bump to 0.14.0 (diff)
downloadgentoo-fe2e4b8f7f139e9f62fe666df012bdf5fa1e213d.tar.gz
gentoo-fe2e4b8f7f139e9f62fe666df012bdf5fa1e213d.tar.bz2
gentoo-fe2e4b8f7f139e9f62fe666df012bdf5fa1e213d.zip
dev-ml/ppx_base: 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_base')
-rw-r--r--dev-ml/ppx_base/Manifest1
-rw-r--r--dev-ml/ppx_base/metadata.xml5
-rw-r--r--dev-ml/ppx_base/ppx_base-0.14.0.ebuild27
3 files changed, 32 insertions, 1 deletions
diff --git a/dev-ml/ppx_base/Manifest b/dev-ml/ppx_base/Manifest
index 94668780256a..de910581bf9c 100644
--- a/dev-ml/ppx_base/Manifest
+++ b/dev-ml/ppx_base/Manifest
@@ -1 +1,2 @@
+DIST ppx_base-0.14.0.tar.gz 2953 BLAKE2B d62187d4b359dab01f88054ffb53a434402af022849a633749f3d60b625967a30b6c2ef58b838ef2ee6261d675da60f03d062ae1dc8391d5a4f0bb9cb3d719b0 SHA512 d41f36e3ddec7bdffaa93d8ec4110a197ef4d4af4f9173e060b0f1c5d9c95a33ee13379e41dc027f1103faea3b8ec4e314387b0844a7fcb78d0770ffa44c99e8
DIST ppx_base-0.9.0.tar.gz 5255 BLAKE2B ba5d1670ba0da8c13c30dab65885cb9d406d7259ca57841867f4b2c7720f8202fb34074b5bc8f03cb0858427c79e61d4a33098c846c61ebcc98d40799ced9274 SHA512 660f6b210eb6d7bd33c279ffa8bbf01c21b9db5d7827cf6fded8c52e8d4f2f5468a76c2eab86c2b868ac859bbc81db7189c71ccc1701bf57030f82d8eda4339e
diff --git a/dev-ml/ppx_base/metadata.xml b/dev-ml/ppx_base/metadata.xml
index 7f767d650dc4..9949f15ae8cc 100644
--- a/dev-ml/ppx_base/metadata.xml
+++ b/dev-ml/ppx_base/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
+ </maintainer>
<upstream>
<remote-id type="github">janestreet/ppx_base</remote-id>
</upstream>
diff --git a/dev-ml/ppx_base/ppx_base-0.14.0.ebuild b/dev-ml/ppx_base/ppx_base-0.14.0.ebuild
new file mode 100644
index 000000000000..f5147aae0610
--- /dev/null
+++ b/dev-ml/ppx_base/ppx_base-0.14.0.ebuild
@@ -0,0 +1,27 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Base set of ppx rewriters"
+HOMEPAGE="https://github.com/janestreet/ppx_base"
+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/ppx_compare:=
+ dev-ml/ppx_enumerate:=
+ dev-ml/ppx_hash:=
+ dev-ml/ppx_js_style:=
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppx_cold:=
+ dev-ml/ocaml-migrate-parsetree:=
+ dev-ml/ppxlib:=
+"
+RDEPEND="${DEPEND}"