diff options
author | CoprDistGit <infra@openeuler.org> | 2023-05-29 12:13:01 +0000 |
---|---|---|
committer | CoprDistGit <infra@openeuler.org> | 2023-05-29 12:13:01 +0000 |
commit | ab6f5d7bb3a223bc7b6e8dc47ac37b93f5e7901e (patch) | |
tree | 8defb84528e20cacf5a70af52f62379b2ccf1a91 | |
parent | 7dfa204e4517b15b4145c6972bd5cfe0a40d3772 (diff) |
automatic import of python-clorm
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | python-clorm.spec | 115 | ||||
-rw-r--r-- | sources | 1 |
3 files changed, 117 insertions, 0 deletions
@@ -0,0 +1 @@ +/Clorm-1.4.1.post1.tar.gz diff --git a/python-clorm.spec b/python-clorm.spec new file mode 100644 index 0000000..545cb3b --- /dev/null +++ b/python-clorm.spec @@ -0,0 +1,115 @@ +%global _empty_manifest_terminate_build 0 +Name: python-Clorm +Version: 1.4.1.post1 +Release: 1 +Summary: Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver +License: MIT +URL: https://github.com/potassco/clorm +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/3a/44/44d0f898646abcc94d59365cc45dadfceabf1401e4b1024ac51ce594f97c/Clorm-1.4.1.post1.tar.gz +BuildArch: noarch + +Requires: python3-clingo + +%description +Clorm is a Python library that provides an Object Relational Mapping (ORM) +interface to the Clingo Answer Set Programming (ASP) solver. +For background, ASP is a declarative language for describing, and solving, hard +search problems. `Clingo <https://github.com/potassco/clingo>`_ is a feature +rich ASP solver with an extensive, but relatively low-level, Python API. +The goal of this library is to make it easier to integrate Clingo within a +Python application. It is implemented on top of the official Clingo API so is +designed to supplement and not replace the Clingo API. +When integrating an ASP program into an application you typically want to model +the domain as a statically written ASP program, but then to generate problem +instances and process the results dynamically. Clorm makes this integration +cleaner, both in terms of code readability but also by providing a framework +that makes it easier to refactor the python code as the ASP program evolves. +The documentation is available online `here <https://clorm.readthedocs.io/>`_. +Note: Clorm works with Python 3.5+ and Clingo 5.4+ + +%package -n python3-Clorm +Summary: Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver +Provides: python-Clorm +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +%description -n python3-Clorm +Clorm is a Python library that provides an Object Relational Mapping (ORM) +interface to the Clingo Answer Set Programming (ASP) solver. +For background, ASP is a declarative language for describing, and solving, hard +search problems. `Clingo <https://github.com/potassco/clingo>`_ is a feature +rich ASP solver with an extensive, but relatively low-level, Python API. +The goal of this library is to make it easier to integrate Clingo within a +Python application. It is implemented on top of the official Clingo API so is +designed to supplement and not replace the Clingo API. +When integrating an ASP program into an application you typically want to model +the domain as a statically written ASP program, but then to generate problem +instances and process the results dynamically. Clorm makes this integration +cleaner, both in terms of code readability but also by providing a framework +that makes it easier to refactor the python code as the ASP program evolves. +The documentation is available online `here <https://clorm.readthedocs.io/>`_. +Note: Clorm works with Python 3.5+ and Clingo 5.4+ + +%package help +Summary: Development documents and examples for Clorm +Provides: python3-Clorm-doc +%description help +Clorm is a Python library that provides an Object Relational Mapping (ORM) +interface to the Clingo Answer Set Programming (ASP) solver. +For background, ASP is a declarative language for describing, and solving, hard +search problems. `Clingo <https://github.com/potassco/clingo>`_ is a feature +rich ASP solver with an extensive, but relatively low-level, Python API. +The goal of this library is to make it easier to integrate Clingo within a +Python application. It is implemented on top of the official Clingo API so is +designed to supplement and not replace the Clingo API. +When integrating an ASP program into an application you typically want to model +the domain as a statically written ASP program, but then to generate problem +instances and process the results dynamically. Clorm makes this integration +cleaner, both in terms of code readability but also by providing a framework +that makes it easier to refactor the python code as the ASP program evolves. +The documentation is available online `here <https://clorm.readthedocs.io/>`_. +Note: Clorm works with Python 3.5+ and Clingo 5.4+ + +%prep +%autosetup -n Clorm-1.4.1.post1 + +%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-Clorm -f filelist.lst +%dir %{python3_sitelib}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Mon May 29 2023 Python_Bot <Python_Bot@openeuler.org> - 1.4.1.post1-1 +- Package Spec generated @@ -0,0 +1 @@ +db32ded2ee2dfee6028f0f3cf2d29a26 Clorm-1.4.1.post1.tar.gz |