gnu: make-openbios-package: Enable setting configure-flags.

* gnu/packages/firmware.scm (make-openbios-package)[arguments]: Adjust
custom 'configure phase to apply configure-flags.
This commit is contained in:
Efraim Flashner 2023-03-08 16:08:06 +02:00
parent 070c335a91
commit 7b1dd1e9ea
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -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