[infer][build] fix missing dependency when building the infer toplevel

Summary: The dependency to the main Infer build was missing when building the toplvel. Running the the build with the option `-j` was failing then.

Reviewed By: akotulski

Differential Revision: D4034540

fbshipit-source-id: d6e2e2e
master
Jeremy Dubreil 8 years ago committed by Facebook Github Bot
parent f7ceed2c26
commit 274d96a440

@ -194,6 +194,9 @@ check_missing_mli:
for x in `find infer/src -name "*.ml" -or -name "*.re"`; do \ for x in `find infer/src -name "*.ml" -or -name "*.re"`; do \
test -f "$$x"i || echo Missing "$$x"i; done' test -f "$$x"i || echo Missing "$$x"i; done'
toplevel: infer
$(MAKE) -C $(SRC_DIR) toplevel
inferScriptMode_test: toplevel inferScriptMode_test: toplevel
INFER_REPL_BINARY=ocaml ./scripts/infer_repl ./infer/tests/repl/infer_batch_script.ml INFER_REPL_BINARY=ocaml ./scripts/infer_repl ./infer/tests/repl/infer_batch_script.ml
@ -205,9 +208,6 @@ test_xml: test_build ocaml_unit_test buck_test_xml inferTraceBugs_test
quick-test: test_this_build ocaml_unit_test quick-test: test_this_build ocaml_unit_test
toplevel:
$(MAKE) -C $(SRC_DIR) toplevel
uninstall: uninstall:
$(REMOVE_DIR) $(DESTDIR)$(libdir)/infer/ $(REMOVE_DIR) $(DESTDIR)$(libdir)/infer/
$(REMOVE) $(DESTDIR)$(bindir)/inferTraceBugs $(REMOVE) $(DESTDIR)$(bindir)/inferTraceBugs

Loading…
Cancel
Save