diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-clingo.spec | 99 | ||||
| -rw-r--r-- | sources | 1 |
3 files changed, 101 insertions, 0 deletions
@@ -0,0 +1 @@ +/clingo-5.6.2.tar.gz diff --git a/python-clingo.spec b/python-clingo.spec new file mode 100644 index 0000000..bf9b090 --- /dev/null +++ b/python-clingo.spec @@ -0,0 +1,99 @@ +%global _empty_manifest_terminate_build 0 +Name: python-clingo +Version: 5.6.2 +Release: 1 +Summary: CFFI-based bindings to the clingo solver. +License: MIT +URL: https://github.com/potassco/clingo +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/fe/a3/f3886a49f6483cff0efc08be5c82ce1573a686aea21e5e7387811bdce587/clingo-5.6.2.tar.gz + +Requires: python3-cffi + +%description +This package provides CFFI-based bindings to the clingo solver. + +Clingo is part of the [Potassco](https://potassco.org) project for *Answer Set Programming* (ASP). +ASP offers a simple and powerful modeling language to describe combinatorial problems as *logic programs*. +The *clingo* system then takes such a logic program and computes *answer sets* representing solutions to the given problem. +To get an idea, check our [Getting Started](https://potassco.org/doc/start/) page and the [online version](https://potassco.org/clingo/run/) of clingo. + +Please check the the [API documentation](https://potassco.org/clingo/python-api/current/clingo/) on how to use this module. + + +%package -n python3-clingo +Summary: CFFI-based bindings to the clingo solver. +Provides: python-clingo +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +BuildRequires: python3-cffi +BuildRequires: gcc +BuildRequires: gdb +%description -n python3-clingo +This package provides CFFI-based bindings to the clingo solver. + +Clingo is part of the [Potassco](https://potassco.org) project for *Answer Set Programming* (ASP). +ASP offers a simple and powerful modeling language to describe combinatorial problems as *logic programs*. +The *clingo* system then takes such a logic program and computes *answer sets* representing solutions to the given problem. +To get an idea, check our [Getting Started](https://potassco.org/doc/start/) page and the [online version](https://potassco.org/clingo/run/) of clingo. + +Please check the the [API documentation](https://potassco.org/clingo/python-api/current/clingo/) on how to use this module. + + +%package help +Summary: Development documents and examples for clingo +Provides: python3-clingo-doc +%description help +This package provides CFFI-based bindings to the clingo solver. + +Clingo is part of the [Potassco](https://potassco.org) project for *Answer Set Programming* (ASP). +ASP offers a simple and powerful modeling language to describe combinatorial problems as *logic programs*. +The *clingo* system then takes such a logic program and computes *answer sets* representing solutions to the given problem. +To get an idea, check our [Getting Started](https://potassco.org/doc/start/) page and the [online version](https://potassco.org/clingo/run/) of clingo. + +Please check the the [API documentation](https://potassco.org/clingo/python-api/current/clingo/) on how to use this module. + + +%prep +%autosetup -n clingo-5.6.2 + +%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 -f filelist.lst +%dir %{python3_sitearch}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Thu Mar 09 2023 Python_Bot <Python_Bot@openeuler.org> - 5.6.2-1 +- Package Spec generated @@ -0,0 +1 @@ +73e3ea7356a82acf49c772ca2b23e44f clingo-5.6.2.tar.gz |