From 4271bebb68b09ddcc0d283ab16acaab399e22f13 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Mon, 21 Jul 2014 17:53:50 +0200
Subject: Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file
 exists

---
 ide/ideutils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 32d2bb97b3..424c41a602 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -249,7 +249,7 @@ let coqtop_path () =
 	    let i = Str.search_backward (Str.regexp_string "coqide") prog pos
             in
 	    String.blit "coqtop" 0 prog i 6;
-	    prog
+	    if Sys.file_exists prog then prog else "coqtop"
 	  with Not_found -> "coqtop"
   in file
 
-- 
cgit v1.2.3