From 3b904236409aa84326060e25475f98ea803d75e5 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Mon, 21 Oct 2024 16:50:50 +0300
Subject: [PATCH] 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
---
 gnu/packages/commencement.scm | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm
index 08785da829..b82837993c 100644
--- a/gnu/packages/commencement.scm
+++ b/gnu/packages/commencement.scm
@@ -2844,9 +2844,12 @@ (define byacc-boot0
 (define gawk-boot0
   (package
     (inherit gawk)
-    (source (bootstrap-origin (package-source gawk)))
+    (source (bootstrap-origin
+             (origin (inherit (package-source gawk))
+                     (snippet
+                      #~(begin (delete-file "awkgram.c"))))))
     (name "gawk-boot0")
-    (native-inputs '())
+    (native-inputs (list byacc-boot0))
     (inputs
      `(("make" ,gnu-make-boot0)
        ,@(%bootstrap-inputs+toolchain)))