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

Gentoo Archives: gentoo-commits

From: "Maciej Barć" <xgqt@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/lean/
Date: Tue, 22 Feb 2022 18:34:15
Message-Id: 1645554844.024840070aea8eb50149f8f9d97df53a3f1fb940.xgqt@gentoo
1 commit: 024840070aea8eb50149f8f9d97df53a3f1fb940
2 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
3 AuthorDate: Tue Feb 22 18:32:10 2022 +0000
4 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
5 CommitDate: Tue Feb 22 18:34:04 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=02484007
7
8 sci-mathematics/lean: remove USE=json and inherit of optfeature
9
10 Closes: https://bugs.gentoo.org/833900
11 Package-Manager: Portage-3.0.30, Repoman-3.0.3
12 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
13
14 sci-mathematics/lean/lean-3.38.0.ebuild | 6 +++---
15 sci-mathematics/lean/lean-3.39.1.ebuild | 6 +++---
16 sci-mathematics/lean/lean-3.40.0.ebuild | 6 +++---
17 sci-mathematics/lean/lean-3.9999.ebuild | 8 ++++----
18 sci-mathematics/lean/metadata.xml | 3 ---
19 5 files changed, 13 insertions(+), 16 deletions(-)
20
21 diff --git a/sci-mathematics/lean/lean-3.38.0.ebuild b/sci-mathematics/lean/lean-3.38.0.ebuild
22 index e47a48054580..5d8ee8eecd4b 100644
23 --- a/sci-mathematics/lean/lean-3.38.0.ebuild
24 +++ b/sci-mathematics/lean/lean-3.38.0.ebuild
25 @@ -6,7 +6,7 @@ EAPI=8
26 MAJOR=$(ver_cut 1)
27 CMAKE_IN_SOURCE_BUILD="ON"
28
29 -inherit cmake optfeature readme.gentoo-r1
30 +inherit cmake readme.gentoo-r1
31
32 DESCRIPTION="The Lean Theorem Prover"
33 HOMEPAGE="https://leanprover-community.github.io/"
34 @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src"
35
36 LICENSE="Apache-2.0"
37 SLOT="0/${MAJOR}"
38 -IUSE="debug +json +threads"
39 +IUSE="debug +threads"
40
41 RDEPEND="dev-libs/gmp:="
42 DEPEND="${RDEPEND}"
43 @@ -40,7 +40,7 @@ src_configure() {
44 local mycmakeargs=(
45 -DALPHA=ON
46 -DAUTO_THREAD_FINALIZATION=ON
47 - -DJSON=$(usex json)
48 + -DJSON=ON # bug 833900
49 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
50 -DMULTI_THREAD=$(usex threads)
51 -DUSE_GITHASH=OFF
52
53 diff --git a/sci-mathematics/lean/lean-3.39.1.ebuild b/sci-mathematics/lean/lean-3.39.1.ebuild
54 index e47a48054580..5d8ee8eecd4b 100644
55 --- a/sci-mathematics/lean/lean-3.39.1.ebuild
56 +++ b/sci-mathematics/lean/lean-3.39.1.ebuild
57 @@ -6,7 +6,7 @@ EAPI=8
58 MAJOR=$(ver_cut 1)
59 CMAKE_IN_SOURCE_BUILD="ON"
60
61 -inherit cmake optfeature readme.gentoo-r1
62 +inherit cmake readme.gentoo-r1
63
64 DESCRIPTION="The Lean Theorem Prover"
65 HOMEPAGE="https://leanprover-community.github.io/"
66 @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src"
67
68 LICENSE="Apache-2.0"
69 SLOT="0/${MAJOR}"
70 -IUSE="debug +json +threads"
71 +IUSE="debug +threads"
72
73 RDEPEND="dev-libs/gmp:="
74 DEPEND="${RDEPEND}"
75 @@ -40,7 +40,7 @@ src_configure() {
76 local mycmakeargs=(
77 -DALPHA=ON
78 -DAUTO_THREAD_FINALIZATION=ON
79 - -DJSON=$(usex json)
80 + -DJSON=ON # bug 833900
81 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
82 -DMULTI_THREAD=$(usex threads)
83 -DUSE_GITHASH=OFF
84
85 diff --git a/sci-mathematics/lean/lean-3.40.0.ebuild b/sci-mathematics/lean/lean-3.40.0.ebuild
86 index e47a48054580..5d8ee8eecd4b 100644
87 --- a/sci-mathematics/lean/lean-3.40.0.ebuild
88 +++ b/sci-mathematics/lean/lean-3.40.0.ebuild
89 @@ -6,7 +6,7 @@ EAPI=8
90 MAJOR=$(ver_cut 1)
91 CMAKE_IN_SOURCE_BUILD="ON"
92
93 -inherit cmake optfeature readme.gentoo-r1
94 +inherit cmake readme.gentoo-r1
95
96 DESCRIPTION="The Lean Theorem Prover"
97 HOMEPAGE="https://leanprover-community.github.io/"
98 @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src"
99
100 LICENSE="Apache-2.0"
101 SLOT="0/${MAJOR}"
102 -IUSE="debug +json +threads"
103 +IUSE="debug +threads"
104
105 RDEPEND="dev-libs/gmp:="
106 DEPEND="${RDEPEND}"
107 @@ -40,7 +40,7 @@ src_configure() {
108 local mycmakeargs=(
109 -DALPHA=ON
110 -DAUTO_THREAD_FINALIZATION=ON
111 - -DJSON=$(usex json)
112 + -DJSON=ON # bug 833900
113 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
114 -DMULTI_THREAD=$(usex threads)
115 -DUSE_GITHASH=OFF
116
117 diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild
118 index a15591b790f5..5d8ee8eecd4b 100644
119 --- a/sci-mathematics/lean/lean-3.9999.ebuild
120 +++ b/sci-mathematics/lean/lean-3.9999.ebuild
121 @@ -1,4 +1,4 @@
122 -# Copyright 1999-2021 Gentoo Authors
123 +# Copyright 1999-2022 Gentoo Authors
124 # Distributed under the terms of the GNU General Public License v2
125
126 EAPI=8
127 @@ -6,7 +6,7 @@ EAPI=8
128 MAJOR=$(ver_cut 1)
129 CMAKE_IN_SOURCE_BUILD="ON"
130
131 -inherit cmake optfeature readme.gentoo-r1
132 +inherit cmake readme.gentoo-r1
133
134 DESCRIPTION="The Lean Theorem Prover"
135 HOMEPAGE="https://leanprover-community.github.io/"
136 @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src"
137
138 LICENSE="Apache-2.0"
139 SLOT="0/${MAJOR}"
140 -IUSE="debug +json +threads"
141 +IUSE="debug +threads"
142
143 RDEPEND="dev-libs/gmp:="
144 DEPEND="${RDEPEND}"
145 @@ -40,7 +40,7 @@ src_configure() {
146 local mycmakeargs=(
147 -DALPHA=ON
148 -DAUTO_THREAD_FINALIZATION=ON
149 - -DJSON=$(usex json)
150 + -DJSON=ON # bug 833900
151 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}"
152 -DMULTI_THREAD=$(usex threads)
153 -DUSE_GITHASH=OFF
154
155 diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml
156 index f06c80c2d7be..ddb0be8a571c 100644
157 --- a/sci-mathematics/lean/metadata.xml
158 +++ b/sci-mathematics/lean/metadata.xml
159 @@ -14,7 +14,4 @@
160 <bugs-to>https://github.com/leanprover-community/lean/issues</bugs-to>
161 <remote-id type="github">leanprover-community/lean</remote-id>
162 </upstream>
163 - <use>
164 - <flag name="json"> Enable JSON support</flag>
165 - </use>
166 </pkgmetadata>
Report Message
Find on MARC Find on Google Groups