summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilip Miess <Philip_Miess@yahoo.com>2020-04-16 17:50:43 -0400
committerPhilip Miess <Philip_Miess@yahoo.com>2020-04-16 17:50:43 -0400
commit1ba6be5ff48e9fe268ec7fd5566dffa86ddeb0f2 (patch)
tree6d89032dc12ddda98dd5062d39c398212c92cc6e
parentadd ppx_optcomp with dune dep (diff)
downloadsuperposition-1ba6be5ff48e9fe268ec7fd5566dffa86ddeb0f2.tar.gz
superposition-1ba6be5ff48e9fe268ec7fd5566dffa86ddeb0f2.tar.bz2
superposition-1ba6be5ff48e9fe268ec7fd5566dffa86ddeb0f2.zip
add ppx_driver with dune dep
Signed-off-by: Philip Miess <Philip_Miess@yahoo.com>
-rw-r--r--dev-ml/ppx_driver/Manifest3
-rw-r--r--dev-ml/ppx_driver/metadata.xml8
-rw-r--r--dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild25
3 files changed, 36 insertions, 0 deletions
diff --git a/dev-ml/ppx_driver/Manifest b/dev-ml/ppx_driver/Manifest
new file mode 100644
index 0000000..8c166e1
--- /dev/null
+++ b/dev-ml/ppx_driver/Manifest
@@ -0,0 +1,3 @@
+DIST ppx_driver-0.9.1.tar.gz 28637 BLAKE2B d787ac91713bd750d2d2bde5830df3abb1a07be6672000d7a6de6c125a7627e7a5b94aa9f8f87e2c6c57a7a92073c44e18c7285575aad02f5db9c7b4419647d8 SHA512 1e3647e34fb9e6d44b783fae1fce21413e5591f8934c3d2ddac3d1b37019b0d95117c8d64abf14cbfe4f67147612371ec1eb76b477763b062206ffc9b46688d7
+EBUILD ppx_driver-0.9.1-r1.ebuild 581 BLAKE2B a4f6a5b043e5f0176beb36883cdbb0a3da16e26c3e58836a7f916273fe8361b8e0ed4209462ee1b8dfb4df78bcbb4878570398d11de0cd2d4e69d8e3e37ff5d2 SHA512 c5f8f79a59734b241416b9cb880dbd27799809e23189c34f600bdefa7db92a40f7a76700e6c9c1905d726e77fcbed8b909083ed2c309d3f47706741c7ac36bb1
+MISC metadata.xml 253 BLAKE2B 5181111ba67681e3faf163903ba46c833f47b1ffc8baa2b6a5a13926508c46fd47553835b82f803d0a5a1f6220daec42a1bb7d9c4f00b6681b3a2d21ff1cbecb SHA512 3140a003b9eda9761883e478972d61fe343e5a396b410ac8bfa37d19c25ab4dadc1d911a43076d3591d9416c80722e256b10893e20e0996d77e020e4f5b70305
diff --git a/dev-ml/ppx_driver/metadata.xml b/dev-ml/ppx_driver/metadata.xml
new file mode 100644
index 0000000..305fe73
--- /dev/null
+++ b/dev-ml/ppx_driver/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <!-- maintainer-needed -->
+ <upstream>
+ <remote-id type="github">janestreet/ppx_driver</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild b/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild
new file mode 100644
index 0000000..925ac13
--- /dev/null
+++ b/dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild
@@ -0,0 +1,25 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit opam
+
+DESCRIPTION="Feature-full driver for OCaml AST transformers"
+HOMEPAGE="https://github.com/janestreet/ppx_driver"
+SRC_URI="https://github.com/janestreet/ppx_driver/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+DEPEND="
+ dev-ml/ppx_core:=
+ dev-ml/stdio:=
+ dev-ml/ppx_optcomp:=
+ dev-ml/ocaml-migrate-parsetree:=
+ dev-ml/ocamlbuild:="
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND}
+ ~dev-ml/dune-1.11.4"