1 |
commit: b84e7cc0f017d4c72cef9ad9b5157dca7ee679da |
2 |
Author: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Feb 9 22:14:52 2020 +0000 |
4 |
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Feb 9 22:16:48 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b84e7cc0 |
7 |
|
8 |
dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7 |
9 |
|
10 |
Bug: https://bugs.gentoo.org/708696 |
11 |
Package-Manager: Portage-2.3.88, Repoman-2.3.20 |
12 |
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org> |
13 |
|
14 |
dev-ml/ppx_tools/Manifest | 1 + |
15 |
dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild | 29 ++++++++++++++++++++++++++++ |
16 |
2 files changed, 30 insertions(+) |
17 |
|
18 |
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest |
19 |
index 4c5a9570e8e..ee595bfd62d 100644 |
20 |
--- a/dev-ml/ppx_tools/Manifest |
21 |
+++ b/dev-ml/ppx_tools/Manifest |
22 |
@@ -1,2 +1,3 @@ |
23 |
DIST ppx_tools-5.0.4.03.0.tar.gz 17209 BLAKE2B bd51e5b2482a9eab09bf9a02ac0231fa7bbc721d54a932e6cfdc1d719c106eca0fe90563b636601110e796fab439f6c6d7fccd5d2920f5bcb3c115f622d90381 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 |
24 |
DIST ppx_tools-5.0.4.05.0.tar.gz 17893 BLAKE2B 0902f53ef19338396cf2a2319a4c2d4b7bbbfb66bbfd0fb2290c29ecebcda02ff90d2f0d0221b08d027c41c863c2bc0a02c50363d83474864c08e619641b7ad6 SHA512 33b4420500a2b5880e770f8fdf2b37ef08e52ff84f96f955c6321492de906568979feccb1b2b477b1117619ba28edd8d3e0f178c5684f0dc43c6ed56266c4d64 |
25 |
+DIST ppx_tools-5.3.4.08.0.tar.gz 18590 BLAKE2B fac872d113ab1bf9135357dea47d468924e16a1a038b64152d5ebb27daa69a8c2d906750146157954f4d95769535f4a93c1ecc9582ca0313d601a06606196c00 SHA512 817e2688d60f013fa42ffa263cfcc15cfae820240d2e54dfedf1f4a4191f9b9fc365a190cc7eeb9082ed72fbf3c94d6ba72c38c7db3e2bcac49a17ba590d71b5 |
26 |
|
27 |
diff --git a/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild |
28 |
new file mode 100644 |
29 |
index 00000000000..7e9d0206f34 |
30 |
--- /dev/null |
31 |
+++ b/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild |
32 |
@@ -0,0 +1,29 @@ |
33 |
+# Copyright 1999-2020 Gentoo Authors |
34 |
+# Distributed under the terms of the GNU General Public License v2 |
35 |
+ |
36 |
+EAPI=7 |
37 |
+ |
38 |
+inherit findlib eutils |
39 |
+ |
40 |
+MY_PV=$(ver_rs 2 '+') |
41 |
+DESCRIPTION="Tools for authors of ppx rewriters" |
42 |
+HOMEPAGE="https://github.com/alainfrisch/ppx_tools" |
43 |
+SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz" |
44 |
+ |
45 |
+LICENSE="MIT" |
46 |
+SLOT="0/${PV}" |
47 |
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86" |
48 |
+IUSE="+ocamlopt" |
49 |
+ |
50 |
+DEPEND="dev-lang/ocaml:=[ocamlopt?]" |
51 |
+RDEPEND="${DEPEND}" |
52 |
+S="${WORKDIR}/${PN}-$(ver_rs 2 '-')" |
53 |
+ |
54 |
+src_compile() { |
55 |
+ emake -j1 $(usex ocamlopt "" "ARCH=none") |
56 |
+} |
57 |
+ |
58 |
+src_install() { |
59 |
+ findlib_src_install |
60 |
+ dodoc README.md |
61 |
+} |