diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2024-02-19 14:09:45 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2024-02-19 14:09:45 +0100 |
| commit | d93e93e897dddac802833dab6441185ed8e887b6 (patch) | |
| tree | c8ad87574687941e4b95f494a3cbfcb5fad726fd | |
| parent | 549a72f1289b3ad27410f248b92b1a10b838d123 (diff) | |
gnu: propeller-load: Disable parallel building.
* gnu/packages/embedded.scm (propeller-load)[arguments]: Use G-expression;
disable parallel building; remove trailing #T from build phase.
Change-Id: I3341b8537b09c2e8310f830ed4d7d6725838a147
| -rw-r--r-- | gnu/packages/embedded.scm | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index b758e445af..1da4141519 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2016, 2017, 2018, 2019, 2023 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2016, 2017, 2018, 2019, 2023, 2024 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2016, 2017 Theodoros Foradis <theodoros@foradis.org> ;;; Copyright © 2016 David Craven <david@craven.ch> ;;; Copyright © 2017, 2020 Efraim Flashner <efraim@flashner.co.il> @@ -983,14 +983,16 @@ code.") "0w0dff3s7wv2d9m78a4jhckiik58q38wx6wpbba5hzbs4yxz35ck")))) (build-system gnu-build-system) (arguments - `(#:tests? #f ; no tests - #:make-flags - (list "OS=linux" - (string-append "TARGET=" (assoc-ref %outputs "out"))) - #:phases - (modify-phases %standard-phases + (list + #:tests? #false ;no tests + #:parallel-build? #false ;not supported + #:make-flags + #~(list "OS=linux" + (string-append "TARGET=" #$output)) + #:phases + '(modify-phases %standard-phases (add-after 'unpack 'chdir - (lambda _ (chdir "loader") #t)) + (lambda _ (chdir "loader"))) (delete 'configure)))) (native-inputs (list openspin (make-propeller-toolchain))) |