f5a8808616
gnu: emacs-pasp-mode: Use a source file-name.
...
* gnu/packages/potassco.scm (emacs-pasp-mode)[source]: Use a source
file-name.
2023-07-08 23:25:03 +03:00
f08754626c
gnu: catch2: Update to 3.3.2.
...
* gnu/packages/check.scm (catch2-3.1): Rename to catch2-3.3.
[version, source]: Update to 3.3.2.
[outputs]: Remove ‘doc’.
[build-system]: Use cmake-build-system.
[arguments]: Remove special phases. Add CMake options to #:configure-flags.
* gnu/packages/potassco.scm (clingo): Adjust accordingly.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com >
2023-07-01 11:53:20 +02:00
770f4ef198
gnu: clingo: Unbundle dependencies.
...
* gnu/packages/potassco.scm: (clingo)[#:phases]: Patch CMakeLists.txt files to
use external dependencies.
[native-inputs]: Add mpark-variant, tl-optional, tsl-hopscotch-map,
tsl-ordered-map and tsl-sparse-map.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com >
2023-07-01 11:53:20 +02:00
5b58608f56
gnu: Add python-clinguin.
...
* gnu/packages/potassco.scm (python-clinguin): New variable.
2023-05-09 19:54:27 +02:00
3676e312aa
gnu: libpotassco: Unbundle catch.
...
This patch incidentally fixes a build failure caused by the bundled catch.
* gnu/packages/potassco.scm (libpotassco)[source]: Unbundle catch.
[native-inputs]: Add catch2-1.
2023-04-29 10:28:39 +02:00
9df900341f
gnu: python-typing-extensions: Move to (gnu packages python-build).
...
* gnu/packages/python-xyz.scm (python-typing-extensions): Move to...
* gnu/packages/python-build.scm (python-typing-extensions): ... here.
2023-04-19 20:12:13 -04:00
2ebbe8e9df
gnu: Add python-clingraph.
...
* gnu/packages/potassco.scm (python-clingraph): New variable.
2023-04-02 11:19:21 +02:00
383f1307c7
gnu: Separate potassco packages into their own module.
...
* gnu/packages/potassco.scm: New file.
* gnu/packages/maths.scm (libpotassco, clasp, clingo, python-clingo)
(python-telingo): Move to potassco module. Adjust imports accordingly.
* gnu/packages/emacs-xyz.scm (emacs-pasp-mode): Move to potassco module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/packages/potassco.scm.
2023-04-02 11:19:21 +02:00
Efraim Flashner