diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2023-05-11 08:33:02 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2024-12-13 20:15:41 +0000 |
| commit | fdc0fefd46a45b70784a4e3f8900cbe593426a9e (patch) | |
| tree | 13c3736334bde1c3ec75d67f4e430396e23eed3f /gnu/packages/potassco.scm | |
| parent | ca945f7c35bbc5d05a6ad7e5baa15f79e0fd0ecc (diff) | |
build-system/pyproject: Use python-sans-pip-wrapper as default-python.
Also adds python-setuptools and python-wheel to relevant packages,
either to native-inputs or to propagated inputs if the pkg_resources
Python module is loaded at runtime.
* guix/build-system/pyproject.scm (default-python): Default to
python-sans-pip-wrapper.
Change-Id: I2d986c2225114f54459dd6bb360913106e52cdf4
Diffstat (limited to 'gnu/packages/potassco.scm')
| -rw-r--r-- | gnu/packages/potassco.scm | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index c5d00c9b1ce..e08b478c220 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm | |||
| @@ -589,7 +589,7 @@ are already predefined, but more can be added as logic programs.") | |||
| 589 | (setenv "CLORM_NOCLINGO" "1") | 589 | (setenv "CLORM_NOCLINGO" "1") |
| 590 | (delete-file "tests/test_mypy_query.py")))))) | 590 | (delete-file "tests/test_mypy_query.py")))))) |
| 591 | (propagated-inputs (list python-clingo)) | 591 | (propagated-inputs (list python-clingo)) |
| 592 | (native-inputs (list python-typing-extensions)) | 592 | (native-inputs (list python-typing-extensions python-setuptools python-wheel)) |
| 593 | (home-page "https://potassco.org") | 593 | (home-page "https://potassco.org") |
| 594 | (synopsis "Object relational mapping to clingo") | 594 | (synopsis "Object relational mapping to clingo") |
| 595 | (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, | 595 | (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, |
| @@ -651,6 +651,7 @@ the most probable model as well as finding all models and their probabilities.") | |||
| 651 | "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) | 651 | "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) |
| 652 | (build-system pyproject-build-system) | 652 | (build-system pyproject-build-system) |
| 653 | (propagated-inputs (list python-clingo)) | 653 | (propagated-inputs (list python-clingo)) |
| 654 | (native-inputs (list python-setuptools python-wheel)) | ||
| 654 | (home-page "https://potassco.org/") | 655 | (home-page "https://potassco.org/") |
| 655 | (synopsis "Solve dynamic temporal logic programs") | 656 | (synopsis "Solve dynamic temporal logic programs") |
| 656 | (description "This package provides a system to solve dynamic temporal | 657 | (description "This package provides a system to solve dynamic temporal |
| @@ -678,8 +679,10 @@ logic programs based on clingo.") | |||
| 678 | python-imageio | 679 | python-imageio |
| 679 | python-jinja2 | 680 | python-jinja2 |
| 680 | python-jsonschema | 681 | python-jsonschema |
| 681 | python-networkx)) | 682 | python-networkx |
| 682 | (native-inputs (list dot2tex graphviz python-pylint python-pytest)) | 683 | python-setuptools)) |
| 684 | (native-inputs (list dot2tex graphviz python-pylint python-pytest | ||
| 685 | python-wheel)) | ||
| 683 | (home-page "https://github.com/potassco/clingraph") | 686 | (home-page "https://github.com/potassco/clingraph") |
| 684 | (synopsis "Visualizer for graphs defined as logic programs") | 687 | (synopsis "Visualizer for graphs defined as logic programs") |
| 685 | (description | 688 | (description |
