From bc1e048fe31255ee0e20e97bed866d27565f0393 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Fri, 16 Nov 2018 12:53:47 -0800 Subject: [PATCH] [compilation database] Disable C++ modules Reviewed By: da319 Differential Revision: D13102792 fbshipit-source-id: 96fce32c6 --- infer/src/integration/CaptureCompilationDatabase.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/infer/src/integration/CaptureCompilationDatabase.ml b/infer/src/integration/CaptureCompilationDatabase.ml index 82b2cca04..ec41cb591 100644 --- a/infer/src/integration/CaptureCompilationDatabase.ml +++ b/infer/src/integration/CaptureCompilationDatabase.ml @@ -74,7 +74,9 @@ let get_compilation_database_files_buck ~prog ~args = let targets_args = Buck.store_args_in_file targets in let build_args = (command :: List.rev_append rev_not_targets (List.rev Config.buck_build_args_no_inline)) - @ ("--config" :: "*//cxx.pch_enabled=false" :: targets_args) + @ (* Infer doesn't support C++ modules nor precompiled headers yet (T35656509) *) + "--config" :: "*//cxx.pch_enabled=false" :: "--config" :: "*//cxx.modules_default=false" + :: "--config" :: "*//cxx.modules=False" :: targets_args in Logging.(debug Linters Quiet) "Processed buck command is: 'buck %a'@\n" (Pp.seq F.pp_print_string) build_args ;