diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/ppx_tools_versioned |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/ppx_tools_versioned')
-rw-r--r-- | dev-ml/ppx_tools_versioned/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/ppx_tools_versioned/metadata.xml | 11 | ||||
-rw-r--r-- | dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild | 30 |
3 files changed, 44 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest new file mode 100644 index 000000000000..bccf6fe5ec99 --- /dev/null +++ b/dev-ml/ppx_tools_versioned/Manifest @@ -0,0 +1,3 @@ +DIST ppx_tools_versioned-5.0.1.tar.gz 43741 SHA256 3989a789be7b3255acc013efa9084596ff980d527bf2860c73d08ab4620b1b8e SHA512 4d47f82c5a05f880dbb3d10caac6de705b9609c488d62be84eb1ebe22fa8c4e3716fad7c546035e955bd0e304d7940f23df090470f86c8d862b549b9db387acb WHIRLPOOL 004f54fb967f337906df0fce5fbd20cea2a77fa9bac31d435623f393f16711a56a956523e790578a5b44f906ab1f4d204bc2373a7f4388e1e9dbe81e15a2843a +EBUILD ppx_tools_versioned-5.0.1.ebuild 617 SHA256 7791b13eceb35cf0801c4930a8e333b9ca634285f2565145dcf99193bce9bec0 SHA512 3b3f4533b733db9df97cdc4e8eadeebd5310d770824f2adf133d1c4306c32b856cb88534a4a6dc08cf6c5e41085a45d693fdf443e3790161087ec4b15f3b560d WHIRLPOOL b857fd1465f7f55c1a99fc5c75fb2a3e74aab57f5d54c209fe3fa7cf69bf20431ac245a47008dbc448a57beeefdfa1e0b0b27c026fd1dbbc179a1330a9606614 +MISC metadata.xml 339 SHA256 447dcd9bd5ff5c84efa8be2c49d8066aba2d33cc20f9d2118775af96f247684b SHA512 8ddeab35a9550e21e2a48ffd8b959d12f702386303d7adac11eacf3f2861f2c69fa392f610391161dd3bb6e6d1c167ce5a61068041f4b0593e9f1f36f843c84f WHIRLPOOL 6ad3c56bdd7765e6b343dbdf09f10fc8282ed1699140d82d8a53f6e7de779e09140506d5674b62f720a447e805a9144c9fe2746d103ba04ed308020e60caaa2a diff --git a/dev-ml/ppx_tools_versioned/metadata.xml b/dev-ml/ppx_tools_versioned/metadata.xml new file mode 100644 index 000000000000..efb21d181ae1 --- /dev/null +++ b/dev-ml/ppx_tools_versioned/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">let-def/ppx_tools_versioned</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild new file mode 100644 index 000000000000..ec7f405d4dfe --- /dev/null +++ b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit findlib + +MY_PV=${PV/_/} +MY_P=${PN}-${MY_PV} + +DESCRIPTION="Tools for authors of ppx rewriters" +HOMEPAGE="https://github.com/let-def/ppx_tools_versioned" +SRC_URI="https://github.com/let-def/ppx_tools_versioned/archive/${MY_PV}.tar.gz -> ${MY_P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86" +IUSE="" + +DEPEND=" + dev-lang/ocaml:= + dev-ml/ocaml-migrate-parsetree:= +" +RDEPEND="${DEPEND}" +S="${WORKDIR}/${MY_P}" + +src_install() { + findlib_src_install + dodoc README.md +} |