summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2024-10-21 16:50:50 +0300
committerEfraim Flashner <efraim@flashner.co.il>2025-07-28 09:59:23 +0300
commitfe166ad06c3491ef7b701775ba92d67be3dc5e95 (patch)
treeb5f7f735d07eed78e10537aef6ca02d102bcaf6c /gnu
parente18bfc469c4ffb1f733c999f32f0ae23da8e09ba (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.scm7
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)))