diff options
author | Enrico Tassi <enrico.tassi@inria.fr> | 2015-03-10 17:33:14 +0100 |
---|---|---|
committer | Enrico Tassi <enrico.tassi@inria.fr> | 2015-03-11 11:44:54 +0100 |
commit | 106b002b8e2d45c8824b145f29f5680317de78c4 (patch) | |
tree | f4f3d88b93bf11b46928af2d60f289a71bee1f68 /ide/coqide.ml | |
parent | d26602693de76604648e24f103ba6aa5f80fb556 (diff) |
CoqIDE: load first _CoqProject file found and notify the user
Diffstat (limited to 'ide/coqide.ml')
-rw-r--r-- | ide/coqide.ml | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 861689800..87efd17d2 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -84,14 +84,15 @@ let pr_exit_status = function | _ -> " failed" let make_coqtop_args = function - |None -> !sup_args + |None -> "", !sup_args |Some the_file -> let get_args f = Project_file.args_from_project f !custom_project_files prefs.project_file_name in match prefs.read_project with - |Ignore_args -> !sup_args - |Append_args -> get_args the_file @ !sup_args + |Ignore_args -> "", !sup_args + |Append_args -> + let fname, args = get_args the_file in fname, args @ !sup_args |Subst_args -> get_args the_file (** Setting drag & drop on widgets *) @@ -120,7 +121,10 @@ let set_drag (w : GObj.drag_ops) = (** Session management *) let create_session f = - let ans = Session.create f (make_coqtop_args f) in + let project_file, args = make_coqtop_args f in + if project_file <> "" then + flash_info (Printf.sprintf "Reading options from %s" project_file); + let ans = Session.create f args in let _ = set_drag ans.script#drag in ans |