diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-02-24 08:54:18 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-03-02 08:00:14 +0100 |
| commit | b3e363024a0e64196072a620459970f3e221239c (patch) | |
| tree | 42c819411b1c1bb4f5d24d4e48a4fba403cb1bf9 | |
| parent | a3de85db2943861256774799baa241ea0f3f6711 (diff) | |
gnu: clingo: Build from actual sources.
* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove
generated sources.
[native-inputs]: Add bison and re2c.
| -rw-r--r-- | gnu/packages/potassco.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 602d0455d2..fd049e2e73 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ #:use-module (guix build-system emacs) #:use-module (guix build-system python) #:use-module (guix build-system pyproject) + #:use-module (gnu packages bison) #:use-module (gnu packages check) #:use-module (gnu packages cpp) #:use-module (gnu packages graphviz) @@ -42,6 +43,7 @@ #:use-module (gnu packages python-build) #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) + #:use-module (gnu packages re2c) #:use-module (gnu packages sphinx)) (define-public libpotassco @@ -157,6 +159,7 @@ satisfiability checking (SAT).") (snippet #~(begin (delete-file-recursively "clasp") + (delete-file-recursively "libgringo/gen") (delete-file-recursively "third_party"))) (sha256 (base32 @@ -214,7 +217,8 @@ satisfiability checking (SAT).") "propagator" "propgator-sequence-mining" "symbol" "visitor")))))))))) (inputs (list catch2-3 clasp libpotassco)) - (native-inputs (list mpark-variant + (native-inputs (list bison re2c + mpark-variant pkg-config tl-optional tsl-hopscotch-map |