diff options
| author | Pierre-Marie Pédrot | 2018-11-17 19:04:24 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-17 19:04:24 +0100 |
| commit | 7d78085e47ec375c23546dfe5df9eb1b4b7d0f39 (patch) | |
| tree | 8722726b471087faf680769123274e4974841fa3 /ide | |
| parent | 71938f0de10e1f3b69b1158b80b4898bf3a7dfdb (diff) | |
| parent | 4e9bc09df64cd15e85c19ecabbc9580c00771176 (diff) | |
Merge PR #8914: [CoqProject] Abstract warning function for CoqProject readers.
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 75b0fd7455..40b8d2f484 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -103,7 +103,8 @@ let make_coqtop_args fname = with | None -> "", base_args | Some proj -> - proj, coqtop_args_from_project (read_project_file proj) @ base_args + let warning_fn x = Feedback.msg_warning Pp.(str x) in + proj, coqtop_args_from_project (read_project_file ~warning_fn proj) @ base_args in let args = match fname with | None -> args @@ -112,7 +113,6 @@ let make_coqtop_args fname = else "-topfile"::fname::args in proj, args -;; (** Setting drag & drop on widgets *) @@ -1355,7 +1355,8 @@ let read_coqide_args argv = if project_files <> None then (output_string stderr "Error: multiple -f options"; exit 1); let d = CUnix.canonical_path_name (Filename.dirname file) in - let p = CoqProject_file.read_project_file file in + let warning_fn x = Format.eprintf "%s@\n%!" x in + let p = CoqProject_file.read_project_file ~warning_fn file in filter_coqtop coqtop (Some (d,p)) out args |"-f" :: [] -> output_string stderr "Error: missing project file name"; exit 1 |