c-parser: more tweaks to table.ML for Isabelle2024

src/Pure/General/table.ML in Isabelle2024 has a new function unsynchronized_cache which draws in further Isabelle library features that we have so far not included in the standalone parser. The new function isn't used in the standalone parser, so we remove it from the signature and struct in the copying process. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jun 12, 2024 · 37fd1f7 · 37fd1f7
1 parent 5314636
commit 37fd1f7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/c-parser/standalone-parser/Makefile b/tools/c-parser/standalone-parser/Makefile
@@ -53,7 +53,8 @@ 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
-	sed -e '/ML.pretty-printing/,/final.declarations/d' < $< > $@
+	sed -e '/\(\* cache \*\)/,/final.declarations/d' < $< | \
+	sed -e "s/^  val unsynchronized_cache:.*a/  (* removed unsynchronized_cache *)/" > $@
 
 $(ARCH_DIRS):
 	mkdir -p $@