From 7b1dd1e9eae20d7df5f1bcde6f7bb4906fc7ef9f Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Wed, 8 Mar 2023 16:08:06 +0200 Subject: gnu: make-openbios-package: Enable setting configure-flags. * gnu/packages/firmware.scm (make-openbios-package)[arguments]: Adjust custom 'configure phase to apply configure-flags. --- gnu/packages/firmware.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index a876aa727a..873ad02ae1 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -422,8 +422,9 @@ (define* (make-openbios-package name arch) (("TZ=UTC date \\+") "TZ=UTC date --date=@1 +")))) (replace 'configure - (lambda _ - (invoke "./config/scripts/switch-arch" #$arch))) + (lambda* (#:key (configure-flags #~'()) #:allow-other-keys) + (apply invoke "./config/scripts/switch-arch" #$arch + configure-flags))) (replace 'install (lambda _ (let ((build-target -- cgit v1.2.3