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
