[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50299: [PATCH v5 02/24] gnu: lean: Don't run tests when cross-compil
From: |
Maxime Devos |
Subject: |
bug#50299: [PATCH v5 02/24] gnu: lean: Don't run tests when cross-compiling. |
Date: |
Fri, 4 Mar 2022 13:00:57 +0000 |
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 6ac7f1668a..fa36d282d7 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.30.2
- bug#50299: [PATCH v5 00/24] Fix 'check-tests-true' linter and some packages, Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 23/24] gnu: extra-cmake-modules: Don't run tests when cross-compiling., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 22/24] gnu: tdlib: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 02/24] gnu: lean: Don't run tests when cross-compiling.,
Maxime Devos <=
- bug#50299: [PATCH v5 15/24] gnu: ecl: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 16/24] gnu: perl-unicode-utf8: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 11/24] gnu: ruby-yard-with-tests: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 13/24] gnu: ruby-ffi-rzmq: Respect #:tests?., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 07/24] gnu: swi-prolog: Don't use 'cc'., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 20/24] gnu: lablgtk: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 06/24] gnu: swi-prolog: Make configuration wok when cross-compiling., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 14/24] gnu: go-1.16: Don't run tests when cross-compiling., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 17/24] gnu: libicns: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 03/24] gnu: lean: Add bash-minimal., Maxime Devos, 2022/03/04