[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50299: [PATCH v5 03/24] gnu: lean: Add bash-minimal.
From: |
Maxime Devos |
Subject: |
bug#50299: [PATCH v5 03/24] gnu: lean: Add bash-minimal. |
Date: |
Fri, 4 Mar 2022 13:00:58 +0000 |
Explicitely adding this input is required for cross-compilation.
* gnu/packages/lean.scm (lean)[inputs]: Add 'bash-minimal'.
---
gnu/packages/lean.scm | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index fa36d282d7..7f4cd507f8 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -19,6 +19,7 @@
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
(define-module (gnu packages lean)
+ #:use-module (gnu packages bash)
#:use-module (gnu packages multiprecision)
#:use-module (guix build-system cmake)
#:use-module ((guix licenses) #:prefix license:)
@@ -40,7 +41,7 @@
"09mklc1p6ms1jayg2f89hqfmhca3h5744lli936l38ypn1d00sxx"))))
(build-system cmake-build-system)
(inputs
- (list gmp))
+ (list bash-minimal gmp))
(arguments
`(#:build-type "Release" ; default upstream build type
;; XXX: Test phases currently fail on 32-bit sytems.
--
2.30.2
- bug#50299: [PATCH v5 02/24] gnu: lean: Don't run tests when cross-compiling., (continued)
- bug#50299: [PATCH v5 02/24] gnu: lean: Don't run tests when cross-compiling., Maxime Devos, 2022/03/04
- 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 <=
- bug#50299: [PATCH v5 05/24] gnu: swi-prolog: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 12/24] gnu: ruby-ffi-rzmq: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 18/24] gnu: python2-empy: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 01/24] lint: check-tests-true: Allow #:tests? #t for some build systems., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 09/24] gnu: swi-prolog: Set PROG_SWIPL when cross-compiling., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 10/24] gnu: swi-prolog: Correct reference to 'bin/swi-prolog'., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 04/24] gnu: swi-prolog: Move native-inputs to inputs where appropriate., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 24/24] gnu: ghc-bsb-http-chunked: Don't run tests when cross-compiling., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 19/24] gnu: python2-promise: Run tests conditionally., Maxime Devos, 2022/03/04
- bug#50299: [PATCH v5 21/24] gnu: belcard: Run tests conditionally., Maxime Devos, 2022/03/04