diff options
| author | coqbot-app[bot] | 2021-02-25 14:31:29 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-25 14:31:29 +0000 |
| commit | 6ef58b0e9348d49ccf456d9fd475368c3dc1aafa (patch) | |
| tree | 2bfac97ec9b968f50b682ef585a46488cc053e8c /toplevel | |
| parent | 87fc1db11d152af38b5e0d01d7ba925035c396a9 (diff) | |
| parent | 31e205ae752c5189143ef9ce87a3536db0cdeb62 (diff) | |
Merge PR #13863: Get rid of the compilation date from the binaries to make them more stable.
Reviewed-by: SkySkimmer
Reviewed-by: gares
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqtop.ml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 32e942f0d0..bb44d9cdee 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -18,19 +18,17 @@ let () = at_exit flush_all let ( / ) = Filename.concat -let get_version_date () = +let get_version () = try let ch = open_in (Envars.coqlib () / "revision") in let ver = input_line ch in let rev = input_line ch in let () = close_in ch in - (ver,rev) - with e when CErrors.noncritical e -> - (Coq_config.version,Coq_config.date) + Printf.sprintf "%s (%s)" ver rev + with _ -> Coq_config.version let print_header () = - let (ver,rev) = get_version_date () in - Feedback.msg_info (str "Welcome to Coq " ++ str ver ++ str " (" ++ str rev ++ str ")"); + Feedback.msg_info (str "Welcome to Coq " ++ str (get_version ())); flush_all () |