secc
/
seL4-L4.verified
mirror of https://github.com/seL4/l4v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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 <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2024-04-30 09:49:08 +10:00 committed by Corey Lewis
parent f196007343
commit 6ab65139a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/c-parser/standalone-parser/Makefile
View File

@ -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 *)/" > $@