guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

06/15: gnu: clingo: Build from actual sources.


From: guix-commits
Subject: 06/15: gnu: clingo: Build from actual sources.
Date: Sat, 2 Mar 2024 02:06:46 -0500 (EST)

lilyp pushed a commit to branch master
in repository guix.

commit b3e363024a0e64196072a620459970f3e221239c
Author: Liliana Marie Prikler <liliana.prikler@gmail.com>
AuthorDate: Sat Feb 24 08:54:18 2024 +0100

    gnu: clingo: Build from actual sources.
    
    * 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 @@
   #: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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]