From 37fd1f75396f9882610bada72d1e85ef0f5a97aa Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 30 Apr 2024 09:16:20 +1000 Subject: [PATCH] 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 --- tools/c-parser/standalone-parser/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/c-parser/standalone-parser/Makefile b/tools/c-parser/standalone-parser/Makefile index e19263a7fe..434e3b0df2 100644 --- 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 $@