Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

Gentoo Archives: gentoo-commits

From: Aaron Bauman <bman@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/
Date: Wed, 02 Dec 2020 17:46:08
Message-Id: 1606931156.a665381ca5fde3d2c4b22a6b9c6f5ecb31264c3b.bman@gentoo
1 commit: a665381ca5fde3d2c4b22a6b9c6f5ecb31264c3b
2 Author: Aaron Bauman <bman <AT> gentoo <DOT> org>
3 AuthorDate: Wed Dec 2 17:42:27 2020 +0000
4 Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
5 CommitDate: Wed Dec 2 17:45:56 2020 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a665381c
7
8 dev-ml/ppx_tools: drop old
9
10 Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>
11
12 dev-ml/ppx_tools/Manifest | 3 ---
13 dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild | 33 ----------------------------
14 dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 29 ------------------------
15 dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild | 29 ------------------------
16 4 files changed, 94 deletions(-)
17
18 diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
19 index 6db93e61919..53e54129a94 100644
20 --- a/dev-ml/ppx_tools/Manifest
21 +++ b/dev-ml/ppx_tools/Manifest
22 @@ -1,4 +1 @@
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 DIST ppx_tools-6.2.tar.gz 46150 BLAKE2B f8af2a1eee81d5a1e73ac606ab79d285c8c226533bcf715ed22386aecfaf51260fb9a5075d270675f1b601cb174b68d8c85556f418031a7b6bda06c4376fe443 SHA512 fc3943c69901ef46843355c3482d5a1481d05ee94fb0a344ec04101059a02cbaa76fed5742cfae82730edf378f2e140d859a5cf590653f85359255d451f07dc8
27
28 diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
29 deleted file mode 100644
30 index d0acc2b9fac..00000000000
31 --- a/dev-ml/ppx_tools/ppx_tools-5.0.4.03.0.ebuild
32 +++ /dev/null
33 @@ -1,33 +0,0 @@
34 -# Copyright 1999-2020 Gentoo Authors
35 -# Distributed under the terms of the GNU General Public License v2
36 -
37 -EAPI=5
38 -
39 -inherit findlib versionator eutils
40 -
41 -MY_PV=$(replace_version_separator 2 '+')
42 -DESCRIPTION="Tools for authors of ppx rewriters"
43 -HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
44 -SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
45 -
46 -LICENSE="MIT"
47 -SLOT="0/${PV}"
48 -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
49 -IUSE="+ocamlopt"
50 -
51 -DEPEND="<dev-lang/ocaml-4.09:=[ocamlopt?]"
52 -RDEPEND="${DEPEND}"
53 -S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
54 -
55 -src_prepare() {
56 - has_version '>=dev-lang/ocaml-4.04_beta' && epatch "${FILESDIR}/ocaml404.patch"
57 -}
58 -
59 -src_compile() {
60 - emake -j1 $(usex ocamlopt "" "ARCH=none")
61 -}
62 -
63 -src_install() {
64 - findlib_src_install
65 - dodoc README.md
66 -}
67
68 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
69 deleted file mode 100644
70 index c2a93387105..00000000000
71 --- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild
72 +++ /dev/null
73 @@ -1,29 +0,0 @@
74 -# Copyright 1999-2020 Gentoo Authors
75 -# Distributed under the terms of the GNU General Public License v2
76 -
77 -EAPI=5
78 -
79 -inherit findlib versionator eutils
80 -
81 -MY_PV=$(replace_version_separator 2 '+')
82 -DESCRIPTION="Tools for authors of ppx rewriters"
83 -HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
84 -SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
85 -
86 -LICENSE="MIT"
87 -SLOT="0/${PV}"
88 -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
89 -IUSE="+ocamlopt"
90 -
91 -DEPEND="=dev-lang/ocaml-4.05*:=[ocamlopt?]"
92 -RDEPEND="${DEPEND}"
93 -S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
94 -
95 -src_compile() {
96 - emake -j1 $(usex ocamlopt "" "ARCH=none")
97 -}
98 -
99 -src_install() {
100 - findlib_src_install
101 - dodoc README.md
102 -}
103
104 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
105 deleted file mode 100644
106 index 7e9d0206f34..00000000000
107 --- a/dev-ml/ppx_tools/ppx_tools-5.3.4.08.0.ebuild
108 +++ /dev/null
109 @@ -1,29 +0,0 @@
110 -# Copyright 1999-2020 Gentoo Authors
111 -# Distributed under the terms of the GNU General Public License v2
112 -
113 -EAPI=7
114 -
115 -inherit findlib eutils
116 -
117 -MY_PV=$(ver_rs 2 '+')
118 -DESCRIPTION="Tools for authors of ppx rewriters"
119 -HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
120 -SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
121 -
122 -LICENSE="MIT"
123 -SLOT="0/${PV}"
124 -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
125 -IUSE="+ocamlopt"
126 -
127 -DEPEND="dev-lang/ocaml:=[ocamlopt?]"
128 -RDEPEND="${DEPEND}"
129 -S="${WORKDIR}/${PN}-$(ver_rs 2 '-')"
130 -
131 -src_compile() {
132 - emake -j1 $(usex ocamlopt "" "ARCH=none")
133 -}
134 -
135 -src_install() {
136 - findlib_src_install
137 - dodoc README.md
138 -}
Report Message
Find on MARC Find on Google Groups