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 <[email protected]>
seL4 · Jun 12, 2024 · 6ab6513 · 6ab6513
1 parent f196007
commit 6ab6513
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 *)/" > $@