using caches makefile

FStarLang · Dec 18, 2018 · 30801ec · 30801ec
1 parent df39bb5
commit 30801ec
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/examples/low-mitls-experiments/Makefile b/examples/low-mitls-experiments/Makefile
@@ -1,6 +1,12 @@
 FSTAR_HOME=../..
-include ../Makefile.include
+EXCLUDED_FSTAR_FILES=
+FSTAR_FILES = $(filter-out $(EXCLUDED_FSTAR_FILES), $(wildcard *.fst))
 
-all: uall
+all: verify-all
 
-uall: HSL.uver
+$(CACHE_DIR):
+	mkdir -p $@
+
+include ../Makefile.common
+
+verify-all: $(CACHE_DIR) $(addsuffix .checked, $(addprefix $(CACHE_DIR)/, $(FSTAR_FILES)))