diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-z3-solver.spec | 89 | ||||
| -rw-r--r-- | sources | 1 |
3 files changed, 91 insertions, 0 deletions
@@ -0,0 +1 @@ +/z3-solver-4.12.1.0.tar.gz diff --git a/python-z3-solver.spec b/python-z3-solver.spec new file mode 100644 index 0000000..9a52d4f --- /dev/null +++ b/python-z3-solver.spec @@ -0,0 +1,89 @@ +%global _empty_manifest_terminate_build 0 +Name: python-z3-solver +Version: 4.12.1.0 +Release: 1 +Summary: an efficient SMT solver library +License: MIT License +URL: https://github.com/Z3Prover/z3 +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/15/76/f16bfcfd3c7e8f929a4f26dc554bc8a086823c9225975b7b67b21ccb4d69/z3-solver-4.12.1.0.tar.gz + + +%description +Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. + +For documentation, please read http://z3prover.github.io/api/html/z3.html + +In the event of technical difficulties related to configuration, compilation, or installation, please submit issues to https://github.com/z3prover/z3.git + + +%package -n python3-z3-solver +Summary: an efficient SMT solver library +Provides: python-z3-solver +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +BuildRequires: python3-cffi +BuildRequires: gcc +BuildRequires: gdb +%description -n python3-z3-solver +Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. + +For documentation, please read http://z3prover.github.io/api/html/z3.html + +In the event of technical difficulties related to configuration, compilation, or installation, please submit issues to https://github.com/z3prover/z3.git + + +%package help +Summary: Development documents and examples for z3-solver +Provides: python3-z3-solver-doc +%description help +Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types. + +For documentation, please read http://z3prover.github.io/api/html/z3.html + +In the event of technical difficulties related to configuration, compilation, or installation, please submit issues to https://github.com/z3prover/z3.git + + +%prep +%autosetup -n z3-solver-4.12.1.0 + +%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-z3-solver -f filelist.lst +%dir %{python3_sitearch}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Tue Apr 11 2023 Python_Bot <Python_Bot@openeuler.org> - 4.12.1.0-1 +- Package Spec generated @@ -0,0 +1 @@ +63d11c95d94a62f574cec8c00e195e3e z3-solver-4.12.1.0.tar.gz |