1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
|
%global _empty_manifest_terminate_build 0
Name: python-mathlibtools
Version: 1.3.2
Release: 1
Summary: Lean prover mathlib supporting tools.
License: Apache Software License
URL: https://github.com/leanprover-community/mathlib-tools
Source0: https://mirrors.nju.edu.cn/pypi/web/packages/ae/6a/815d7f65dc853973b13be082fefe797074e633407ef1262a62bc0be84203/mathlibtools-1.3.2.tar.gz
BuildArch: noarch
Requires: python3-toml
Requires: python3-PyGithub
Requires: python3-certifi
Requires: python3-gitpython
Requires: python3-requests
Requires: python3-Click
Requires: python3-tqdm
Requires: python3-networkx
Requires: python3-pydot
Requires: python3-PyYAML
Requires: python3-atomicwrites
Requires: python3-dataclasses
%description
# mathlib-tools
This package contains `leanproject`, a supporting tool for [Lean mathlib](https://leanprover-community.github.io/).
## Installation
In principle, you should install those tools as part of the
[global Lean installation procedure](https://leanprover-community.github.io/get_started.html#regular-install) recommended by the Lean community.
Read what what remains of this section only if you want more details
about this specific part of the procedure (the tools described here won't give
you anything if Lean itself is not available).
### Released version
#### `pipx`
The tools in this repository use python3, at least python
3.6, which is the oldest version of python supported
by the python foundation. They can be installed using
[pip](https://pypi.org/project/mathlibtools/). The basic install command
for the latest released version is thus:
```bash
python3 -m pip install mathlibtools
```
The above command may complain about permissions. This can be solved
by running it as root, but this is not recommended in general. You can
run `python3 -m pip install --user mathlibtools` to install it in your
home directory (make sure that `$HOME/.local/bin/` is on your shell path
afterwards), but an even better way is to use
[pipx](https://pipxproject.github.io/pipx/):
```bash
python3 -m pip install --user pipx
python3 -m pipx ensurepath
source ~/.profile
pipx install mathlibtools
```
#### `macOS`
If you are on macOS, the recommended way to install is via homebrew,
which will handle the above Python installation for you:
```bash
brew install mathlibtools
```
#### `NixOS`
If you are using NixOS, you can also install mathlib tools using the
bundled `default.nix` file:
```
nix-env -if https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
```
### Development version
If you want to use the latest development version, you can clone this
repository, go to the repository folder, and run `pip install .`.
## Usage
See the [dedicated page](https://leanprover-community.github.io/leanproject.html) on the community website.
%package -n python3-mathlibtools
Summary: Lean prover mathlib supporting tools.
Provides: python-mathlibtools
BuildRequires: python3-devel
BuildRequires: python3-setuptools
BuildRequires: python3-pip
%description -n python3-mathlibtools
# mathlib-tools
This package contains `leanproject`, a supporting tool for [Lean mathlib](https://leanprover-community.github.io/).
## Installation
In principle, you should install those tools as part of the
[global Lean installation procedure](https://leanprover-community.github.io/get_started.html#regular-install) recommended by the Lean community.
Read what what remains of this section only if you want more details
about this specific part of the procedure (the tools described here won't give
you anything if Lean itself is not available).
### Released version
#### `pipx`
The tools in this repository use python3, at least python
3.6, which is the oldest version of python supported
by the python foundation. They can be installed using
[pip](https://pypi.org/project/mathlibtools/). The basic install command
for the latest released version is thus:
```bash
python3 -m pip install mathlibtools
```
The above command may complain about permissions. This can be solved
by running it as root, but this is not recommended in general. You can
run `python3 -m pip install --user mathlibtools` to install it in your
home directory (make sure that `$HOME/.local/bin/` is on your shell path
afterwards), but an even better way is to use
[pipx](https://pipxproject.github.io/pipx/):
```bash
python3 -m pip install --user pipx
python3 -m pipx ensurepath
source ~/.profile
pipx install mathlibtools
```
#### `macOS`
If you are on macOS, the recommended way to install is via homebrew,
which will handle the above Python installation for you:
```bash
brew install mathlibtools
```
#### `NixOS`
If you are using NixOS, you can also install mathlib tools using the
bundled `default.nix` file:
```
nix-env -if https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
```
### Development version
If you want to use the latest development version, you can clone this
repository, go to the repository folder, and run `pip install .`.
## Usage
See the [dedicated page](https://leanprover-community.github.io/leanproject.html) on the community website.
%package help
Summary: Development documents and examples for mathlibtools
Provides: python3-mathlibtools-doc
%description help
# mathlib-tools
This package contains `leanproject`, a supporting tool for [Lean mathlib](https://leanprover-community.github.io/).
## Installation
In principle, you should install those tools as part of the
[global Lean installation procedure](https://leanprover-community.github.io/get_started.html#regular-install) recommended by the Lean community.
Read what what remains of this section only if you want more details
about this specific part of the procedure (the tools described here won't give
you anything if Lean itself is not available).
### Released version
#### `pipx`
The tools in this repository use python3, at least python
3.6, which is the oldest version of python supported
by the python foundation. They can be installed using
[pip](https://pypi.org/project/mathlibtools/). The basic install command
for the latest released version is thus:
```bash
python3 -m pip install mathlibtools
```
The above command may complain about permissions. This can be solved
by running it as root, but this is not recommended in general. You can
run `python3 -m pip install --user mathlibtools` to install it in your
home directory (make sure that `$HOME/.local/bin/` is on your shell path
afterwards), but an even better way is to use
[pipx](https://pipxproject.github.io/pipx/):
```bash
python3 -m pip install --user pipx
python3 -m pipx ensurepath
source ~/.profile
pipx install mathlibtools
```
#### `macOS`
If you are on macOS, the recommended way to install is via homebrew,
which will handle the above Python installation for you:
```bash
brew install mathlibtools
```
#### `NixOS`
If you are using NixOS, you can also install mathlib tools using the
bundled `default.nix` file:
```
nix-env -if https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
```
### Development version
If you want to use the latest development version, you can clone this
repository, go to the repository folder, and run `pip install .`.
## Usage
See the [dedicated page](https://leanprover-community.github.io/leanproject.html) on the community website.
%prep
%autosetup -n mathlibtools-1.3.2
%build
%py3_build
%install
%py3_install
install -d -m755 %{buildroot}/%{_pkgdocdir}
if [ -d doc ]; then cp -arf doc %{buildroot}/%{_pkgdocdir}; fi
if [ -d docs ]; then cp -arf docs %{buildroot}/%{_pkgdocdir}; fi
if [ -d example ]; then cp -arf example %{buildroot}/%{_pkgdocdir}; fi
if [ -d examples ]; then cp -arf examples %{buildroot}/%{_pkgdocdir}; fi
pushd %{buildroot}
if [ -d usr/lib ]; then
find usr/lib -type f -printf "/%h/%f\n" >> filelist.lst
fi
if [ -d usr/lib64 ]; then
find usr/lib64 -type f -printf "/%h/%f\n" >> filelist.lst
fi
if [ -d usr/bin ]; then
find usr/bin -type f -printf "/%h/%f\n" >> filelist.lst
fi
if [ -d usr/sbin ]; then
find usr/sbin -type f -printf "/%h/%f\n" >> filelist.lst
fi
touch doclist.lst
if [ -d usr/share/man ]; then
find usr/share/man -type f -printf "/%h/%f.gz\n" >> doclist.lst
fi
popd
mv %{buildroot}/filelist.lst .
mv %{buildroot}/doclist.lst .
%files -n python3-mathlibtools -f filelist.lst
%dir %{python3_sitelib}/*
%files help -f doclist.lst
%{_docdir}/*
%changelog
* Fri May 05 2023 Python_Bot <Python_Bot@openeuler.org> - 1.3.2-1
- Package Spec generated
|
