bartronx7/guix
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-01-25 03:55:08 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: lean4: Fix silent install failure

Browse source 
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 <sharlatanus@gmail.com>
This commit is contained in:
Luca Di Sera 2025-12-25 22:32:48 +01:00 • committed by Sharlatan Hellseher
parent 1a587bd302
commit 36d7c88fb4
No known key found for this signature in database
GPG key ID: 76D727BFF62CD2B5
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gnu/packages/lean.scm
View file

@ -4,6 +4,7 @@
;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2022 Pradana Aumars <paumars@courrier.dev>
;;; Copyright © 2023 Zhu Zihao <all_but_last@163.com>
;;; Copyright © 2025 Luca Di Sera <disera.luca@gmail.com>
;;;
;;; 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)