diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-10-21 16:50:50 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2025-07-28 09:59:23 +0300 |
| commit | fe166ad06c3491ef7b701775ba92d67be3dc5e95 (patch) | |
| tree | b5f7f735d07eed78e10537aef6ca02d102bcaf6c /gnu | |
| parent | e18bfc469c4ffb1f733c999f32f0ae23da8e09ba (diff) | |
gnu: gawk-boot0: Remove pre-generated source file.
* gnu/packages/commencement.scm (gawk-boot0)[source]: Add snippet to
remove a pre-generated source file.
[native-inputs]: Add byacc-boot0.
Change-Id: Ieb3e859c1893b87e5767227e24541e45cf55afce
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/commencement.scm | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm index 4e4ba8a6573..5cb2d3832fe 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm | |||
| @@ -2893,9 +2893,12 @@ exec " gcc "/bin/" program | |||
| 2893 | (define gawk-boot0 | 2893 | (define gawk-boot0 |
| 2894 | (package | 2894 | (package |
| 2895 | (inherit gawk) | 2895 | (inherit gawk) |
| 2896 | (source (bootstrap-origin (package-source gawk))) | 2896 | (source (bootstrap-origin |
| 2897 | (origin (inherit (package-source gawk)) | ||
| 2898 | (snippet | ||
| 2899 | #~(begin (delete-file "awkgram.c")))))) | ||
| 2897 | (name "gawk-boot0") | 2900 | (name "gawk-boot0") |
| 2898 | (native-inputs '()) | 2901 | (native-inputs (list byacc-boot0)) |
| 2899 | (inputs | 2902 | (inputs |
| 2900 | `(("make" ,gnu-make-boot0) | 2903 | `(("make" ,gnu-make-boot0) |
| 2901 | ,@(%bootstrap-inputs+toolchain))) | 2904 | ,@(%bootstrap-inputs+toolchain))) |
