Makefile nits: improve rule, use F* context pruning

hacl-star · Feb 5, 2025 · b147a03 · b147a03
1 parent a63707c
commit b147a03
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -11,7 +11,7 @@ ifndef NODEPEND
 ifndef MAKE_RESTARTS
 .depend: .FORCE
 	@mkdir -p obj
-	@$(FSTAR) --dep full $(FST_FILES) > $@
+	@$(FSTAR) --dep full $(FST_FILES) --output_deps_to $@
 
 .PHONY: .FORCE
 .FORCE:

diff --git a/Makefile.include b/Makefile.include
@@ -22,6 +22,7 @@ FSTAR_CHILL_FLAGS= \
 	--cmi \
 	--use_hints \
 	--record_hints \
+	--ext context_pruning \
 	$(OTHERFLAGS)
 
 FSTAR_FLAGS=$(FSTAR_CHILL_FLAGS) \