Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans le configure introduit par les révisions 11754 et 11755

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11756 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 12 deletions

diff --git a/checker/checker.ml b/checker/checker.ml
index 9c1802cab..ebd54f7fb 100644
--- a/checker/checker.ml
+++ b/checker/checker.ml
@@ -41,17 +41,8 @@ let path_of_string s =
 
 let (/) = Filename.concat
 
-let get_version_date () =
-  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,Coq_config.date)
-
 let print_header () =
-  let (ver,rev) = (get_version_date ()) in
-    Printf.printf "Welcome to Chicken %s (%s)\n" ver rev;
+    Printf.printf "Welcome to Chicken %s (%s)\n" Revision.version Revision.revision;
     flush stdout
 
 (* Adding files to Coq loadpath *)
@@ -166,8 +157,8 @@ let compile_files () =
 
 let version () =
   Printf.printf "The Coq Proof Checker, version %s (%s)\n"
-    Coq_config.version Coq_config.date;
-  Printf.printf "compiled on %s\n" Coq_config.compile_date;
+    Revision.version Revision.revision;
+  Printf.printf "compiled on %s\n" Revision.date;
   exit 0
 
 (* print the usage of coqtop (or coqc) on channel co *)