diff options
| author |  monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-04 16:45:50 +0000 |
|---|---|---|
| committer | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-04 16:45:50 +0000 |
| commit | 3fe1d8e42877e07e744911fcd2b5a9c7afe988f6 (patch) | |
| tree | 7a3fc7da6f7f8880ee693dc00ada57c4ab980e05 /scripts | |
| parent | 341eb14c1e5770eab5c12cbf5e38d7d6b4fa3599 (diff) | |
interface GTK2 experimentale
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqmktop.ml | 8 |
1 files changed, 7 insertions, 1 deletions
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 |