[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50299: [PATCH v3 03/27] gnu: lean: Add bash-minimal.
From: |
Maxime Devos |
Subject: |
bug#50299: [PATCH v3 03/27] gnu: lean: Add bash-minimal. |
Date: |
Thu, 30 Sep 2021 00:47:35 +0200 |
Explicitely adding this input is required for cross-compilation.
* gnu/packages/lean.scm (lean)[inputs]: Add 'bash-minimal'.
---
gnu/packages/lean.scm | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index 1099732181..e2a0d3196a 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,8 @@
"09mklc1p6ms1jayg2f89hqfmhca3h5744lli936l38ypn1d00sxx"))))
(build-system cmake-build-system)
(inputs
- `(("gmp" ,gmp)))
+ `(("bash-minimal" ,bash-minimal) ; for bin/leanpkg
+ ("gmp" ,gmp)))
(arguments
`(#:build-type "Release" ; default upstream build type
;; XXX: Test phases currently fail on 32-bit sytems.
--
2.33.0
- bug#50299: [PATCH v3 01/27] lint: check-tests-true: Allow #:tests? #t for some build systems., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 03/27] gnu: lean: Add bash-minimal.,
Maxime Devos <=
- bug#50299: [PATCH v3 04/27] gnu: swi-prolog: Move native-inputs to inputs where appropriate., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 05/27] gnu: swi-prolog: Don't explicitely enable tests., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 08/27] gnu: swi-prolog: Use cross-compiled bash in shebangs., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 06/27] gnu: swi-prolog: Make configuration wok when cross-compiling., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 17/27] gnu: libicns: Don't run tests when cross-compiling., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 13/27] gnu: ruby-ffi-rzmq: Respect #:tests?., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 15/27] gnu: ecl: Don't pretend to enable tests when cross-compiling., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 21/27] gnu: lablgtk: Don't run tests when cross-compiling., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 20/27] gnu: ocaml4.07-fftw3: Don't run tests when cross-compiling., Maxime Devos, 2021/09/29
- bug#50299: [PATCH v3 09/27] gnu: swi-prolog: Set PROG_SWIPL when cross-compiling., Maxime Devos, 2021/09/29