From 0eee61ce49d559aa0d46b0e0e14498643e8e55ad Mon Sep 17 00:00:00 2001
From: CoprDistGit <infra@openeuler.org>
Date: Fri, 5 May 2023 11:02:23 +0000
Subject: automatic import of python-certora-cli

---
 python-certora-cli.spec | 85 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 85 insertions(+)
 create mode 100644 python-certora-cli.spec

(limited to 'python-certora-cli.spec')

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
-- 
cgit v1.2.3