diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-mathlibtools.spec | 291 | ||||
| -rw-r--r-- | sources | 1 |
3 files changed, 293 insertions, 0 deletions
@@ -0,0 +1 @@ +/mathlibtools-1.3.2.tar.gz diff --git a/python-mathlibtools.spec b/python-mathlibtools.spec new file mode 100644 index 0000000..4d7e604 --- /dev/null +++ b/python-mathlibtools.spec @@ -0,0 +1,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 @@ -0,0 +1 @@ +25faa087393f612732a11c3443fc98f1 mathlibtools-1.3.2.tar.gz |