guix_mirror_bot pushed a commit to branch python-team
in repository guix.
commit 2ce2fb09198a438cc9493fb3ab14538448209b42
Author: Sharlatan Hellseher <[email protected]>
AuthorDate: Wed Feb 4 15:50:55 2026 +0000
gnu: python-mathlibtools: Fix build.
* gnu/packages/lean.scm (python-mathlibtools):
[phases]{fix-home-directory}: Remove phase.
{set-home-env}: New phase
Relates-to: guix/guix#5892
Change-Id: If791942e8c8053b00ec82737ef2ad8e1581d7e3c
---
gnu/packages/lean.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index 64727c8111..eef7a4798d 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -193,7 +193,7 @@ interactive and automated theorem proving.")
" and not "))
#:phases
#~(modify-phases %standard-phases
- (add-before 'check 'fix-home-directory
+ (add-before 'build 'set-home-env
(lambda _
(setenv "HOME" "/tmp"))))))
(native-inputs (list python-pytest python-setuptools))
