diff options
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/heads.scm | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gnu/packages/heads.scm b/gnu/packages/heads.scm index 78c5aa23f9..f6482d5f5a 100644 --- a/gnu/packages/heads.scm +++ b/gnu/packages/heads.scm @@ -620,3 +620,19 @@ servers.") `(#:make-flags '("BOARD=qemu-linuxboot") ,@(package-arguments heads-linuxboot))))) + +(define heads-coreboot + (package + (inherit heads) + (name "heads-coreboot") + (arguments + (substitute-keyword-arguments (package-arguments heads) + ((#:phases phases) + `(modify-phases ,phases + (add-before 'unpack-heads-packages 'unpack-coreboot + (lambda* (#:key inputs #:allow-other-keys) + (mkdir-p "build") + #t)))))) + (native-inputs + `(("file" ,file) + ,@(package-native-inputs heads))))) |