From 79c7a54b2f89d9ad236defb711c4e9d445456195 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 2 Feb 2017 21:30:16 -0800 Subject: [PATCH] [infer][java] Add special configuration to run Infer as an external compiler Summary: Force the ABI generation mode when running Infer Reviewed By: jvillard Differential Revision: D4505673 fbshipit-source-id: 926a554 --- infer/lib/python/inferlib/bucklib.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/infer/lib/python/inferlib/bucklib.py b/infer/lib/python/inferlib/bucklib.py index 950e8dd33..f016ddbed 100644 --- a/infer/lib/python/inferlib/bucklib.py +++ b/infer/lib/python/inferlib/bucklib.py @@ -261,7 +261,9 @@ class Wrapper: logging.info('Nothing to analyze') else: self.timer.start('Running Buck ...') - javac_config = ['--config', 'tools.javac=' + infer_script] + javac_config = [ + '--config', 'tools.javac=' + infer_script, + '--config', 'java.abi_generation_mode=class'] buck_cmd = self.buck_cmd + javac_config subprocess.check_call(buck_cmd) self.timer.stop('Buck finished')