diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index e58a1bd192..c6aad9ffab 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -52,21 +52,31 @@ let init () = let i = ref 0 -let short_version () = - let revision = - if Glib.Utf8.validate Revision.revision - then Revision.revision +let get_version_date () = + let date = + if Glib.Utf8.validate Coq_config.date + then Coq_config.date else "<date not printable>" in - Printf.sprintf "The Coq Proof Assistant, version %s (%s)\n" Revision.version revision + try + let ch = open_in (Coq_config.coqsrc^"/revision") in + let ver = input_line ch in + let rev = input_line ch in + (ver,rev) + with _ -> (Coq_config.version,date) + +let short_version () = + let (ver,date) = get_version_date () in + Printf.sprintf "The Coq Proof Assistant, version %s (%s)\n" ver date let version () = + let (ver,date) = get_version_date () in Printf.sprintf "The Coq Proof Assistant, version %s (%s)\ \nArchitecture %s running %s operating system\ \nGtk version is %s\ \nThis is the %s version (%s is the best one for this architecture and OS)\ \n" - Revision.version Revision.revision + ver date Coq_config.arch Sys.os_type (let x,y,z = GMain.Main.version in Printf.sprintf "%d.%d.%d" x y z) (if Mltop.is_native then "native" else "bytecode") |