blob: bf9b090a8df2100cd13330af93e24484e7262782 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
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
|
