Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools_versioned/
Date: Sat, 01 Apr 2017 12:25:11
Message-Id: 1491049481.4234fb251a2012e1b07b518e847fcbfc4deab2ed.aballier@gentoo
1 commit: 4234fb251a2012e1b07b518e847fcbfc4deab2ed
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Sat Apr 1 11:00:08 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Sat Apr 1 12:24:41 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4234fb25
7
8 dev-ml/ppx_tools_versioned: Initial import. Ebuild by me.
9
10 Package-Manager: Portage-2.3.5, Repoman-2.3.2
11
12 dev-ml/ppx_tools_versioned/Manifest | 1 +
13 dev-ml/ppx_tools_versioned/metadata.xml | 8 ++++++
14 .../ppx_tools_versioned-5.0_beta1.ebuild | 30 ++++++++++++++++++++++
15 3 files changed, 39 insertions(+)
16
17 diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest
18 new file mode 100644
19 index 00000000000..81406d862c2
20 --- /dev/null
21 +++ b/dev-ml/ppx_tools_versioned/Manifest
22 @@ -0,0 +1 @@
23 +DIST ppx_tools_versioned-5.0beta1.tar.gz 43709 SHA256 c558f9f946c9237511ed7b755868acfb6eb5ee6196da0e1c8361c2adb8d8bc9f SHA512 e536a41126d28addf54752ccb851a5dfa2e8ecf16770a1ae891820bb0a8606eb72660f56349fec9f41d208103096e4e5c3d9834edf255ba2349b09aaaf9aacf2 WHIRLPOOL fbf74737a18ac6d0eecadc38849d902dada5121fe55ee1a55fbc435f1c6f69b3c1f2b87b729623ef971a960979dca367f295cb10d19c9125efb758b8055fae7b
24
25 diff --git a/dev-ml/ppx_tools_versioned/metadata.xml b/dev-ml/ppx_tools_versioned/metadata.xml
26 new file mode 100644
27 index 00000000000..ffac4d7ebc0
28 --- /dev/null
29 +++ b/dev-ml/ppx_tools_versioned/metadata.xml
30 @@ -0,0 +1,8 @@
31 +<?xml version="1.0" encoding="UTF-8"?>
32 +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
33 +<pkgmetadata>
34 +<maintainer type="project">
35 + <email>ml@g.o</email>
36 + <name>Gentoo ML Project</name>
37 +</maintainer>
38 +</pkgmetadata>
39
40 diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0_beta1.ebuild b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0_beta1.ebuild
41 new file mode 100644
42 index 00000000000..9bc165ce4a0
43 --- /dev/null
44 +++ b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0_beta1.ebuild
45 @@ -0,0 +1,30 @@
46 +# Copyright 1999-2017 Gentoo Foundation
47 +# Distributed under the terms of the GNU General Public License v2
48 +
49 +EAPI=6
50 +
51 +inherit findlib
52 +
53 +MY_PV=${PV/_/}
54 +MY_P=${PN}-${MY_PV}
55 +
56 +DESCRIPTION="Tools for authors of ppx rewriters"
57 +HOMEPAGE="https://github.com/let-def/ppx_tools_versioned"
58 +SRC_URI="https://github.com/let-def/ppx_tools_versioned/archive/${MY_PV}.tar.gz -> ${MY_P}.tar.gz"
59 +
60 +LICENSE="MIT"
61 +SLOT="0/${PV}"
62 +KEYWORDS="~amd64"
63 +IUSE=""
64 +
65 +DEPEND="
66 + dev-lang/ocaml:=
67 + dev-ml/ocaml-migrate-parsetree:=
68 +"
69 +RDEPEND="${DEPEND}"
70 +S="${WORKDIR}/${MY_P}"
71 +
72 +src_install() {
73 + findlib_src_install
74 + dodoc README.md
75 +}