* gnu/packages/lean.scm (lean)[arguments]: Individual test cases are currently
failing for 32-bit architectures. Disable them temporarily pending further
investigation as to resolution.
`(("gmp" ,gmp)))
(arguments
`(#:build-type "Release" ; default upstream build type
+ ;; 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))))
#:phases
(modify-phases %standard-phases
(add-after 'patch-source-shebangs 'patch-tests-shebangs