diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/ppx_base | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/ppx_base')
| -rw-r--r-- | dev-ml/ppx_base/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/ppx_base/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/ppx_base/ppx_base-0.9.0.ebuild | 28 |
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-ml/ppx_base/Manifest b/dev-ml/ppx_base/Manifest new file mode 100644 index 000000000000..bb727e7cec12 --- /dev/null +++ b/dev-ml/ppx_base/Manifest @@ -0,0 +1,3 @@ +DIST ppx_base-0.9.0.tar.gz 5255 BLAKE2B ba5d1670ba0da8c13c30dab65885cb9d406d7259ca57841867f4b2c7720f8202fb34074b5bc8f03cb0858427c79e61d4a33098c846c61ebcc98d40799ced9274 SHA512 660f6b210eb6d7bd33c279ffa8bbf01c21b9db5d7827cf6fded8c52e8d4f2f5468a76c2eab86c2b868ac859bbc81db7189c71ccc1701bf57030f82d8eda4339e +EBUILD ppx_base-0.9.0.ebuild 635 BLAKE2B 7c0da2099b0fb19f7eed2f360b81a86a037792692993df5bdbc9a4cae1d3c6904d5e7f63d737315bbd30e24934a271890a1b4e8f3f61ae07dfa344affe8fcfb7 SHA512 a7643e1e9196b7a1022b88be184897eed4958c5b418d214ab8f4d72b24f12577426e750e9ad411265c09d263d2ca3a8bd23989cad92812abc57bc5165dc25261 +MISC metadata.xml 331 BLAKE2B 029e624c079e865462849ea5700728cd16396d0552f43065bdd1fd3b77c2dba8fabe3c74669538872df54a78935b408ab8ba356bcf6d53a45a7d78c7294fc125 SHA512 82e7894984449057906d667340e5aca625be82c641e2924072e48a2f7335a4c400317e9cbad5d2397f984a0a942819cb9bea42a5101c76c32e5ba8b9fbc93d49 diff --git a/dev-ml/ppx_base/metadata.xml b/dev-ml/ppx_base/metadata.xml new file mode 100644 index 000000000000..4b0a19890595 --- /dev/null +++ b/dev-ml/ppx_base/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_base</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_base/ppx_base-0.9.0.ebuild b/dev-ml/ppx_base/ppx_base-0.9.0.ebuild new file mode 100644 index 000000000000..fba5ad20e4ae --- /dev/null +++ b/dev-ml/ppx_base/ppx_base-0.9.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit opam + +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 ~ppc ~x86" +IUSE="" + +DEPEND=" + dev-ml/ppx_compare:= + dev-ml/ppx_driver:= + dev-ml/ppx_enumerate:= + dev-ml/ppx_hash:= + dev-ml/ppx_js_style:= + dev-ml/ppx_sexp_conv:= + dev-ml/ppx_type_conv:= + dev-ml/ocaml-migrate-parsetree:= + " +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/jbuilder" |