summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCoprDistGit <infra@openeuler.org>2023-05-29 12:13:01 +0000
committerCoprDistGit <infra@openeuler.org>2023-05-29 12:13:01 +0000
commitab6f5d7bb3a223bc7b6e8dc47ac37b93f5e7901e (patch)
tree8defb84528e20cacf5a70af52f62379b2ccf1a91
parent7dfa204e4517b15b4145c6972bd5cfe0a40d3772 (diff)
automatic import of python-clorm
-rw-r--r--.gitignore1
-rw-r--r--python-clorm.spec115
-rw-r--r--sources1
3 files changed, 117 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index e69de29..733a9f5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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
diff --git a/sources b/sources
new file mode 100644
index 0000000..61efdd7
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+db32ded2ee2dfee6028f0f3cf2d29a26 Clorm-1.4.1.post1.tar.gz