branch master updated: gnu: lean: Disable test cases for i686 and armhf.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

brettgilio pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 8bbc8ac  gnu: lean: Disable test cases for i686 and armhf.
8bbc8ac is described below

commit 8bbc8accda7285acc346a14ea984862dc0f814c1
Author: Brett Gilio <brettg@gnu.org>
AuthorDate: Sun Jul 19 20:24:00 2020 -0500

    gnu: lean: Disable test cases for i686 and armhf.
    
    * 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.
---
 gnu/packages/lean.scm | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index 79d2ef4..0cc67da 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -42,6 +42,13 @@
      `(("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