[build] Add `manuals` make target

Summary:
Manuals were previously built as part of `make test`, but `test` takes
too long so `make manuals` is a convenient replacement.

Reviewed By: ngorogiannis

Differential Revision: D20517145

fbshipit-source-id: 404c9921f
master
Artem Pianykh 5 years ago committed by Facebook GitHub Bot
parent a464880611
commit d11dea2488

@ -329,6 +329,10 @@ $(INFER_GROFF_MANUALS_GZIPPED): %.gz: %
$(QUIET)$(REMOVE) $@ $(QUIET)$(REMOVE) $@
gzip $< gzip $<
manuals:
$(QUIET)$(call silent_on_success,Building Infer manuals,\
$(MAKE) $(INFER_MANUALS))
infer_models: src_build infer_models: src_build
ifeq ($(BUILD_JAVA_ANALYZERS),yes) ifeq ($(BUILD_JAVA_ANALYZERS),yes)
$(QUIET)$(call silent_on_success,Building infer annotations,\ $(QUIET)$(call silent_on_success,Building infer annotations,\
@ -581,8 +585,7 @@ mod_dep: src_build_common
.PHONY: config_tests .PHONY: config_tests
config_tests: test_build ocaml_unit_test validate-skel mod_dep config_tests: test_build ocaml_unit_test validate-skel mod_dep
$(MAKE) endtoend_test checkCopyright $(MAKE) endtoend_test checkCopyright
$(QUIET)$(call silent_on_success,Building Infer manuals,\ $(MAKE) manuals
$(MAKE) $(INFER_MANUALS))
ifneq ($(filter endtoend_test,${MAKECMDGOALS}),) ifneq ($(filter endtoend_test,${MAKECMDGOALS}),)
checkCopyright: src_build checkCopyright: src_build

Loading…
Cancel
Save