Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args

 * Run "coqide -coqtop someothercoqtop" if you want to use a toplevel
   which isn't the one coming alongside coqide. To be documented,
   to be improved (maybe an field in coqide's preferences ?).
   coqide -h should display this kind of ide-specific option.

 * Since we now use create_process instead of open_process, we don't
   use /bin/sh, hence running Filename.quote on args was actually
   wrong.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13932 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 3 deletions

diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4
index 4db3ba143..9b567ce5f 100644
--- a/ide/coqide_main.ml4
+++ b/ide/coqide_main.ml4
@@ -12,11 +12,12 @@ let macready () = IFDEF MacInt THEN gtk_mac_ready () ELSE ()  END
 
 let () =
   let argl = Array.to_list Sys.argv in
+  let argl = Coqide.set_coqtop_path argl in
   let files = Coqide.process_argv argl in
   let args = List.filter (fun x -> not (List.mem x files)) (List.tl argl) in
-  Coqide.sup_args := List.map Filename.quote args;
-  Coq.check_connection !Coqide.sup_args;
-  Minilib.coqlib := Coq.coqlib ();
+  Coq.check_connection args;
+  Minilib.coqlib := Coq.check_coqlib args;
+  Coqide.sup_args := args;
   Coqide.ignore_break ();
     GtkMain.Rc.add_default_file (Ideutils.lib_ide_file ".coqide-gtk2rc");
     (try