@ -16,7 +16,7 @@ endif
DIRECT_TESTS =
DIRECT_TESTS =
i f e q ( $( BUILD_C_ANALYZERS ) , y e s )
i f e q ( $( BUILD_C_ANALYZERS ) , y e s )
DIRECT_TESTS += c_infer_test c_frontend_test cpp_infer _test cpp_frontend_test cpp_quandary_test
DIRECT_TESTS += c_errors_test c_frontend_test cpp_checkers_test cpp_errors _test cpp_frontend_test cpp_quandary_test
e n d i f
e n d i f
i f e q ( $( BUILD_JAVA_ANALYZERS ) , y e s )
i f e q ( $( BUILD_JAVA_ANALYZERS ) , y e s )
DIRECT_TESTS += \
DIRECT_TESTS += \
@ -24,7 +24,7 @@ DIRECT_TESTS += \
java_quandary_test java_crashcontext_test java_harness_test
java_quandary_test java_crashcontext_test java_harness_test
e n d i f
e n d i f
i f n e q ( $( XCODE_SELECT ) , n o )
i f n e q ( $( XCODE_SELECT ) , n o )
DIRECT_TESTS += objc_frontend_test objc_inf er_test objc_linters objcpp_frontend_test objcpp_linters
DIRECT_TESTS += objc_frontend_test objc_errors _test objc_linters_test objcpp_frontend_test objcpp_linters_test
e n d i f
e n d i f
.PHONY : all
.PHONY : all
@ -120,92 +120,22 @@ endif
ocaml_unit_test : test_this_build
ocaml_unit_test : test_this_build
$( TEST_BUILD_DIR) /unit/inferunit.byte
$( TEST_BUILD_DIR) /unit/inferunit.byte
.PHONY : frontend_replace
DIRECT_TESTS_REPLACE = $( patsubst %_frontend_test,%_frontend_replace,$( filter %_frontend_test,$( DIRECT_TESTS) ) )
frontend_replace : c_frontend_replace cpp_frontend_replace objc_frontend_replace objcpp_frontend_replace
.PHONY : c_frontend_replace
c_frontend_replace :
$( MAKE) -C ./infer/tests/codetoanalyze/c/frontend replace
.PHONY : c_frontend_test
c_frontend_test :
$( MAKE) -C ./infer/tests/codetoanalyze/c/frontend test
.PHONY : c_infer_test
c_infer_test :
$( MAKE) -C ./infer/tests/codetoanalyze/c/errors test
.PHONY : cpp_frontend_replace
cpp_frontend_replace :
$( MAKE) -C ./infer/tests/codetoanalyze/cpp/frontend replace
.PHONY : cpp_frontend_test
cpp_frontend_test :
$( MAKE) -C ./infer/tests/codetoanalyze/cpp/frontend test
.PHONY : cpp_infer_test
cpp_infer_test :
$( MAKE) -C ./infer/tests/codetoanalyze/cpp/errors test
.PHONY : cpp_quandary_test
cpp_quandary_test :
$( MAKE) -C ./infer/tests/codetoanalyze/cpp/quandary test
.PHONY : java_checkers_test
java_checkers_test :
$( MAKE) -C ./infer/tests/codetoanalyze/java/checkers test
.PHONY : java_crashcontext_test
java_crashcontext_test :
$( MAKE) -C ./infer/tests/codetoanalyze/java/crashcontext test
.PHONY : java_eradicate_test
java_eradicate_test :
$( MAKE) -C ./infer/tests/codetoanalyze/java/eradicate test
.PHONY : java_harness_test
.PHONY : frontend_replace
java_harness_test :
frontend_replace : $( DIRECT_TESTS_REPLACE )
$( MAKE) -C ./infer/tests/codetoanalyze/java/harness test
d e f i n e g e n _ d i r e c t _ t e s t _ r u l e
.PHONY : java_infer_test
.PHONY : $( 1)
java_infer_test :
$(1) :
$( MAKE) -C ./infer/tests/codetoanalyze/java/infer test
$( MAKE) -C \
infer/tests/codetoanalyze/$( shell printf $( 1) | cut -f 1 -d _) /$( shell printf $( 1) | cut -f 2 -d _) \
.PHONY : java_tracing_test
$( shell printf $( 1) | cut -f 3 -d _)
java_tracing_test :
e n d e f
$( MAKE) -C ./infer/tests/codetoanalyze/java/tracing test
$( foreach test ,$ ( DIRECT_TESTS ) $ ( DIRECT_TESTS_REPLACE ) ,\
.PHONY : java_quandary_test
$( eval \
java_quandary_test :
$( call gen_direct_test_rule,$( test ) ) ) )
$( MAKE) -C ./infer/tests/codetoanalyze/java/quandary test
.PHONY : objc_frontend_replace
objc_frontend_replace :
$( MAKE) -C ./infer/tests/codetoanalyze/objc/frontend replace
.PHONY : objc_frontend_test
objc_frontend_test :
$( MAKE) -C ./infer/tests/codetoanalyze/objc/frontend test
.PHONY : objc_infer_test
objc_infer_test :
$( MAKE) -C ./infer/tests/codetoanalyze/objc/errors test
.PHONY : objc_linters
objc_linters :
$( MAKE) -C ./infer/tests/codetoanalyze/objc/linters test
.PHONY : objcpp_frontend_replace
objcpp_frontend_replace :
$( MAKE) -C ./infer/tests/codetoanalyze/objcpp/frontend replace
.PHONY : objcpp_frontend_test
objcpp_frontend_test :
$( MAKE) -C ./infer/tests/codetoanalyze/objcpp/frontend test
.PHONY : objcpp_linters
objcpp_linters :
$( MAKE) -C ./infer/tests/codetoanalyze/objcpp/linters test
.PHONY : direct_tests
.PHONY : direct_tests
direct_tests :
direct_tests :