From f930602d29ee71144b620629b3f7148e22e309c1 Mon Sep 17 00:00:00 2001
From: notin
Date: Wed, 11 Feb 2009 14:39:08 +0000
Subject: Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11915 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 checker/checker.ml | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

(limited to 'checker')

diff --git a/checker/checker.ml b/checker/checker.ml
index ebd54f7fb1..3d92893349 100644
--- a/checker/checker.ml
+++ b/checker/checker.ml
@@ -41,8 +41,18 @@ let path_of_string s =
 
 let (/) = Filename.concat
 
+let get_version_date () =
+  try
+    let coqlib = Envars.coqlib () in 
+    let ch = open_in (Filename.concat coqlib "revision") in
+    let ver = input_line ch in
+    let rev = input_line ch in
+      (ver,rev)
+  with _ -> (Coq_config.version,Coq_config.date)
+
 let print_header () =
-    Printf.printf "Welcome to Chicken %s (%s)\n" Revision.version Revision.revision;
+  let (ver,rev) = (get_version_date ()) in
+    Printf.printf "Welcome to Chicken %s (%s)\n" ver rev;
     flush stdout
 
 (* Adding files to Coq loadpath *)
@@ -157,8 +167,8 @@ let compile_files () =
 
 let version () =
   Printf.printf "The Coq Proof Checker, version %s (%s)\n"
-    Revision.version Revision.revision;
-  Printf.printf "compiled on %s\n" Revision.date;
+    Coq_config.version Coq_config.date;
+  Printf.printf "compiled on %s\n" Coq_config.compile_date;
   exit 0
 
 (* print the usage of coqtop (or coqc) on channel co *)
-- 
cgit v1.2.3