diff options
| author | David Elsing <david.elsing@posteo.net> | 2023-06-25 10:03:59 +0000 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-07-01 11:53:20 +0200 |
| commit | f08754626c93e5b042fc6495513660f807ff0cb0 (patch) | |
| tree | 90b683b7e1364cc99378036c339003ab7dd48cc3 /gnu/packages/potassco.scm | |
| parent | 770f4ef198cf23f9cfabef95f38f24abe9502b35 (diff) | |
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>
Diffstat (limited to 'gnu/packages/potassco.scm')
| -rw-r--r-- | gnu/packages/potassco.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index b8e51e7d47..4e7d715e39 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -209,7 +209,7 @@ satisfiability checking (SAT).") "unpool-ast-v2" "parse_term" "propagator" "propgator-sequence-mining" "symbol" "visitor")))))))))) - (inputs (list catch2-3.1 clasp libpotassco)) + (inputs (list catch2-3.3 clasp libpotassco)) (native-inputs (list mpark-variant pkg-config tl-optional |