automatic import of python-claripy

3 files changed, 136 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..7cae748 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/claripy-9.2.41.tar.gz
diff --git a/python-claripy.spec b/python-claripy.spec
new file mode 100644
index 0000000..8edf7dc
--- /dev/null
+++ b/python-claripy.spec
@@ -0,0 +1,134 @@
+%global _empty_manifest_terminate_build 0
+Name:		python-claripy
+Version:	9.2.41
+Release:	1
+Summary:	An abstraction layer for constraint solvers
+License:	BSD-2-Clause
+URL:		https://github.com/angr/clairpy
+Source0:	https://mirrors.nju.edu.cn/pypi/web/packages/95/57/75f366fc0710cba29ac4444b4a991294c9263fab801f7b9f0bc53dc6971e/claripy-9.2.41.tar.gz
+BuildArch:	noarch
+
+Requires:	python3-cachetools
+Requires:	python3-decorator
+Requires:	python3-pysmt
+Requires:	python3-z3-solver
+Requires:	python3-cvc4-solver
+
+%description
+# claripy
+[![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)
+
+Claripy is an abstracted constraint-solving wrapper.
+
+## Usage
+
+It is usable!
+
+General usage is similar to Z3:
+
+```python
+>>> import claripy
+>>> a = claripy.BVV(3, 32)
+>>> b = claripy.BVS('var_b', 32)
+>>> s = claripy.Solver()
+>>> s.add(b > a)
+>>> print(s.eval(b, 1)[0])
+```
+
+
+%package -n python3-claripy
+Summary:	An abstraction layer for constraint solvers
+Provides:	python-claripy
+BuildRequires:	python3-devel
+BuildRequires:	python3-setuptools
+BuildRequires:	python3-pip
+%description -n python3-claripy
+# claripy
+[![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)
+
+Claripy is an abstracted constraint-solving wrapper.
+
+## Usage
+
+It is usable!
+
+General usage is similar to Z3:
+
+```python
+>>> import claripy
+>>> a = claripy.BVV(3, 32)
+>>> b = claripy.BVS('var_b', 32)
+>>> s = claripy.Solver()
+>>> s.add(b > a)
+>>> print(s.eval(b, 1)[0])
+```
+
+
+%package help
+Summary:	Development documents and examples for claripy
+Provides:	python3-claripy-doc
+%description help
+# claripy
+[![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)
+
+Claripy is an abstracted constraint-solving wrapper.
+
+## Usage
+
+It is usable!
+
+General usage is similar to Z3:
+
+```python
+>>> import claripy
+>>> a = claripy.BVV(3, 32)
+>>> b = claripy.BVS('var_b', 32)
+>>> s = claripy.Solver()
+>>> s.add(b > a)
+>>> print(s.eval(b, 1)[0])
+```
+
+
+%prep
+%autosetup -n claripy-9.2.41
+
+%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-claripy -f filelist.lst
+%dir %{python3_sitelib}/*
+
+%files help -f doclist.lst
+%{_docdir}/*
+
+%changelog
+* Wed Mar 08 2023 Python_Bot <Python_Bot@openeuler.org> - 9.2.41-1
+- Package Spec generated
diff --git a/sources b/sources
new file mode 100644
index 0000000..0d551ac
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+5abdd2a6c4c3c78a405eb3bb40268a39  claripy-9.2.41.tar.gz