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/
Date: Fri, 03 Mar 2017 11:28:59
Message-Id: 1488540523.0f5caf29fdd316fa5412678559f0635bc0c34d85.aballier@gentoo
1 commit: 0f5caf29fdd316fa5412678559f0635bc0c34d85
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Fri Mar 3 11:26:44 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Fri Mar 3 11:28:43 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f5caf29
7
8 dev-ml/ppx_tools: Add version for ocaml 4.05
9
10 Package-Manager: Portage-2.3.4, Repoman-2.3.2
11
12 dev-ml/ppx_tools/Manifest | 1 +
13 dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 29 ++++++++++++++++++++++++++++
14 2 files changed, 30 insertions(+)
15
16 diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
17 index 3fd85df5ca6..d36a23baee7 100644
18 --- a/dev-ml/ppx_tools/Manifest
19 +++ b/dev-ml/ppx_tools/Manifest
20 @@ -1 +1,2 @@
21 DIST ppx_tools-5.0.4.03.0.tar.gz 17209 SHA256 2cd990ef36145c35b0fd2cfaadc379cf032dd0987c07bea094d4437277d573e5 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 WHIRLPOOL a74a30397ec858d3be478c85d7e4b54f065e35d6a95b95cca0a49049eb167e23892088620d9cdb59d81b598be0ebe3a1be123928768e21186f710ad81a5b8118
22 +DIST ppx_tools-5.0.4.05.0.tar.gz 17893 SHA256 031e05e2f98fd77a412cff00f19262e186b0c8a1804fece06d2af05e37a563b7 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64 WHIRLPOOL a48ed77f05d7cc52fa40a4a017b689c34695bf267b74dd438a7da7d1c30a5709de6e01a1dffaa110086b5ed410689189fee45686502a6a0d70de71be9a8b1d86
23
24 diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
25 new file mode 100644
26 index 00000000000..cb286e67964
27 --- /dev/null
28 +++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
29 @@ -0,0 +1,29 @@
30 +# Copyright 1999-2017 Gentoo Foundation
31 +# Distributed under the terms of the GNU General Public License v2
32 +
33 +EAPI=5
34 +
35 +inherit findlib versionator eutils
36 +
37 +MY_PV=$(replace_version_separator 2 '+')
38 +DESCRIPTION="Tools for authors of ppx rewriters"
39 +HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
40 +SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
41 +
42 +LICENSE="MIT"
43 +SLOT="0/${PV}"
44 +KEYWORDS="~amd64"
45 +IUSE=""
46 +
47 +DEPEND=">=dev-lang/ocaml-4.05_beta:="
48 +RDEPEND="${DEPEND}"
49 +S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
50 +
51 +src_compile() {
52 + emake -j1
53 +}
54 +
55 +src_install() {
56 + findlib_src_install
57 + dodoc README.md
58 +}