# Copyright (c) Facebook, Inc. and its affiliates.

#

# This source code is licensed under the MIT license found in the

# LICENSE file in the root directory of this source tree.

.PHONY: default

default: infer

ROOT_DIR = .

include $(ROOT_DIR)/Makefile.config

MAKE_SOURCE = $(MAKE) -C $(SRC_DIR)

ifeq ($(BUILD_C_ANALYZERS),yes)

BUILD_SYSTEMS_TESTS += \

annotation-reachability-sources-override \

backtrack_level \

clang_compilation_db_escaped clang_compilation_db_relpath \

clang_multiple_files \

clang_translation \

clang_unknown_ext \

clang_with_block_listed_flags \

clang_with_E_flag \

clang_with_M_flag \

clang_with_MD_flag \

deduplicate_template_warnings \

delete_results_dir \

disjunctive_domain \

duplicate_symbols \

extract_capture \

fail_on_issue \

infer-debug \

j1 \

missing_deps \

project_root_rel \

pulse_messages_c \

pulse_messages_cpp \

reactive \

replay_scheduler \

results_xml \

tracebugs \

utf8_in_procname \

incremental_analysis_add_procedure \

incremental_analysis_change_procedure \

incremental_analysis_change_tenv \

incremental_analysis_file_level_change \

incremental_analysis_invalidate_only \

incremental_analysis_remove_file \

ifeq ($(BUILD_CPU),x86_64)

BUILD_SYSTEM_TESTS += assembly

endif

ifeq ($(DIFF_CAN_FORMAT),yes)

BUILD_SYSTEMS_TESTS += export_changed_functions

endif

DIRECT_TESTS += \

c_bufferoverrun \

c_performance \

c_pulse \

c_purity \

c_starvation \

c_topl \

cpp_annotation-reachability \

cpp_biabduction \

cpp_bufferoverrun \

cpp_conflicts \

cpp_frontend \

cpp_frontend-17 \

cpp_frontend-20 \

cpp_impurity \

cpp_liveness \

cpp_liveness-20 \

cpp_performance \

cpp_performance-11 \

cpp_pulse \

cpp_pulse-11 \

cpp_pulse-17 \

cpp_pulse-20 \

cpp_quandary \

cpp_racerd \

cpp_siof \

cpp_starvation \

ifeq ($(BUILD_CPU),x86_64)

DIRECT_TESTS += \

c_biabduction \

c_frontend \

endif

ifeq ($(IS_FACEBOOK_TREE),yes)

DIRECT_TESTS += \

c_fb-pulse \

cpp_fb-config-usage \

ifeq ($(BUILD_ERLANG_ANALYZERS),yes)

ifneq ($(ERLC),no)

ifneq ($(ESCRIPT),no)

DIRECT_TESTS += \

erlang_fb-pulse \

endif

endif

endif

endif

ifneq ($(BUCK),no)

BUILD_SYSTEMS_TESTS += \

buck_block_list \

buck-clang-db \

buck_flavors \

buck_flavors_diff \

buck_flavors_run \

buck_flavors_deterministic

ifeq ($(DIFF_CAN_FORMAT),yes)

BUILD_SYSTEMS_TESTS += buck_clang_test_determinator buck_export_changed_functions

endif

endif

ifneq ($(CMAKE),no)

BUILD_SYSTEMS_TESTS += clang_compilation_db cmake inferconfig inferconfig_not_strict

endif

ifneq ($(NDKBUILD),no)

BUILD_SYSTEMS_TESTS += ndk_build

endif

ifeq ($(HAS_OBJC),yes)

BUILD_SYSTEMS_TESTS += \

differential_of_costs_report_objc \

objc_getters_setters \

objc_missing_fld \

objc_retain_cycles \

objc_retain_cycles_weak \

pulse_messages_objc \

pulse_taint_regex_objc \

pulse_taint_sanitize_objc \

pulse_taint_exclude_in_objc \

pulse_taint_exclude_matching_objc

ifeq ($(DIFF_CAN_FORMAT),yes)

BUILD_SYSTEMS_TESTS += clang_test_determinator

endif

DIRECT_TESTS += \

objc_bufferoverrun \

objc_biabduction \

objc_frontend \

objc_liveness \

objc_parameter-not-null-checked \

objc_performance \

objc_pulse \

objc_pulse-data-lineage \

objc_quandary \

objc_self-in-block \

objcpp_biabduction \

objcpp_frontend \

objcpp_liveness \

objcpp_pulse \

objcpp_racerd \

objcpp_retain-cycles \

objcpp_self-in-block \

ifeq ($(IS_FACEBOOK_TREE),yes)

BUILD_SYSTEMS_TESTS += \

fb_differential_of_config_impact_report_objc \

fb_differential_of_config_impact_strict_objc \

DIRECT_TESTS += \

objc_fb-config-impact \

objc_fb-config-impact-strict \

objcpp_fb-pulse \

endif

# Temporarily turn off xcodebuild tests while we sort out problems on CI

# ifneq ($(XCODE_SELECT),no)

# BUILD_SYSTEMS_TESTS += xcodebuild_no_xcpretty

# endif

# ifneq ($(XCPRETTY),no)

# BUILD_SYSTEMS_TESTS += xcodebuild

# endif

endif # HAS_OBJC

endif # BUILD_C_ANALYZERS

ifeq ($(BUILD_ERLANG_ANALYZERS),yes)

ifneq ($(ERLC),no)

ifneq ($(ESCRIPT),no)

DIRECT_TESTS += \

erlang_flowquery \

erlang_pulse \

erlang_pulse-otp \

erlang_pulse-taint \

erlang_topl \

erlang_compiler \

endif

endif

ifneq ($(REBAR3),no)

BUILD_SYSTEMS_TESTS += rebar3

endif

endif # BUILD_ERLANG_ANALYZERS

ifneq ($(HACKC),no)

DIRECT_TESTS += \

hack_capture \

hack_pulse \

hack_performance \

BUILD_SYSTEMS_TESTS += \

pulse_messages_hack \

endif

ifeq ($(BUILD_PYTHON_ANALYZERS),yes)

ifneq ($(PYTHON),no)

DIRECT_TESTS += \

python_pulse \

endif

endif # BUILD_PYTHON_ANALYZERS

ifeq ($(BUILD_JAVA_ANALYZERS),yes)

BUILD_SYSTEMS_TESTS += \

differential_interesting_paths_filter \

differential_of_costs_report_java \

incremental_analysis_cost_change \

differential_skip_anonymous_class_renamings \

differential_skip_duplicated_types_on_filenames \

differential_skip_duplicated_types_on_filenames_with_renamings \

gradle \

java_source_parser \

javac \

resource_leak_exception_lines \

racerd_dedup \

merge-capture \

ifeq ($(DIFF_CAN_FORMAT),yes)

BUILD_SYSTEMS_TESTS += java_test_determinator

endif

DIRECT_TESTS += \

java_annotreach \

java_annotreach-nosuperclass \

java_biabduction \

java_bufferoverrun \

java_checkers \

java_datalog \

java_dependencies \

java_hoisting \

java_hoistingExpensive \

java_impurity \

java_immutability \

java_inefficientKeysetIterator \

java_litho-required-props \

java_performance \

java_performance-exclusive \

java_pulse \

java_purity \

java_quandary \

java_racerd \

java_scopeleakage \

java_sil \

java_starvation \

java_starvation-dedup \

java_starvation-whole-program \

java_topl \

sil_pulse \

sil_topl \

sil_verif \

ifneq ($(KOTLINC), no)

DIRECT_TESTS += \

kotlin_pulse \

kotlin_racerd \

kotlin_resources \

kotlin_scopeleakage \

BUILD_SYSTEMS_TESTS += pulse_messages_kotlin \

ifeq ($(IS_FACEBOOK_TREE),yes)

DIRECT_TESTS += \

kotlin_fb-config-impact-strict \

endif

endif

ifeq ($(IS_FACEBOOK_TREE),yes)

BUILD_SYSTEMS_TESTS += \

fb_differential_of_config_impact_report_java

DIRECT_TESTS += \

java_fb-config-impact \

java_fb-config-impact-paths \

java_fb-config-impact-strict \

java_fb-immutability \

java_fb-performance

endif

ifneq ($(ANT),no)

BUILD_SYSTEMS_TESTS += ant

endif

ifneq ($(BUCK),no)

BUILD_SYSTEMS_TESTS += buck_java_flavor

endif

ifneq ($(MVN),no)

BUILD_SYSTEMS_TESTS += \

mvn \

jar \

jar_without_sources

endif

endif # BUILD_JAVA_ANALYZERS

DIRECT_TESTS += \

dotnet_arithmetic \

dotnet_array \

dotnet_bgeble \

dotnet_box \

dotnet_exception \

dotnet_fieldderef \

dotnet_isinst \

dotnet_ldstr \

dotnet_logical \

dotnet_nullderef-interproc \

dotnet_nullderef-simple \

dotnet_nullparam \

dotnet_numcomparison \

dotnet_reference \

dotnet_starg \

dotnet_threadsafetyviolation

ifeq ($(BUILD_C_ANALYZERS)+$(BUILD_JAVA_ANALYZERS),yes+yes)

BUILD_SYSTEMS_TESTS += make utf8_in_pwd waf

endif

ifeq ($(IS_INFER_RELEASE),no)

configure: configure.ac $(wildcard m4/*.m4)

# rerun ./autogen.sh in case of failure as the failure may be due to needing to rerun

# ./configure

$(QUIET)($(call silent_on_success,Generate ./configure,./autogen.sh)) || \

./autogen.sh

Makefile.autoconf: configure Makefile.autoconf.in

# rerun ./configure with the flags that were used last time it was run (if available)

# retry in case of failure as the failure may be due to needing to rerun ./configure

$(QUIET)($(call silent_on_success,Running\

./configure $(shell ./config.status --config || true),\

./configure $(shell ./config.status --config || true))) || \

./configure $(shell ./config.status --config || true)

endif

.PHONY: fb-setup

fb-setup:

$(QUIET)$(call silent_on_success,Facebook setup,\

$(MAKE) -C facebook setup)

.PHONY: fmt

fmt:

ifeq ($(IS_GIT_REPO),yes)

parallel $(OCAMLFORMAT_EXE) $(OCAMLFORMAT_ARGS) -i ::: $$(git diff --name-only --diff-filter=ACMRU $$(git merge-base origin/$(MAIN_GIT_BRANCH) HEAD) | grep "\.mli\?$$")

endif

ifeq ($(IS_GIT_REPO),no)

parallel $(OCAMLFORMAT_EXE) $(OCAMLFORMAT_ARGS) -i ::: $$(hg status --no-status | grep "\.mli\?$$")

endif

DUNE_ML:=$(shell find * -name 'dune*.in' | grep -v workspace | grep -v infer-source | grep -v infer/src/deadcode/dune.in)

.PHONY: fmt_dune

fmt_dune:

parallel $(OCAMLFORMAT_EXE) $(OCAMLFORMAT_ARGS) -i ::: $(DUNE_ML)

SRC_ML:=$(shell find * \( -name _build -or -name facebook-clang-plugins -or -path facebook/dependencies \) -not -prune -or -type f -and -name '*'.ml -or -name '*'.mli 2>/dev/null)

.PHONY: fmt_all

fmt_all:

$(QUIET)parallel $(OCAMLFORMAT_EXE) $(OCAMLFORMAT_ARGS) -i ::: $(SRC_ML) $(DUNE_ML)

$(MAKE_SOURCE) fmt_dune

# pre-building these avoids race conditions when doing multiple builds in parallel

.PHONY: src_build_common

src_build_common:

$(QUIET)$(call silent_on_success,Generating source dependencies,\

$(MAKE_SOURCE) src_build_common)

.PHONY: src_build

src_build: src_build_common

$(QUIET)$(call silent_on_success,Building native($(BUILD_MODE)) Infer,\

$(MAKE_SOURCE) infer)

.PHONY: byte

byte: src_build_common

$(QUIET)$(call silent_on_success,Building byte Infer,\

$(MAKE_SOURCE) byte)

.PHONY: check

check: src_build_common

$(QUIET)$(call silent_on_success,Building artifacts for tooling support,\

$(MAKE_SOURCE) check)

.PHONY: watch

watch: src_build_common

$(MAKE_SOURCE) watch

.PHONY: real_deadcode

real_deadcode: src_build_common

$(QUIET)$(call silent_on_success,Testing there is no dead OCaml code,\

$(MAKE) -C $(SRC_DIR)/deadcode)

# deadcode analysis: only do the deadcode detection on Facebook builds and if GNU sed is available

.PHONY: deadcode

deadcode:

ifeq ($(IS_FACEBOOK_TREE),no)

$(QUIET)echo "Deadcode detection only works in Facebook builds, skipping"

endif

ifeq ($(GNU_SED),no)

$(QUIET)echo "Deadcode detection only works with GNU sed installed, skipping"

endif

ifeq ($(IS_FACEBOOK_TREE),yes)

ifneq ($(GNU_SED),no)

deadcode: real_deadcode

endif

endif

.PHONY: toplevel toplevel_test

toplevel toplevel_test: src_build_common

toplevel:

$(QUIET)$(call silent_on_success,Building Infer REPL,\

$(MAKE_SOURCE) toplevel)

$(QUIET)echo

$(QUIET)echo "You can now use the infer REPL:"

$(QUIET)echo " \"$(ABSOLUTE_ROOT_DIR)/scripts/infer_repl\""

toplevel_test:

$(QUIET)$(call silent_on_success,Building Infer REPL,\

$(MAKE_SOURCE) toplevel)

ifeq ($(IS_FACEBOOK_TREE),yes)

byte src_build_common src_build: fb-setup

endif

ifeq ($(BUILD_C_ANALYZERS),yes)

byte src_build src_build_common: clang_plugin

endif

ifneq ($(NINJA),no)

FCP_COMPILE_ARGS = --ninja --sequential-link

endif

$(INFER_COMMAND_MANUALS): src_build $(MAKEFILE_LIST)

$(QUIET)$(MKDIR_P) $(@D)

$(QUIET)$(INFER_BIN) $(patsubst infer-%.1,%,$(@F)) --help-scrubbed --help-format=groff > $@

$(INFER_COMMAND_TEXT_MANUALS): src_build $(MAKEFILE_LIST)

$(QUIET)$(MKDIR_P) $(@D)

$(QUIET)$(INFER_BIN) $(patsubst infer-%.txt,%,$(@F)) --help-scrubbed --help-format=plain > $@

$(INFER_MANUAL): src_build $(MAKEFILE_LIST)

$(QUIET)$(MKDIR_P) $(@D)

$(QUIET)$(INFER_BIN) --help-scrubbed --help-format=groff > $@

$(INFER_TEXT_MANUAL): src_build $(MAKEFILE_LIST)

$(QUIET)$(MKDIR_P) $(@D)

$(QUIET)$(INFER_BIN) --help-scrubbed --help-format=plain > $@

$(INFER_FULL_TEXT_MANUAL): src_build $(MAKEFILE_LIST)

$(QUIET)$(MKDIR_P) $(@D)

$(QUIET)$(INFER_BIN) --help-scrubbed-full --help-format=plain > $@

$(INFER_GROFF_MANUALS_GZIPPED): %.gz: %

$(QUIET)$(REMOVE) $@

gzip $<

manuals:

$(QUIET)$(call silent_on_success,Building Infer manuals,\

$(MAKE) $(INFER_MANUALS))

infer_models: src_build

ifeq ($(BUILD_JAVA_ANALYZERS),yes)

$(QUIET)$(call silent_on_success,Building infer annotations,\

$(MAKE) -C $(ANNOTATIONS_DIR))

endif

$(QUIET)$(call silent_on_success,Building infer models,\

$(MAKE) -C $(MODELS_DIR) all)

.PHONY: infer byte_infer

infer byte_infer: infer_models

infer: src_build

byte_infer: byte

.PHONY: opt

opt:

$(QUIET)$(MAKE) BUILD_MODE=opt infer

PLUGIN_SETUP_SCRIPT ?= setup.sh

.PHONY: clang_setup

clang_setup:

# if clang is already built then let the user know they might not need to rebuild clang

$(QUIET)export CC='$(CC)' CFLAGS='$(CFLAGS)'; \

export CXX='$(CXX)' CXXFLAGS='$(CXXFLAGS)'; \

export CPP='$(CPP)' LDFLAGS='$(LDFLAGS)' LIBS='$(LIBS)'; \

$(FCP_DIR)/clang/$(PLUGIN_SETUP_SCRIPT) --only-check-install || { \

if [ -x '$(FCP_DIR)'/clang/install/bin/clang ]; then \

echo '$(TERM_INFO)*** Now building clang, this will take a while...$(TERM_RESET)' >&2; \

echo '$(TERM_INFO)*** If you believe that facebook-clang-plugins/clang/install is up-to-date you can$(TERM_RESET)' >&2; \

echo '$(TERM_INFO)*** interrupt the compilation (Control-C) and run this to prevent clang from being rebuilt:$(TERM_RESET)' >&2; \

echo >&2 ; \

echo '$(TERM_INFO) $(FCP_DIR)/clang/$(PLUGIN_SETUP_SCRIPT) --only-record-install$(TERM_RESET)' >&2; \

echo >&2 ; \

echo '$(TERM_INFO)(TIP: you can also force a clang rebuild by removing $(FCP_DIR)/clang/installed.version)$(TERM_RESET)' >&2; \

echo >&2 ; \

fi; \

$(FCP_DIR)/clang/$(PLUGIN_SETUP_SCRIPT) $(FCP_COMPILE_ARGS); \

}

.PHONY: clang_plugin

clang_plugin: clang_setup

$(QUIET)$(call silent_on_success,Building clang plugin,\

$(MAKE) -C $(FCP_DIR)/libtooling all \

CC='$(CC)' CXX='$(CXX)' \

CFLAGS='$(CFLAGS)' CXXFLAGS='$(CXXFLAGS)' \

CPP='$(CPP)' LDFLAGS='$(LDFLAGS)' LIBS='$(LIBS)' \

LOCAL_CLANG='$(CLANG_PREFIX)'/bin/clang \

CLANG_PREFIX='$(CLANG_PREFIX)' \

CLANG_INCLUDES='$(CLANG_INCLUDES)' \

SDKPATH='$(XCODE_ISYSROOT)' \

)

$(QUIET)$(call silent_on_success,Building clang plugin OCaml interface,\

$(MAKE) -C $(FCP_DIR)/clang-ocaml build/clang_ast_proj.ml build/clang_ast_proj.mli \

CC='$(CC)' CXX='$(CXX)' \

CFLAGS='$(CFLAGS)' CXXFLAGS='$(CXXFLAGS)' \

CPP='$(CPP)' LDFLAGS='$(LDFLAGS)' LIBS='$(LIBS)' \

LOCAL_CLANG='$(CLANG_PREFIX)'/bin/clang \

CLANG_PREFIX='$(CLANG_PREFIX)' \

CLANG_INCLUDES='$(CLANG_INCLUDES)' \

SDKPATH='$(XCODE_ISYSROOT)' \

)

.PHONY: clang_plugin_test

clang_plugin_test: clang_setup

$(QUIET)$(call silent_on_success,Running facebook-clang-plugins/libtooling/ tests,\

$(MAKE) -C $(FCP_DIR)/libtooling test \

CC='$(CC)' CXX='$(CXX)' \

CFLAGS='$(CFLAGS)' CXXFLAGS='$(CXXFLAGS)' \

CPP='$(CPP)' LDFLAGS='$(LDFLAGS)' LIBS='$(LIBS)' \

LOCAL_CLANG='$(CLANG_PREFIX)'/bin/clang \

CLANG_PREFIX='$(CLANG_PREFIX)' \

CLANG_INCLUDES='$(CLANG_INCLUDES)' \

SDKPATH='$(XCODE_ISYSROOT)' \

)

$(QUIET)$(call silent_on_success,Running facebook-clang-plugins/clang-ocaml/ tests,\

$(MAKE) -C $(FCP_DIR)/clang-ocaml test \

CC='$(CC)' CXX='$(CXX)' \

CFLAGS='$(CFLAGS)' CXXFLAGS='$(CXXFLAGS)' \

CPP='$(CPP)' LDFLAGS='$(LDFLAGS)' LIBS='$(LIBS)' \

LOCAL_CLANG='$(CLANG_PREFIX)'/bin/clang \

CLANG_PREFIX='$(CLANG_PREFIX)' \

CLANG_INCLUDES='$(CLANG_INCLUDES)' \

SDKPATH='$(XCODE_ISYSROOT)' \

)

.PHONY: clang_plugin_test_replace

clang_plugin_test_replace: clang_setup

$(QUIET)$(call silent_on_success,Running facebook-clang-plugins/libtooling/ record tests,\

$(MAKE) -C $(FCP_DIR)/libtooling record-test-outputs \

CC='$(CC)' CXX='$(CXX)' \

CFLAGS='$(CFLAGS)' CXXFLAGS='$(CXXFLAGS)' \

CPP='$(CPP)' LDFLAGS='$(LDFLAGS)' LIBS='$(LIBS)' \

LOCAL_CLANG='$(CLANG_PREFIX)'/bin/clang \

CLANG_PREFIX='$(CLANG_PREFIX)' \

CLANG_INCLUDES='$(CLANG_INCLUDES)' \

SDKPATH='$(XCODE_ISYSROOT)' \

)

$(QUIET)$(call silent_on_success,Running facebook-clang-plugins/clang-ocaml/ record tests,\

$(MAKE) -C $(FCP_DIR)/clang-ocaml record-test-outputs \

CC='$(CC)' CXX='$(CXX)' \

CFLAGS='$(CFLAGS)' CXXFLAGS='$(CXXFLAGS)' \

CPP='$(CPP)' LDFLAGS='$(LDFLAGS)' LIBS='$(LIBS)' \

LOCAL_CLANG='$(CLANG_PREFIX)'/bin/clang \

CLANG_PREFIX='$(CLANG_PREFIX)' \

CLANG_INCLUDES='$(CLANG_INCLUDES)' \

SDKPATH='$(XCODE_ISYSROOT)' \

)

.PHONY: ocaml_unit_test

ocaml_unit_test: src_build_common infer_models

$(QUIET)$(call silent_on_success,Running OCaml unit tests,\

$(MAKE_SOURCE) unit)

define silence_make

( TEMP="$$(mktemp)" && trap "$(RM) $$TEMP" EXIT; \

$(1) 2> "$$TEMP" || { \

grep -v "warning: \(ignoring old\|overriding\) \(commands\|recipe\) for target" "$$TEMP"; \

false; \

}; )

endef

.PHONY: $(DIRECT_TESTS:%=direct_%_test)

$(DIRECT_TESTS:%=direct_%_test): infer

$(QUIET)$(call silent_on_success,Running test: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C \

$(INFER_DIR)/tests/codetoanalyze/$(shell printf $@ | cut -f 2 -d _)/$(shell printf $@ | cut -f 3 -d _) \

test))

.PHONY: $(DIRECT_TESTS:%=direct_%_print)

$(DIRECT_TESTS:%=direct_%_print): infer

$(QUIET)$(call silent_on_success,Running: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C \

$(INFER_DIR)/tests/codetoanalyze/$(shell printf $@ | cut -f 2 -d _)/$(shell printf $@ | cut -f 3 -d _) \

print))

.PHONY: $(DIRECT_TESTS:%=direct_%_clean)

$(DIRECT_TESTS:%=direct_%_clean):

$(QUIET)$(call silent_on_success,Cleaning: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C \

$(INFER_DIR)/tests/codetoanalyze/$(shell printf $@ | cut -f 2 -d _)/$(shell printf $@ | cut -f 3 -d _) \

clean))

.PHONY: $(DIRECT_TESTS:%=direct_%_replace)

$(DIRECT_TESTS:%=direct_%_replace): infer

$(QUIET)$(call silent_on_success,Recording: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C \

$(INFER_DIR)/tests/codetoanalyze/$(shell printf $@ | cut -f 2 -d _)/$(shell printf $@ | cut -f 3 -d _) \

replace))

.PHONY: direct_tests

direct_tests: $(DIRECT_TESTS:%=direct_%_test)

.PHONY: $(BUILD_SYSTEMS_TESTS:%=build_%_test)

$(BUILD_SYSTEMS_TESTS:%=build_%_test): infer

$(QUIET)$(call silent_on_success,Running test: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C $(INFER_DIR)/tests/build_systems/$(patsubst build_%_test,%,$@) test))

.PHONY: $(BUILD_SYSTEMS_TESTS:%=build_%_print)

$(BUILD_SYSTEMS_TESTS:%=build_%_print): infer

$(QUIET)$(call silent_on_success,Running: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C $(INFER_DIR)/tests/build_systems/$(patsubst build_%_print,%,$@) print))

.PHONY: $(BUILD_SYSTEMS_TESTS:%=build_%_clean)

$(BUILD_SYSTEMS_TESTS:%=build_%_clean):

$(QUIET)$(call silent_on_success,Cleaning: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C $(INFER_DIR)/tests/build_systems/$(patsubst build_%_clean,%,$@) clean))

.PHONY: $(BUILD_SYSTEMS_TESTS:%=build_%_replace)

$(BUILD_SYSTEMS_TESTS:%=build_%_replace): infer

$(QUIET)$(call silent_on_success,Recording: $(subst _, ,$@),\

$(call silence_make,\

$(MAKE) -C $(INFER_DIR)/tests/build_systems/$(patsubst build_%_replace,%,$@) replace))

build_infertop_print build_infertop_test build_infertop_replace: toplevel_test

.PHONY: build_systems_tests

build_systems_tests: $(BUILD_SYSTEMS_TESTS:%=build_%_test)

.PHONY: endtoend_test

endtoend_test: $(BUILD_SYSTEMS_TESTS:%=build_%_test) $(DIRECT_TESTS:%=direct_%_test)

.PHONY: check_missing_mli

check_missing_mli:

$(QUIET)for x in $$(find $(INFER_DIR)/src -name "*.ml"); do \

test -f "$$x"i || echo Missing "$$x"i; done

.PHONY: checkCopyright

checkCopyright: src_build_common

$(QUIET)$(call silent_on_success,Building checkCopyright,\

$(MAKE) -C $(SRC_DIR) checkCopyright)

.PHONY: validate-skel

validate-skel:

ifeq ($(IS_FACEBOOK_TREE),yes)

$(QUIET)$(call silent_on_success,Validating facebook/,\

$(MAKE) -C facebook validate)

endif

.PHONY: crash_if_not_all_analyzers_enabled

crash_if_not_all_analyzers_enabled:

ifneq ($(BUILD_C_ANALYZERS)+$(BUILD_JAVA_ANALYZERS),yes+yes)

ifneq ($(BUILD_C_ANALYZERS),yes)

@echo '*** ERROR: Cannot run the full tests: the Clang analyzers are disabled.'

@echo '*** ERROR: You can run clang-only tests with:'

@echo '*** ERROR:'

@echo '*** ERROR: make config_tests'

@echo '*** ERROR:'

endif

ifneq ($(BUILD_JAVA_ANALYZERS),yes)

@echo '*** ERROR: Cannot run the full tests: the Java analyzers are disabled.'

@echo '*** ERROR: You can run Java-only tests with:'

@echo '*** ERROR:'

@echo '*** ERROR: make config_tests'

@echo '*** ERROR:'

endif

@echo '*** ERROR: To run the full set of tests, please enable all the analyzers.'

@exit 1

else

@:

endif

.PHONY: mod_dep

mod_dep: src_build_common

$(QUIET)$(call silent_on_success,Building Infer source dependency graph,\

$(MAKE) -C $(SRC_DIR) mod_dep.dot)

.PHONY: config_tests

config_tests: ocaml_unit_test validate-skel mod_dep

$(MAKE) endtoend_test checkCopyright

ifneq ($(UTOP),no)

$(MAKE) build_infertop_test

endif

$(MAKE) manuals

ifneq ($(filter endtoend_test,$(MAKECMDGOALS)),)

checkCopyright: src_build

toplevel_test: checkCopyright

endif

.PHONY: test

test: crash_if_not_all_analyzers_enabled config_tests

ifeq (,$(findstring s,$(MAKEFLAGS)))

$(QUIET)echo "$(TERM_INFO)ALL TESTS PASSED$(TERM_RESET)"

endif

.PHONY: test-replace

test-replace: $(BUILD_SYSTEMS_TESTS:%=build_%_replace) $(DIRECT_TESTS:%=direct_%_replace) \

clang_plugin_test_replace

ifneq ($(UTOP),no)

$(MAKE) build_infertop_replace

endif

.PHONY: uninstall

uninstall:

$(REMOVE_DIR) $(DESTDIR)$(libdir)/infer/

$(REMOVE) $(DESTDIR)$(bindir)/infer

$(REMOVE) $(INFER_COMMANDS:%=$(DESTDIR)$(bindir)/%)

$(REMOVE) $(foreach manual,$(INFER_GROFF_MANUALS_GZIPPED),\

$(DESTDIR)$(mandir)/man1/$(notdir $(manual)))

.PHONY: test_clean

test_clean: $(DIRECT_TESTS:%=direct_%_clean) $(BUILD_SYSTEMS_TESTS:%=build_%_clean)

.PHONY: install

install: infer $(INFER_GROFF_MANUALS_GZIPPED)

# create directory structure

test -d '$(DESTDIR)$(bindir)' || \

$(MKDIR_P) '$(DESTDIR)$(bindir)'

test -d '$(DESTDIR)$(mandir)/man1' || \

$(MKDIR_P) '$(DESTDIR)$(mandir)/man1'

test -d '$(DESTDIR)$(libdir)/infer/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/'

ifeq ($(BUILD_C_ANALYZERS),yes)

test -d '$(DESTDIR)$(libdir)/infer/facebook-clang-plugins/libtooling/build/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/facebook-clang-plugins/libtooling/build/'

find facebook-clang-plugins/clang/install/. -type d -print0 | xargs -0 -n 1 \

$(SHELL) -x -c "test -d '$(DESTDIR)$(libdir)'/infer/\$$1 || \

$(MKDIR_P) '$(DESTDIR)$(libdir)'/infer/\$$1" --

test -d '$(DESTDIR)$(libdir)/infer/infer/lib/clang_wrappers/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/lib/clang_wrappers/'

test -d '$(DESTDIR)$(libdir)/infer/infer/etc/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/etc'

endif

ifeq ($(BUILD_JAVA_ANALYZERS),yes)

test -d '$(DESTDIR)$(libdir)/infer/infer/lib/java/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/lib/java/'

endif

ifeq ($(BUILD_HACK_ANALYZERS),yes)

test -d '$(DESTDIR)$(libdir)/infer/infer/lib/hack/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/lib/hack/'

endif

ifeq ($(BUILD_ERLANG_ANALYZERS),yes)

test -d '$(DESTDIR)$(libdir)/infer/infer/lib/erlang/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/lib/erlang/'

test -d '$(DESTDIR)$(libdir)/infer/infer/lib/erlang/infer_parse_transform/src/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/lib/erlang/infer_parse_transform/src/'

endif

test -d '$(DESTDIR)$(libdir)/infer/infer/annotations/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/annotations/'

test -d '$(DESTDIR)$(libdir)/infer/infer/config/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/config/'

test -d '$(DESTDIR)$(libdir)/infer/infer/lib/wrappers/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/lib/wrappers/'

test -d '$(DESTDIR)$(libdir)/infer/infer/bin/' || \

$(MKDIR_P) '$(DESTDIR)$(libdir)/infer/infer/bin/'

# copy files

$(INSTALL_DATA) -C 'infer/lib/models.sql' \

'$(DESTDIR)$(libdir)/infer/infer/lib/models.sql'

ifeq ($(BUILD_HACK_ANALYZERS),yes)

$(INSTALL_DATA) -C 'infer/lib/hack/models.sil' \

'$(DESTDIR)$(libdir)/infer/infer/lib/hack/models.sil'

endif

ifeq ($(BUILD_C_ANALYZERS),yes)

$(INSTALL_DATA) -C 'facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib' \

'$(DESTDIR)$(libdir)/infer/facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib'

# do not use "install" for symbolic links as this will copy the destination file instead

find facebook-clang-plugins/clang/install/. -not -type d -not -type l -not -name '*.a' -print0 \

| xargs -0 -I \{\} $(INSTALL_PROGRAM) -C \{\} '$(DESTDIR)$(libdir)'/infer/\{\}

# all the symlinks in clang are relative and safe to brutally copy over

find facebook-clang-plugins/clang/install/. -type l -not -name '*.a' -print0 \

| xargs -0 -I \{\} $(COPY) -a \{\} '$(DESTDIR)$(libdir)'/infer/\{\}

find infer/lib/clang_wrappers/* -print0 | xargs -0 -I \{\} \

$(INSTALL_PROGRAM) -C \{\} '$(DESTDIR)$(libdir)'/infer/\{\}

# only for files that point to infer

(cd '$(DESTDIR)$(libdir)/infer/infer/lib/wrappers/' && \

$(foreach cc,$(shell find '$(LIB_DIR)/wrappers' -type l), \

[ $(cc) -ef '$(INFER_BIN)' ] && \

$(REMOVE) '$(notdir $(cc))' && \

$(LN_S) ../../bin/infer '$(notdir $(cc))';))

$(INSTALL_DATA) -C 'infer/etc/clang_ast.dict' \

'$(DESTDIR)$(libdir)/infer/infer/etc/clang_ast.dict'

endif

ifeq ($(BUILD_JAVA_ANALYZERS),yes)

$(INSTALL_DATA) -C 'infer/annotations/annotations.jar' \

'$(DESTDIR)$(libdir)/infer/infer/annotations/annotations.jar'

find infer/lib/java/*.jar -print0 | xargs -0 -I \{\} \

$(INSTALL_DATA) -C \{\} '$(DESTDIR)$(libdir)'/infer/\{\}

$(INSTALL_PROGRAM) -C '$(LIB_DIR)'/wrappers/javac \

'$(DESTDIR)$(libdir)'/infer/infer/lib/wrappers/

endif

find infer/config/ -type d -print0 | xargs -0 -I \{\} \

$(MKDIR_P) '$(DESTDIR)$(libdir)'/infer/\{\}

find infer/config/ -type f -print0 | xargs -0 -I \{\} \

$(INSTALL_DATA) -C \{\} '$(DESTDIR)$(libdir)'/infer/\{\}

ifeq ($(BUILD_ERLANG_ANALYZERS),yes)

$(INSTALL_PROGRAM) -C '$(LIB_DIR)'/erlang/erlang.sh \

'$(DESTDIR)$(libdir)'/infer/infer/lib/erlang/

$(INSTALL_PROGRAM) -C '$(LIB_DIR)'/erlang/erlang.escript \

'$(DESTDIR)$(libdir)'/infer/infer/lib/erlang/

$(INSTALL_PROGRAM) -C '$(LIB_DIR)'/erlang/extract.escript \

'$(DESTDIR)$(libdir)'/infer/infer/lib/erlang/

$(INSTALL_DATA) -C '$(LIB_DIR)'/erlang/infer_parse_transform.erl \

'$(DESTDIR)$(libdir)'/infer/infer/lib/erlang/

endif

$(INSTALL_PROGRAM) -C '$(INFER_BIN)' '$(DESTDIR)$(libdir)'/infer/infer/bin/

(cd '$(DESTDIR)$(bindir)/' && \

$(REMOVE) infer && \

$(LN_S) '$(libdir_relative_to_bindir)'/infer/infer/bin/infer infer)

for alias in $(INFER_COMMANDS); do \

(cd '$(DESTDIR)$(bindir)'/ && \

$(REMOVE) "$$alias" && \

$(LN_S) infer "$$alias"); done

for alias in $(INFER_COMMANDS); do \

(cd '$(DESTDIR)$(libdir)'/infer/infer/bin && \

$(REMOVE) "$$alias" && \

$(LN_S) infer "$$alias"); done

$(foreach man,$(INFER_GROFF_MANUALS_GZIPPED), \

$(INSTALL_DATA) -C $(man) '$(DESTDIR)$(mandir)/man1/$(notdir $(man))';)

# install dynamic libraries

# use this if you want to distribute infer binaries

install-with-libs: install

test -d '$(DESTDIR)$(libdir)'/infer/infer/libso || \

$(MKDIR_P) '$(DESTDIR)$(libdir)'/infer/infer/libso

ifneq ($(LDD),no)

ifneq ($(PATCHELF),no)

ifneq ($(PLATFORM_ENV),)

$(PATCHELF) --set-rpath '$(PLATFORM_ENV)'/lib '$(DESTDIR)$(libdir)'/infer/infer/bin/infer

ifeq ($(BUILD_C_ANALYZERS),yes)

$(PATCHELF) --set-rpath '$(PLATFORM_ENV)'/lib '$(DESTDIR)$(libdir)'/infer/facebook-clang-plugins/libtooling/build/FacebookClangPlugin.dylib

endif # BUILD_C_ANALYZERS

else # PLATFORM_ENV

# figure out where libgmp, libmpfr, and libsqlite3 are using ldd

set -x; \

for lib in $$($(LDD) $(INFER_BIN) \

| cut -d ' ' -f 3 \

| grep -e 'lib\(gmp\|mpfr\|sqlite\)'); do \

$(INSTALL_PROGRAM) -C "$$lib" '$(DESTDIR)$(libdir)'/infer/infer/libso/; \

done

# update rpath of executables

for sofile in '$(DESTDIR)$(libdir)'/infer/infer/libso/*.so*; do \

$(PATCHELF) --set-rpath '$$ORIGIN' --force-rpath "$$sofile"; \

done

$(PATCHELF) --set-rpath '$$ORIGIN/../libso' --force-rpath '$(DESTDIR)$(libdir)'/infer/infer/bin/infer

endif # PLATFORM_ENV

else # PATCHELF

echo "ERROR: ldd (Linux?) found but not patchelf, please install patchelf" >&2; exit 1

endif # PATCHELF

else # LDD

ifneq ($(OTOOL),no)

ifneq ($(INSTALL_NAME_TOOL),no)

# this sort of assumes osx

# figure out where libgmp, libmpfr, and libsqlite3 are using otool

set -e; \

set -x; \

for lib in $$($(OTOOL) -L $(INFER_BIN) \

| cut -d ' ' -f 1 | tr -d '\t' \

| grep -e 'lib\(gmp\|mpfr\|sqlite\)'); do \

$(INSTALL_PROGRAM) -C "$$lib" '$(DESTDIR)$(libdir)'/infer/infer/libso/; \

done

set -x; \

for sofile in '$(DESTDIR)$(libdir)'/infer/infer/libso/*.dylib; do \

$(INSTALL_NAME_TOOL) -add_rpath "@executable_path" "$$sofile"; \

scripts/set_libso_path.sh '$(DESTDIR)$(libdir)'/infer/infer/libso "$$sofile"; \

done

$(INSTALL_NAME_TOOL) -add_rpath '@executable_path/../libso' '$(DESTDIR)$(libdir)'/infer/infer/bin/infer

scripts/set_libso_path.sh '$(DESTDIR)$(libdir)'/infer/infer/libso '$(DESTDIR)$(libdir)'/infer/infer/bin/infer

else # INSTALL_NAME_TOOL

echo "ERROR: otool (OSX?) found but not install_name_tool, please install install_name_tool" >&2; exit 1

endif # INSTALL_NAME_TOOL

else # OTOOL

echo "ERROR: need ldd + patchelf (Linux) or otool + install_name_tool (OSX) available" >&2; exit 1

endif # OTOOL

endif # LDD

# Nuke objects built from OCaml. Useful when changing the OCaml compiler, for instance.

.PHONY: ocaml_clean

ocaml_clean:

ifeq ($(BUILD_C_ANALYZERS),yes)

$(QUIET)$(call silent_on_success,Cleaning facebook-clang-plugins OCaml build,\

$(MAKE) -C $(FCP_DIR)/clang-ocaml clean)

endif

$(QUIET)$(call silent_on_success,Cleaning infer OCaml build,\

$(MAKE) -C $(SRC_DIR) clean)

$(QUIET)$(call silent_on_success,Cleaning ocamldot,\

$(MAKE) -C $(DEPENDENCIES_DIR)/ocamldot clean)

.PHONY: clean

clean: ocaml_clean test_clean

ifeq ($(BUILD_C_ANALYZERS),yes)

$(QUIET)$(call silent_on_success,Cleaning facebook-clang-plugins C++ build,\

$(MAKE) -C $(FCP_DIR) clean)

endif

$(QUIET)$(call silent_on_success,Cleaning Java annotations,\

$(MAKE) -C $(ANNOTATIONS_DIR) clean)

$(QUIET)$(call silent_on_success,Cleaning infer models,\

$(MAKE) -C $(MODELS_DIR) clean)

ifeq ($(IS_FACEBOOK_TREE),yes)

$(QUIET)$(call silent_on_success,Cleaning facebook/,\

$(MAKE) -C facebook clean)

endif

$(QUIET)$(call silent_on_success,Removing *.o and *.o.sh,\

find $(INFER_DIR)/tests \( -name '*.o' -o -name '*.o.sh' \) -delete)

$(QUIET)$(call silent_on_success,Removing build logs,\

$(REMOVE_DIR) _build_logs)

.PHONY: conf-clean

conf-clean: clean

$(REMOVE) .buckjavaversion

$(REMOVE) .buck-java11

$(REMOVE) Makefile.autoconf

$(REMOVE) acinclude.m4

$(REMOVE) aclocal.m4

$(REMOVE_DIR) autom4te.cache/

$(REMOVE) config.log

$(REMOVE) config.status

$(REMOVE) configure

$(REMOVE_DIR) $(MODELS_DIR)/c/out/

$(REMOVE_DIR) $(MODELS_DIR)/cpp/out/

$(REMOVE_DIR) $(MODELS_DIR)/java/infer-out/

$(REMOVE_DIR) $(MODELS_DIR)/objc/out/

OPAM_DEV_DEPS = ocp-indent merlin utop webbrowser

ifneq ($(EMACS),no)

OPAM_DEV_DEPS += tuareg

endif

.PHONY: devsetup

devsetup:

$(QUIET)[ $(OPAM) != "no" ] || (echo 'No `opam` found, aborting setup.' >&2; exit 1)

ifeq ($(OPAM_PIN_OCAMLFORMAT),yes)

$(QUIET)$(call silent_on_success,pinning ocamlformat,\

OPAMSWITCH=$(OPAMSWITCH); \

$(OPAM) pin add $$(cat "$(ABSOLUTE_ROOT_DIR)"/opam/ocamlformat) --yes --no-action)

$(QUIET)$(call silent_on_success,installing ocamlformat dependencies,\

OPAMSWITCH=$(OPAMSWITCH); \

$(OPAM) install --deps-only --locked --yes opam/ocamlformat.opam.locked)

$(QUIET)$(call silent_on_success,installing ocamlformat,\

OPAMSWITCH=$(OPAMSWITCH); \

$(OPAM) install ocamlformat --yes)

endif

$(QUIET)$(call silent_on_success,installing $(OPAM_DEV_DEPS),\

OPAMSWITCH=$(OPAMSWITCH); $(OPAM) install --yes --no-depexts user-setup $(OPAM_DEV_DEPS))

$(QUIET)if [ "$(PLATFORM)" = "Darwin" ] && [ x"$(GNU_SED)" = x"no" ]; then \

echo '$(TERM_INFO)*** Installing GNU sed$(TERM_RESET)' >&2; \

brew install gnu-sed; \

fi

$(QUIET)if [ "$(PLATFORM)" = "Darwin" ] && [ x"$(DIFF_CAN_FORMAT)" = x"no" ] ; then \

echo '$(TERM_INFO)*** Installing diffutils$(TERM_RESET)' >&2; \

brew install diffutils; \

fi

$(QUIET)if [ "$(PLATFORM)" = "Darwin" ] && ! $$(parallel -h | grep -q GNU); then \

echo '$(TERM_INFO)*** Installing GNU parallel$(TERM_RESET)' >&2; \

brew install parallel; \

fi

$(QUIET)if [ ! -d "$$HOME"/.parallel ]; then mkdir "$$HOME"/.parallel; fi

$(QUIET)touch "$$HOME"/.parallel/will-cite

# expand all occurrences of "~" in PATH and MANPATH

$(QUIET)infer_repo_is_in_path=$$(echo $${PATH//\~/$$HOME} | grep -q "$(ABSOLUTE_ROOT_DIR)"/infer/bin; echo $$?); \

infer_repo_is_in_manpath=$$(echo $${MANPATH//\~/$$HOME} | grep -q "$(ABSOLUTE_ROOT_DIR)"/infer/man; echo $$?); \