mk: make sure to mkdir

Author: mtzguido

mk/fstar-12.mk

@@ -79,13 +79,13 @@ DEPSTEM := $(CACHE_DIR)/.depend$(TAG)
 # triggering an actual dependency run.
 .PHONY: .force
 $(DEPSTEM).touch: .force
+	mkdir -p $(dir $@)
 	find $(SRC) -name '*.fst*' > $@.chk
 	diff -q $@ $@.chk || cp $@.chk $@
 
 $(DEPSTEM): $(DEPSTEM).touch
 	$(call msg, "DEPEND", $(SRC))
 	$(FSTAR) --dep full $(ROOTS) $(EXTRACT) $(DEPFLAGS) --output_deps_to $@
-	mkdir -p $(CACHE_DIR)
 
 depend: $(DEPSTEM)
 include $(DEPSTEM)

mk/lib.mk

@@ -139,13 +139,13 @@ DEPSTEM := $(CACHE_DIR)/.depend$(TAG)
 # triggering an actual dependency run.
 .PHONY: .force
 $(DEPSTEM).touch: .force
+	mkdir -p $(dir $@)
 	find $(SRC) -name '*.fst*' > $@.chk
 	diff -q $@ $@.chk || cp $@.chk $@
 
 $(DEPSTEM): $(DEPSTEM).touch
 	$(call msg, "DEPEND", $(SRC))
 	$(FSTAR) --dep full $(ROOTS) $(EXTRACT) $(DEPFLAGS) --output_deps_to $@
-	mkdir -p $(CACHE_DIR)
 
 depend: $(DEPSTEM)
 include $(DEPSTEM)

mk/plugins.mk

@@ -123,13 +123,13 @@ DEPSTEM := $(CACHE_DIR)/.depend$(TAG)
 # triggering an actual dependency run.
 .PHONY: .force
 $(DEPSTEM).touch: .force
+	mkdir -p $(dir $@)
 	find $(SRC) -name '*.fst*' > $@.chk
 	diff -q $@ $@.chk || cp $@.chk $@
 
 $(DEPSTEM): $(DEPSTEM).touch
 	$(call msg, "DEPEND", $(SRC))
 	$(FSTAR) --dep full $(ROOTS) $(EXTRACT) $(DEPFLAGS) --output_deps_to $@
-	mkdir -p $(CACHE_DIR)
 
 depend: $(DEPSTEM)
 include $(DEPSTEM)