From 36d7c88fb449d45c018c791ac69aaf213e940f8d Mon Sep 17 00:00:00 2001 From: Luca Di Sera Date: Thu, 25 Dec 2025 22:32:48 +0100 Subject: [PATCH] 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 --- gnu/packages/lean.scm | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index 8229c7e7306..64727c8111f 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -4,6 +4,7 @@ ;;; Copyright © 2020 Tobias Geerinckx-Rice ;;; Copyright © 2022 Pradana Aumars ;;; Copyright © 2023 Zhu Zihao +;;; Copyright © 2025 Luca Di Sera ;;; ;;; 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)