[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50299: [PATCH v2 02/27] gnu: lean: Set #:tests? appropriately when c
From: |
Maxime Devos |
Subject: |
bug#50299: [PATCH v2 02/27] gnu: lean: Set #:tests? appropriately when cross-compiling. |
Date: |
Mon, 27 Sep 2021 17:45:12 +0200 |
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
- bug#50299: [PATCH v2 01/27] lint: check-tests-true: Allow #:tests? #t for some build systems., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 03/27] gnu: lean: Add bash-minimal., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 02/27] gnu: lean: Set #:tests? appropriately when cross-compiling.,
Maxime Devos <=
- bug#50299: [PATCH v2 04/27] gnu: swi-prolog: Move native-inputs to inputs where appropriate., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 05/27] gnu: swi-prolog: Don't explicitely enable tests., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 11/27] gnu: ruby-byebug-11: Don't enable tests when cross-compiling., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 10/27] gnu: ruby-yard-with-tests: Don't enable tests when cross-compiling., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 12/27] gnu: ruby-ffi-rzmq: Don't enable tests when cross-compiling., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 14/27] gnu: go-1.16: Don't enable tests when cross-compiling., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 09/27] gnu: swi-prolog: Set PROG_SWIPL when cross-compiling., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 26/27] gnu: inkscape-1.1: Don't run tests when cross-compiling., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 27/27] gnu: ghc-bsb-http-chunked: Don't run tests when cross-compiling., Maxime Devos, 2021/09/27
- bug#50299: [PATCH v2 06/27] gnu: swi-prolog: Make configuration wok when cross-compiling., Maxime Devos, 2021/09/27