Convert INFER_ONDEMAND_FILE env var to clopt

Reviewed By: martinoluca

Differential Revision: D3469850

fbshipit-source-id: 64654bb

infer/src/backend/config.ml

@@ -550,6 +550,10 @@ and calls_csv =
   CLOpt.mk_option ~deprecated:["calls"] ~long:"calls-csv" ~f:create_outfile
     ~meta:"calls.csv" "Write individual calls in csv format to calls.csv"
 
+and changed_files_index =
+  CLOpt.mk_string_opt ~long:"changed-files-index" ~exes:CLOpt.[Toplevel] ~meta:"file"
+    "Specify the file containing the list of files from which reactive analysis should start"
+
 and clang_include_to_override =
   CLOpt.mk_string_opt ~long:"clang-include-to-override" ~meta:"dir"
     "Use this option in the uncommon case where the normal compilation process overrides the \
@@ -1289,6 +1293,7 @@ and bugs_csv = !bugs_csv
 and bugs_json = !bugs_json
 and bugs_txt = !bugs_txt
 and bugs_xml = !bugs_xml
+and changed_files_index = !changed_files_index
 and calls_csv = !calls_csv
 and checkers = !checkers
 (** should the checkers be run? *)

infer/src/backend/config.mli

@@ -141,6 +141,7 @@ val bugs_csv : outfile option
 val bugs_json : outfile option
 val bugs_txt : outfile option
 val bugs_xml : outfile option
+val changed_files_index : string option
 val calls_csv : outfile option
 val checkers : bool
 val checkers_enabled : bool

infer/src/backend/ondemand.ml

@@ -16,12 +16,9 @@ module F = Format
 
 let trace () = Config.from_env_variable "INFER_TRACE_ONDEMAND"
 
-(** Name of the ondemand file *)
-let ondemand_file () = Config.get_env_variable "INFER_ONDEMAND_FILE"
-
 (** Read the directories to analyze from the ondemand file. *)
 let read_dirs_to_analyze () =
-  let lines_opt = match ondemand_file () with
+  let lines_opt = match Config.changed_files_index with
     | None ->
         None
     | Some fname ->