diff options
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 9f6b48f890..cc0cf36bb3 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -511,7 +511,7 @@ are already predefined, but more can be added as logic programs.") (setenv "CLORM_NOCLINGO" "1") (delete-file "tests/test_mypy_query.py")))))) (propagated-inputs (list python-clingo)) - (native-inputs (list python-typing-extensions)) + (native-inputs (list python-typing-extensions python-setuptools python-wheel)) (home-page "https://potassco.org") (synopsis "Object relational mapping to clingo") (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, @@ -573,6 +573,7 @@ the most probable model as well as finding all models and their probabilities.") "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) (build-system pyproject-build-system) (propagated-inputs (list python-clingo)) + (native-inputs (list python-setuptools python-wheel)) (home-page "https://potassco.org/") (synopsis "Solve dynamic temporal logic programs") (description "This package provides a system to solve dynamic temporal @@ -600,8 +601,10 @@ logic programs based on clingo.") python-imageio python-jinja2 python-jsonschema - python-networkx)) - (native-inputs (list dot2tex graphviz python-pylint python-pytest)) + python-networkx + python-setuptools)) + (native-inputs (list dot2tex graphviz python-pylint python-pytest + python-wheel)) (home-page "https://github.com/potassco/clingraph") (synopsis "Visualizer for graphs defined as logic programs") (description |