diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-11-22 23:56:32 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-02-17 23:21:02 +0100 |
| commit | fdab061994a5f6f737fe8219d7cc2f936f790f5c (patch) | |
| tree | 124fd814ef7949fe474846d610a45f96e510a550 | |
| parent | 4bfce839f9595750960e3bf2e789e351eb74e279 (diff) | |
| download | patches-fdab061994a5f6f737fe8219d7cc2f936f790f5c.tar patches-fdab061994a5f6f737fe8219d7cc2f936f790f5c.tar.gz | |
gnu: commencement: Add sed-boot0.
linux-libre-headers depends on `sed -E', introduced in sed 4.1.5.
* gnu/packages/commencement.scm (sed-boot0): New variable.
(%boot0-inputs): Add it.
| -rw-r--r-- | gnu/packages/commencement.scm | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm index 8ab3c3ad31..2e91ded693 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm @@ -2746,12 +2746,28 @@ exec " gcc "/bin/" program #:strip-binaries? #f #:validate-runpath? #f)))) +(define sed-boot0 + (package + (inherit sed) + (name "sed-boot0") + (source (bootstrap-origin (package-source sed))) + (native-inputs '()) + (inputs + `(("make" ,gnu-make-boot0) + ,@(%bootstrap-inputs+toolchain))) + (arguments + `(#:implicit-inputs? #f + #:tests? #f + #:guile ,%bootstrap-guile + ,@(package-arguments sed))))) + (define (%boot0-inputs) `(("make" ,gnu-make-boot0) ("diffutils" ,diffutils-boot0) ("findutils" ,findutils-boot0) ("file" ,file-boot0) ("gawk" ,gawk-boot0) + ("sed" ,sed-boot0) ,@(%bootstrap-inputs+toolchain))) (define* (boot-triplet #:optional (system (%current-system))) |