Turn on on-demand infrastructure by default

Reviewed By: jvillard

Differential Revision: D2960030

fb-gh-sync-id: 8777abb
shipit-source-id: 8777abb

infer/lib/python/inferlib/analyze.py

@@ -441,10 +441,6 @@ class Infer:
         elif self.args.project_root:
             infer_options += ['-project_root', self.args.project_root]
 
-        if self.args.analyzer in [config.ANALYZER_CHECKERS,
-                                  config.ANALYZER_TRACING]:
-            os.environ['INFER_ONDEMAND'] = 'Y'
-
         os.environ['INFER_OPTIONS'] = ' '.join(infer_options)
 
         if self.args.multicore == 1:

infer/src/backend/ondemand.ml

@@ -15,8 +15,8 @@ module F = Format
 let trace () = Config.from_env_variable "INFER_TRACE_ONDEMAND"
 let one_cluster_per_procedure () = false
 
-let () = Config.ondemand_enabled :=
-    Config.from_env_variable "INFER_ONDEMAND"
+let () =
+  Config.ondemand_enabled := true
 
 let across_files () = true