[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources.
From: |
Liliana Marie Prikler |
Subject: |
[bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources. |
Date: |
Sat, 24 Feb 2024 08:54:18 +0100 |
* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove
generated sources.
[native-inputs]: Add bison and re2c.
---
gnu/packages/potassco.scm | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
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 @@ (define-module (gnu packages potassco)
#: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 @@ (define-module (gnu packages potassco)
#: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 @@ (define-public clingo
(snippet
#~(begin
(delete-file-recursively "clasp")
+ (delete-file-recursively "libgringo/gen")
(delete-file-recursively "third_party")))
(sha256
(base32
@@ -214,7 +217,8 @@ (define-public clingo
"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
--
2.41.0
- [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp, Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 02/13] gnu: python-scikit-build: Install cmake modules., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources.,
Liliana Marie Prikler <=
- [bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 03/13] gnu: libpotassco: Update to 0.0-2.69b677f., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 01/13] gnu: Add wide-integer., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 11/13] gnu: python-plingo: Update to 1.1.0., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 05/13] gnu: clingo: Update to 5.7.1., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 12/13] gnu: python-telingo: Update to 2.1.3., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH OPTIONAL 13/13] gnu: python: python-scikit-build: Add more non-deterministic test failures., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 09/13] gnu: python-clingo-dl: Fix build., Liliana Marie Prikler, 2024/02/24
- [bug#69352] [PATCH 07/13] gnu: clingo-dl: Update to 1.5.0., Liliana Marie Prikler, 2024/02/24