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