It still fails to cross-compile though. * gnu/packages/lean.scm (lean)[arguments]<#:tests?>: Set to #false when cross-compiling. --- gnu/packages/lean.scm | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index cc593291fd..1099732181 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -46,10 +46,10 @@ ;; XXX: Test phases currently fail on 32-bit sytems. ;; Tests for those architectures have been temporarily ;; disabled, pending further investigation. - #:tests? ,(let ((arch (or (%current-target-system) - (%current-system)))) - (not (or (string-prefix? "i686" arch) - (string-prefix? "armhf" arch)))) + #:tests? ,(and (not (%current-target-system)) + (let ((arch (%current-system))) + (not (or (string-prefix? "i686" arch) + (string-prefix? "armhf" arch))))) #:phases (modify-phases %standard-phases (add-after 'patch-source-shebangs 'patch-tests-shebangs -- 2.33.0