automatic import of python-clingo-lpx

1 files changed, 100 insertions, 0 deletions

diff --git a/python-clingo-lpx.spec b/python-clingo-lpx.spec
new file mode 100644
index 0000000..173f268
--- /dev/null
+++ b/python-clingo-lpx.spec
@@ -0,0 +1,100 @@
+%global _empty_manifest_terminate_build 0
+Name:		python-clingo-lpx
+Version:	1.2.0
+Release:	1
+Summary:	CFFI-based bindings to the clingo-lpx solver.
+License:	MIT
+URL:		https://github.com/potassco/clingo-lpx
+Source0:	https://mirrors.nju.edu.cn/pypi/web/packages/3d/00/eb11779b708b72d1e4692f81f3c969b619bec95fcefc58295234e624d0f1/clingo-lpx-1.2.0.tar.gz
+
+Requires:	python3-cffi
+Requires:	python3-clingo
+
+%description
+This package allows for adding the clingo-lpx propagator as a
+theory to clingo.
+
+It can also be used as a clingo-lpx solver running:
+
+    python -m clingolpx CLINGOLPX_ARGUMENTS
+
+
+
+
+%package -n python3-clingo-lpx
+Summary:	CFFI-based bindings to the clingo-lpx solver.
+Provides:	python-clingo-lpx
+BuildRequires:	python3-devel
+BuildRequires:	python3-setuptools
+BuildRequires:	python3-pip
+BuildRequires:	python3-cffi
+BuildRequires:	gcc
+BuildRequires:	gdb
+%description -n python3-clingo-lpx
+This package allows for adding the clingo-lpx propagator as a
+theory to clingo.
+
+It can also be used as a clingo-lpx solver running:
+
+    python -m clingolpx CLINGOLPX_ARGUMENTS
+
+
+
+
+%package help
+Summary:	Development documents and examples for clingo-lpx
+Provides:	python3-clingo-lpx-doc
+%description help
+This package allows for adding the clingo-lpx propagator as a
+theory to clingo.
+
+It can also be used as a clingo-lpx solver running:
+
+    python -m clingolpx CLINGOLPX_ARGUMENTS
+
+
+
+
+%prep
+%autosetup -n clingo-lpx-1.2.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-clingo-lpx -f filelist.lst
+%dir %{python3_sitearch}/*
+
+%files help -f doclist.lst
+%{_docdir}/*
+
+%changelog
+* Wed May 31 2023 Python_Bot <Python_Bot@openeuler.org> - 1.2.0-1
+- Package Spec generated