From c089377ca84a88401e83e747eefeb0a608c8a33b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 18 Nov 2003 10:38:50 +0000
Subject: Utilisation de la date cvs dans l'en-tete si make.result existe

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4932 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqtop.ml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 24e2b5d8db..3865926353 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -19,11 +19,20 @@ open States
 open Toplevel
 open Coqinit
 
+let get_version_date () =
+  try
+    let ch = open_in "make.result" in
+    let l = input_line ch in
+    let i = String.index l ' ' in
+    let j = String.index_from l (i+1) ' ' in
+    "checked out on "^(String.sub l (i+1) (j-i-1))
+  with _ -> Coq_config.date
+
 let print_header () =
   Printf.printf "Welcome to Coq %s%s (%s)\n"
     Coq_config.version 
     (if !Options.v7 then " (V7 syntax)" else "")
-    Coq_config.date;
+    (get_version_date ());
   flush stdout
 
 let memory_stat = ref false
-- 
cgit v1.2.3