From 31e205ae752c5189143ef9ce87a3536db0cdeb62 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 16 Feb 2021 09:02:37 +0100
Subject: Get rid of the compilation date from the binaries to make them more
 stable.

Contrarily to the comments, Coq_config.date was not the "release date" but
just another "compile date".
---
 checker/checker.ml | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

(limited to 'checker')

diff --git a/checker/checker.ml b/checker/checker.ml
index bdfc5f07be..3a16b7f407 100644
--- a/checker/checker.ml
+++ b/checker/checker.ml
@@ -48,19 +48,17 @@ let path_of_string s =
 
 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 _ -> (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
-  Printf.printf "Welcome to Chicken %s (%s)\n" ver rev;
-  flush stdout
+  Printf.printf "Welcome to Chicken %s\n%!" (get_version ())
 
 (* Adding files to Coq loadpath *)
 
@@ -170,9 +168,7 @@ let compile_files senv =
     ~check:(List.rev !compile_list)
 
 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;
+  Printf.printf "The Coq Proof Checker, version %s\n" Coq_config.version;
   exit 0
 
 (* print the usage of coqtop (or coqc) on channel co *)
-- 
cgit v1.2.3