From 3fe1d8e42877e07e744911fcd2b5a9c7afe988f6 Mon Sep 17 00:00:00 2001
From: monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 4 Feb 2003 16:45:50 +0000
Subject: interface GTK2 experimentale

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index 6f65d324b..ad6623328 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -61,6 +61,7 @@ let opt        = ref false
 let full       = ref false
 let top        = ref false
 let searchisos = ref false
+let coqide     = ref false
 let echo       = ref false
 
 let src_dirs = [ []; [ "config" ]; [ "toplevel" ] ]
@@ -138,6 +139,7 @@ Options are:
   -full         Link high level tactics
   -top          Build Coq on a ocaml toplevel (incompatible with -opt)
   -searchisos   Build a toplevel for SearchIsos
+  -ide          Build a toplevel for the Coq IDE
   -R dir        Specify recursively directories for Ocaml\n";
   exit 1
 
@@ -152,6 +154,8 @@ let parse_args () =
     | "-top" :: rem -> top := true ; parse (op,fl) rem
     | "-searchisos" :: rem ->
         searchisos := true; parse (op,fl) rem
+    | "-ide" :: rem ->
+        coqide := true; parse (op,fl) rem
     | "-echo" :: rem -> echo := true ; parse (op,fl) rem
     | ("-cclib"|"-ccopt"|"-I"|"-o" as o) :: rem' ->
 	begin
@@ -259,7 +263,9 @@ let create_tmp_main_file modules =
     (* Start the right toplevel loop: Coq or Coq_searchisos *)
     if !searchisos then 
       output_string oc "Cmd_searchisos_line.start();;\n"
-    else 
+    else if !coqide then
+      output_string oc "Coqide.start();;\n"
+    else
       output_string oc "Coqtop.start();;\n";
     close_out oc;
     main_name
-- 
cgit v1.2.3