%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 ![Test on Linux](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Linux/badge.svg) ![Test on MacOS](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20MacOS/badge.svg) ![Test on Windows](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Windows/badge.svg) 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 ![Test on Linux](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Linux/badge.svg) ![Test on MacOS](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20MacOS/badge.svg) ![Test on Windows](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Windows/badge.svg) 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 ![Test on Linux](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Linux/badge.svg) ![Test on MacOS](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20MacOS/badge.svg) ![Test on Windows](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Windows/badge.svg) 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 - 1.3.2-1 - Package Spec generated