summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2023-05-11 08:33:02 +0200
committerSharlatan Hellseher <sharlatanus@gmail.com>2024-12-13 20:15:41 +0000
commitfdc0fefd46a45b70784a4e3f8900cbe593426a9e (patch)
tree13c3736334bde1c3ec75d67f4e430396e23eed3f /gnu/packages/potassco.scm
parentca945f7c35bbc5d05a6ad7e5baa15f79e0fd0ecc (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.scm9
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