Revert "[version check] add a check for the environment variable INFERVERSION"

Summary:
This reverts commit 9d5c322202a479e73b60f00ffb318f1c7948e407.
INFERVERSION forcing a version check proved to be problematic for
integrations, thus is reverted.

Reviewed By: ngorogiannis

Differential Revision: D17627638

fbshipit-source-id: f988207aa

infer/src/base/Config.ml

@@ -461,8 +461,6 @@ let infer_top_results_dir_env_var = "INFER_TOP_RESULTS_DIR"
 
 let infer_inside_maven_env_var = "INFER_INSIDE_MAVEN"
 
-let infer_version_env_var = "INFERVERSION"
-
 let maven = CLOpt.is_env_var_set infer_inside_maven_env_var
 
 let env_inside_maven = `Extend [(infer_inside_maven_env_var, "1")]

infer/src/base/Config.mli

@@ -103,8 +103,6 @@ val idempotent_getters : bool
 
 val infer_py_argparse_error_exit_code : int
 
-val infer_version_env_var : string
-
 val initial_analysis_time : float
 
 val ivar_attributes : string

infer/src/infer.ml

@@ -134,12 +134,6 @@ let () =
           Version.versionString
   | None ->
       () ) ;
-  Sys.getenv Config.infer_version_env_var
-  |> Option.iter ~f:(fun version ->
-         if not (String.is_prefix version ~prefix:Version.commit) then
-           L.(die UserError)
-             "Version '%s' (in environment variable %s) does not match commit hash '%s'" version
-             Config.infer_version_env_var Version.commit ) ;
   if Config.print_builtins then Builtin.print_and_exit () ;
   setup () ;
   log_environment_info () ;