summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_ast
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/ppx_ast
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/ppx_ast')
-rw-r--r--dev-ml/ppx_ast/Manifest3
-rw-r--r--dev-ml/ppx_ast/metadata.xml11
-rw-r--r--dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild23
3 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/ppx_ast/Manifest b/dev-ml/ppx_ast/Manifest
new file mode 100644
index 000000000000..f73988e54749
--- /dev/null
+++ b/dev-ml/ppx_ast/Manifest
@@ -0,0 +1,3 @@
+DIST ppx_ast-0.9.1.tar.gz 86802 BLAKE2B 5974cbea0b2566e83d8fb4192aa7e7f802aa7b6fa02b8f638ea12ac5c617fdca1f4426e0ee3fc761c46fe0ddf2e26d4ed402eb8c21fd84ce513a60996047ca28 SHA512 4a5a9fb47282877763ecf9638e67bcd1b57110c1acfcf446703ed335b9fa5aaa1521c55a75fce6025f91e715f9c4522b695444dde4d3ffa7feed79560e399ad7
+EBUILD ppx_ast-0.9.1.ebuild 522 BLAKE2B 6740a54881d877ff4854786735a5bbce28641dfb7908e90b9859ab85ee9598f76b5b3b3bfd4920ab18c604e3419ffcbf939675028459ade87f97d078d8f3c2bb SHA512 e3fa3c5a3bdeeb30a16453d53c0c23faaa470680462e2b14c7613600352846c613b998f7486a2b8bd23cce243083dd362aeeee082fd5571c84eeeb1129595789
+MISC metadata.xml 330 BLAKE2B 45bd8a24597b6cb2c9e2c3afc981fb807ee8c74dfb21b95d176e782e1634b69eee9865dd326ae9f1b42c0423a95331dc479635e2e81dbe8f7f2d1089449b01bb SHA512 178a89117b6a953b7d730c223c63d241c7d7b83ef28f7ec53cd6bd77bbb22eea8417e1d5b0ece7cbcb716b7ca329dd160e9078368138579068eaf1702a018738
diff --git a/dev-ml/ppx_ast/metadata.xml b/dev-ml/ppx_ast/metadata.xml
new file mode 100644
index 000000000000..b51bd5cf917a
--- /dev/null
+++ b/dev-ml/ppx_ast/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/ppx_ast</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild b/dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild
new file mode 100644
index 000000000000..acc14d99d440
--- /dev/null
+++ b/dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit opam
+
+DESCRIPTION="AST used in Jane Street ppx rewriters"
+HOMEPAGE="https://github.com/janestreet/ppx_ast"
+SRC_URI="https://github.com/janestreet/ppx_ast/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE=""
+
+DEPEND="
+ dev-ml/ocaml-compiler-libs:=
+ dev-ml/ocaml-migrate-parsetree:=
+"
+RDEPEND="${DEPEND}"
+DEPEND="${RDEPEND}
+ dev-ml/jbuilder"