automatic import of python-certora-cliopeneuler20.03

3 files changed, 87 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..14f243e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/certora-cli-3.6.8.tar.gz
diff --git a/python-certora-cli.spec b/python-certora-cli.spec
new file mode 100644
index 0000000..9d27151
--- /dev/null
+++ b/python-certora-cli.spec
@@ -0,0 +1,85 @@
+%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
diff --git a/sources b/sources
new file mode 100644
index 0000000..6568997
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+2565f6c6a8ab0b81dbf6a94e70f132de  certora-cli-3.6.8.tar.gz