diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-13 16:50:10 +0200 |
|---|---|---|
| committer |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-07-20 15:40:48 +0200 |
| commit | da2d3108f126b3ff7bface118319bfa43829a895 (patch) | |
| tree | da5dd855eba6ddbb0010b37d3a03f36be61e7b2d /tools | |
| parent | 52efb4dfb9810bbb749185f24916a43331abc817 (diff) | |
In fake_ide, call coqtop.exe instead of coqtop on Win32.
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 |