diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-10-21 16:50:50 +0300 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2026-01-28 21:47:40 +0100 |
| commit | f2609ae482bca6ce4d8084a0e7f570bd3944b20d (patch) | |
| tree | 9ff8d316623ae4f6263a8ea3f0b7f6dcea4ebe70 | |
| parent | 273a65fff268b93f9d1574afafdd948e7a17f920 (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
| -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 eea2e9ed02b..555ef3051d3 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm | |||
| @@ -2891,9 +2891,12 @@ exec " gcc "/bin/" program | |||
| 2891 | (define gawk-boot0 | 2891 | (define gawk-boot0 |
| 2892 | (package | 2892 | (package |
| 2893 | (inherit gawk) | 2893 | (inherit gawk) |
| 2894 | (source (bootstrap-origin (package-source gawk))) | 2894 | (source (bootstrap-origin |
| 2895 | (origin (inherit (package-source gawk)) | ||
| 2896 | (snippet | ||
| 2897 | #~(begin (delete-file "awkgram.c")))))) | ||
| 2895 | (name "gawk-boot0") | 2898 | (name "gawk-boot0") |
| 2896 | (native-inputs '()) | 2899 | (native-inputs (list byacc-boot0)) |
| 2897 | (inputs | 2900 | (inputs |
| 2898 | `(("make" ,gnu-make-boot0) | 2901 | `(("make" ,gnu-make-boot0) |
| 2899 | ,@(%bootstrap-inputs+toolchain))) | 2902 | ,@(%bootstrap-inputs+toolchain))) |
