diff options
author | 2020-04-16 17:50:43 -0400 | |
---|---|---|
committer | 2020-04-16 17:50:43 -0400 | |
commit | 1ba6be5ff48e9fe268ec7fd5566dffa86ddeb0f2 (patch) | |
tree | 6d89032dc12ddda98dd5062d39c398212c92cc6e /dev-ml | |
parent | add ppx_optcomp with dune dep (diff) | |
download | superposition-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>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/ppx_driver/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/ppx_driver/metadata.xml | 8 | ||||
-rw-r--r-- | dev-ml/ppx_driver/ppx_driver-0.9.1-r1.ebuild | 25 |
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" |