summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_tools_versioned
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /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/Manifest3
-rw-r--r--dev-ml/ppx_tools_versioned/metadata.xml11
-rw-r--r--dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild30
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
+}