This is an automated email from the git hooks/post-receive script.
guix_mirror_bot pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 17338006643 gnu: souffle: Switch to tcbrindle-span.
17338006643 is described below
commit 17338006643e9c97f49261d4fc00e8b2610bd046
Author: Nguyễn Gia Phong <[email protected]>
AuthorDate: Mon Aug 31 11:47:59 2026 +0900
gnu: souffle: Switch to tcbrindle-span.
span is a duplicate of tcbrindle-span, and the latter is preferred
as the former drops tcb from the header's path.
* gnu/packages/datalog.scm (souffle)[inputs]:
Replace span with tcbrindle-span.
[arguments]<#:phases>{replace-bundled-libraries}:
Adjust stub header accordingly.
Merges: https://codeberg.org/guix/guix/pulls/10926
---
gnu/packages/datalog.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/datalog.scm b/gnu/packages/datalog.scm
index 5f0da39e96c..96095e98e1a 100644
--- a/gnu/packages/datalog.scm
+++ b/gnu/packages/datalog.scm
@@ -83,7 +83,7 @@
(call-with-output-file "src/include/souffle/utility/span.h"
(lambda (port)
(display "#pragma once
-#include <span.hpp>
+#include <tcb/span.hpp>
namespace souffle {
using tcb::span;
}
@@ -93,7 +93,7 @@ namespace souffle {
(list libffi
ncurses
python
- span
+ tcbrindle-span
sqlite
zlib))
(native-inputs
