%global _empty_manifest_terminate_build 0
Name:		python-certora-cli
Version:	3.6.8
Release:	1
Summary:	Runner for the Certora Prover
License:	MIT License
URL:		https://pypi.org/project/certora-cli
Source0:	https://mirrors.nju.edu.cn/pypi/web/packages/ed/77/546486068027efb0b6fb468e7777fd9dee7c02063ad55a73637acb34afa3/certora-cli-3.6.8.tar.gz
BuildArch:	noarch

Requires:	python3-argcomplete
Requires:	python3-click
Requires:	python3-pycryptodome
Requires:	python3-requests
Requires:	python3-sly
Requires:	python3-tabulate
Requires:	python3-tqdm

%description
Commit a44715b. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.



%package -n python3-certora-cli
Summary:	Runner for the Certora Prover
Provides:	python-certora-cli
BuildRequires:	python3-devel
BuildRequires:	python3-setuptools
BuildRequires:	python3-pip
%description -n python3-certora-cli
Commit a44715b. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.



%package help
Summary:	Development documents and examples for certora-cli
Provides:	python3-certora-cli-doc
%description help
Commit a44715b. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.



%prep
%autosetup -n certora-cli-3.6.8

%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-certora-cli -f filelist.lst
%dir %{python3_sitelib}/*

%files help -f doclist.lst
%{_docdir}/*

%changelog
* Fri May 05 2023 Python_Bot <Python_Bot@openeuler.org> - 3.6.8-1
- Package Spec generated