diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in index 75d2aa31e..a6f252e25 100644 --- a/infer/src/Makefile.in +++ b/infer/src/Makefile.in @@ -172,7 +172,7 @@ endif all: infer -infer: init $(INFERPRINT_ATDGEN_STUBS) +infer: init $(INFERPRINT_ATDGEN_STUBS) $(CLANG_BINIOU_DICT) $(OCAMLBUILD_CONFIG) -build-dir $(INFER_BUILD_DIR) $(INFER_CONFIG_TARGETS) $(COPY) $(INFER_BUILD_DIR)/$(INFERANALYZE_MAIN).native $(INFERANALYZE_BIN) $(COPY) $(INFER_BUILD_DIR)/$(INFERPRINT_MAIN).native $(INFERPRINT_BIN)