From 6ab65139a518b5ae8675a6540dd2d133f62b9554 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 30 Apr 2024 09:49:08 +1000 Subject: [PATCH] c-parser: make table.ML depend on Makefile Since the contents of the generated table.ML depend on the Makefile, the Makefile itself should be a dependency. Signed-off-by: Gerwin Klein --- tools/c-parser/standalone-parser/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/c-parser/standalone-parser/Makefile b/tools/c-parser/standalone-parser/Makefile index 434e3b0df2..9f42132751 100644 --- a/tools/c-parser/standalone-parser/Makefile +++ b/tools/c-parser/standalone-parser/Makefile @@ -52,7 +52,7 @@ include $(STP_PFX)/../Makefile STP_CLEAN_TARGETS := $(STPARSERS) $(TOKENIZERS) $(STP_PFX)/c-parser.o $(STP_PFX)/table.ML -$(STP_PFX)/table.ML: $(ISABELLE_HOME)/src/Pure/General/table.ML +$(STP_PFX)/table.ML: $(ISABELLE_HOME)/src/Pure/General/table.ML $(STP_PFX)/Makefile sed -e '/\(\* cache \*\)/,/final.declarations/d' < $< | \ sed -e "s/^ val unsynchronized_cache:.*a/ (* removed unsynchronized_cache *)/" > $@