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 36d7c88fb4 gnu: lean4: Fix silent install failure
36d7c88fb4 is described below
commit 36d7c88fb449d45c018c791ac69aaf213e940f8d
Author: Luca Di Sera <[email protected]>
AuthorDate: Thu Dec 25 22:32:48 2025 +0100
gnu: lean4: Fix silent install failure
The lean4 package currently builds and installs without a visible
failure, but fails to effectvely provide its output, such as the "lean"
binary.
This is due to the install phase of the derivation failing silently as
it tries to access a bash shell using an absolute path that expects an
FHS compliant system.
To fix the issue, the relevant path in "src/stdlib.make.in", which is
used during the install phase of the of the project, is now patched out
by the package definition.
* gnu/packages/lean.scm (lean4):
[arguments] Add substitution for FHS path in "src/stdlib.make.in"
Change-Id: Ib3db9ce1fbb46175130f9b46c58c55cd65a4a1ae
Signed-off-by: Sharlatan Hellseher <[email protected]>
---
gnu/packages/lean.scm | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index 8229c7e730..64727c8111 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -4,6 +4,7 @@
;;; Copyright © 2020 Tobias Geerinckx-Rice <[email protected]>
;;; Copyright © 2022 Pradana Aumars <[email protected]>
;;; Copyright © 2023 Zhu Zihao <[email protected]>
+;;; Copyright © 2025 Luca Di Sera <[email protected]>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -139,6 +140,9 @@ interactive and automated theorem proving.")
(substitute* "src/lean.mk.in"
(("SHELL = /usr/bin/env bash")
"SHELL = bash"))
+ (substitute* "src/stdlib.make.in"
+ (("/usr/bin/env bash")
+ "bash"))
(setenv "SHELL" "bash -euo pipefail")))
(replace 'check
(lambda* (#:key tests? parallel-tests? #:allow-other-keys)
