all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
To: 69352@debbugs.gnu.org
Subject: [bug#69352] [PATCH 06/13] gnu: clingo: Build from actual sources.
Date: Sat, 24 Feb 2024 08:54:18 +0100	[thread overview]
Message-ID: <f68c082527535380f8c741c00449debccb19e3c1.1708771294.git.liliana.prikler@gmail.com> (raw)
In-Reply-To: <cover.1708771294.git.liliana.prikler@gmail.com>

* 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





  parent reply	other threads:[~2024-02-24 12:48 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-02-24 10:41 [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp Liliana Marie Prikler
2024-02-24  6:56 ` [bug#69352] [PATCH 01/13] gnu: Add wide-integer Liliana Marie Prikler
2024-02-24  6:57 ` [bug#69352] [PATCH 02/13] gnu: python-scikit-build: Install cmake modules Liliana Marie Prikler
2024-02-24  7:51 ` [bug#69352] [PATCH 03/13] gnu: libpotassco: Update to 0.0-2.69b677f Liliana Marie Prikler
2024-02-24  7:52 ` [bug#69352] [PATCH 04/13] gnu: clasp: Update to 3.3.10 Liliana Marie Prikler
2024-02-24  7:54 ` [bug#69352] [PATCH 05/13] gnu: clingo: Update to 5.7.1 Liliana Marie Prikler
2024-02-24  7:54 ` Liliana Marie Prikler [this message]
2024-02-24  7:55 ` [bug#69352] [PATCH 07/13] gnu: clingo-dl: Update to 1.5.0 Liliana Marie Prikler
2024-02-24  7:56 ` [bug#69352] [PATCH 08/13] gnu: python-clingo: Fix build Liliana Marie Prikler
2024-02-24  7:57 ` [bug#69352] [PATCH 09/13] gnu: python-clingo-dl: " Liliana Marie Prikler
2024-02-24  7:58 ` [bug#69352] [PATCH 10/13] gnu: python-clorm: Update to 1.5.0 Liliana Marie Prikler
2024-02-24  7:59 ` [bug#69352] [PATCH 12/13] gnu: python-telingo: Update to 2.1.3 Liliana Marie Prikler
2024-02-24  8:01 ` [bug#69352] [PATCH 11/13] gnu: python-plingo: Update to 1.1.0 Liliana Marie Prikler
2024-02-24  9:17 ` [bug#69352] [PATCH OPTIONAL 13/13] gnu: python: python-scikit-build: Add more non-deterministic test failures Liliana Marie Prikler
2024-03-05  8:21 ` bug#69352: [PATCH 00/13] Update Clingo to 5.7.1, etc pp Efraim Flashner

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=f68c082527535380f8c741c00449debccb19e3c1.1708771294.git.liliana.prikler@gmail.com \
    --to=liliana.prikler@gmail.com \
    --cc=69352@debbugs.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.