From 274d96a44077c8ee3940fd19f331f55eeabcd476 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Tue, 18 Oct 2016 00:21:55 -0700 Subject: [PATCH] [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 --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 1d7f14fcb..4744bb173 100644 --- a/Makefile +++ b/Makefile @@ -194,6 +194,9 @@ check_missing_mli: for x in `find infer/src -name "*.ml" -or -name "*.re"`; do \ test -f "$$x"i || echo Missing "$$x"i; done' +toplevel: infer + $(MAKE) -C $(SRC_DIR) toplevel + inferScriptMode_test: toplevel 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 -toplevel: - $(MAKE) -C $(SRC_DIR) toplevel - uninstall: $(REMOVE_DIR) $(DESTDIR)$(libdir)/infer/ $(REMOVE) $(DESTDIR)$(bindir)/inferTraceBugs