diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/fake_ide.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml index 271846124..258633d29 100644 --- a/tools/fake_ide.ml +++ b/tools/fake_ide.ml @@ -298,7 +298,8 @@ let main = (fun _ -> prerr_endline "Broken Pipe (coqtop died ?)"; exit 1)); let def_args = ["--xml_format=Ppcmds"; "-ideslave"] in let coqtop_name, coqtop_args, input_file = match Sys.argv with - | [| _; f |] -> "coqtop", Array.of_list def_args, f + | [| _; f |] -> (if Sys.os_type = "Unix" then "coqtop" else "coqtop.exe"), + Array.of_list def_args, f | [| _; f; ct |] -> let ct = Str.split (Str.regexp " ") ct in List.hd ct, Array.of_list (def_args @ List.tl ct), f |