From ae7979b416cc0dd3a1f5a1daa52f98f1f63043df Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Wed, 2 Nov 2016 16:51:45 -0700 Subject: [PATCH] [multicore] Use Config.bin_dir to find InferAnalyze Summary: ClusterMakefile need not depend on Sys.executable_name referring to InferAnalyze, use Config.bin_dir instead. Reviewed By: jvillard Differential Revision: D4110730 fbshipit-source-id: c330bb3 --- infer/src/backend/clusterMakefile.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/infer/src/backend/clusterMakefile.ml b/infer/src/backend/clusterMakefile.ml index c8952bfda..33d4f8571 100644 --- a/infer/src/backend/clusterMakefile.ml +++ b/infer/src/backend/clusterMakefile.ml @@ -11,6 +11,7 @@ open! Utils module L = Logging module F = Format +module CLOpt = CommandLineOption (** Module to create a makefile with dependencies between clusters *) @@ -49,8 +50,8 @@ let cluster_should_be_analyzed cluster = let pp_prolog fmt clusters = - F.fprintf fmt "INFERANALYZE= %s -results_dir '%s'\n@." - Sys.executable_name + let inferanalyze = IList.assoc (=) CLOpt.Analyze (IList.map (fun (n,a) -> (a,n)) CLOpt.exes) in + F.fprintf fmt "INFERANALYZE= %s -results_dir '%s'\n@." (Config.bin_dir // inferanalyze) (Escape.escape_map (fun c -> if c = '#' then Some "\\#" else None) Config.results_dir);