From b04309da12648059cc8dfb7a9d460265ca858296 Mon Sep 17 00:00:00 2001
From: CoprDistGit <infra@openeuler.org>
Date: Mon, 15 May 2023 06:43:26 +0000
Subject: automatic import of python-clingo-dl

---
 .gitignore            |  1 +
 python-clingo-dl.spec | 92 +++++++++++++++++++++++++++++++++++++++++++++++++++
 sources               |  1 +
 3 files changed, 94 insertions(+)
 create mode 100644 python-clingo-dl.spec
 create mode 100644 sources

diff --git a/.gitignore b/.gitignore
index e69de29..cca493e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/clingo-dl-1.4.0.tar.gz
diff --git a/python-clingo-dl.spec b/python-clingo-dl.spec
new file mode 100644
index 0000000..a31f798
--- /dev/null
+++ b/python-clingo-dl.spec
@@ -0,0 +1,92 @@
+%global _empty_manifest_terminate_build 0
+Name:		python-clingo-dl
+Version:	1.4.0
+Release:	1
+Summary:	CFFI-based bindings to the clingo-dl solver.
+License:	MIT
+URL:		https://github.com/potassco/clingo-dl
+Source0:	https://mirrors.nju.edu.cn/pypi/web/packages/81/43/e0e1e326ec5163f953c259a7fb60dfc7c4fb8050615c72e8bae3d27963df/clingo-dl-1.4.0.tar.gz
+
+
+%description
+This package allows for adding the clingo-dl propagator as a
+theory to clingo.
+
+It can also be used as a clingo-dl solver running:
+
+    python -m clingodl CLINGODL_ARGUMENTS
+
+
+%package -n python3-clingo-dl
+Summary:	CFFI-based bindings to the clingo-dl solver.
+Provides:	python-clingo-dl
+BuildRequires:	python3-devel
+BuildRequires:	python3-setuptools
+BuildRequires:	python3-pip
+BuildRequires:	python3-cffi
+BuildRequires:	gcc
+BuildRequires:	gdb
+%description -n python3-clingo-dl
+This package allows for adding the clingo-dl propagator as a
+theory to clingo.
+
+It can also be used as a clingo-dl solver running:
+
+    python -m clingodl CLINGODL_ARGUMENTS
+
+
+%package help
+Summary:	Development documents and examples for clingo-dl
+Provides:	python3-clingo-dl-doc
+%description help
+This package allows for adding the clingo-dl propagator as a
+theory to clingo.
+
+It can also be used as a clingo-dl solver running:
+
+    python -m clingodl CLINGODL_ARGUMENTS
+
+
+%prep
+%autosetup -n clingo-dl-1.4.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-dl -f filelist.lst
+%dir %{python3_sitearch}/*
+
+%files help -f doclist.lst
+%{_docdir}/*
+
+%changelog
+* Mon May 15 2023 Python_Bot <Python_Bot@openeuler.org> - 1.4.0-1
+- Package Spec generated
diff --git a/sources b/sources
new file mode 100644
index 0000000..e4d31e6
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+305127ee222ea331a46e63648d3e13d8  clingo-dl-1.4.0.tar.gz
-- 
cgit v1.2.3