%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