From da2d3108f126b3ff7bface118319bfa43829a895 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 13 Jul 2017 16:50:10 +0200
Subject: In fake_ide, call coqtop.exe instead of coqtop on Win32.

---
 tools/fake_ide.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index 2718461243..258633d29b 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
-- 
cgit v1.2.3