Source: why Version: 2.34-4 Severity: wishlist Tags: patch User: reproducible-builds@lists.alioth.debian.org Usertags: timestamps X-Debbugs-Cc: reproducible-builds@lists.alioth.debian.org Hi! While working on the “reproducible builds” effort [1], we have noticed that Why could not be built reproducibly. The attached patch removes extra timestamps from the build system. Once applied, and after the ocaml toolchain is patch, Why can be built reproducibly in our experimental framework. [1]: https://wiki.debian.org/ReproducibleBuilds Regards, Valentin
diff -ru why-2.34.orig/intf/pprinter.ml why-2.34/intf/pprinter.ml --- why-2.34.orig/intf/pprinter.ml 2015-12-04 13:38:21.173150926 +0000 +++ why-2.34/intf/pprinter.ml 2015-12-04 13:46:01.000000000 +0000 @@ -154,8 +154,7 @@ " Welcome to GWhy (the Graphical VC viewer for the Why platform) -This is Why version " ^ Version.version ^ -", compiled on " ^ Version.date ^ " +This is Why version " ^ Version.version ^ " Copyright (c) 2002-2010 ProVal team, INRIA This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)" diff -ru why-2.34.orig/java/java_options.ml why-2.34/java/java_options.ml --- why-2.34.orig/java/java_options.ml 2015-12-04 13:38:21.129150925 +0000 +++ why-2.34/java/java_options.ml 2015-12-04 14:09:44.000000000 +0000 @@ -105,10 +105,10 @@ let files () = List.rev !files_ let version () = - Printf.printf "This is Krakatoa version %s, compiled on %s + Printf.printf "This is Krakatoa version %s Copyright (c) 2006-2014 - CNRS/INRIA/Univ Paris-Sud This is free software with ABSOLUTELY NO WARRANTY (use option -warranty) -" Version.version Version.date; +" Version.version; exit 0 let usage = "krakatoa [options] files" diff -ru why-2.34.orig/jc/jc_options.ml why-2.34/jc/jc_options.ml --- why-2.34.orig/jc/jc_options.ml 2015-12-04 13:38:21.173150926 +0000 +++ why-2.34/jc/jc_options.ml 2015-12-04 14:09:44.000000000 +0000 @@ -116,10 +116,10 @@ let pos_table = Hashtbl.create 97 let version () = - Printf.printf "This is Jessie version %s, compiled on %s + Printf.printf "This is Jessie version %s Copyright (c) 2006-2014 - CNRS/INRIA/Univ Paris-Sud This is free software with ABSOLUTELY NO WARRANTY (use option -warranty) -" Version.version Version.date; +" Version.version; exit 0 let usage = "jessie [options] files" diff -ru why-2.34.orig/.pc/applied-patches why-2.34/.pc/applied-patches --- why-2.34.orig/.pc/applied-patches 2015-12-04 13:38:21.173150926 +0000 +++ why-2.34/.pc/applied-patches 2015-12-04 14:09:44.701216378 +0000 @@ -2,3 +2,5 @@ bprintf makefile edge +one +two Seulement dans why-2.34/.pc: one Seulement dans why-2.34/.pc: two diff -ru why-2.34.orig/src/options.ml why-2.34/src/options.ml --- why-2.34.orig/src/options.ml 2015-12-04 13:38:21.117150924 +0000 +++ why-2.34/src/options.ml 2015-12-04 14:09:44.000000000 +0000 @@ -199,10 +199,10 @@ let banner () = eprintf "\ -This is why version %s, compiled on %s +This is why version %s Copyright (c) 2002-2014 CNRS/INRIA/Univ Paris-Sud This is free software with ABSOLUTELY NO WARRANTY (use option -warranty) -" Version.version Version.date; +" Version.version; flush stderr let usage () = diff -ru why-2.34.orig/src/whyweb.ml why-2.34/src/whyweb.ml --- why-2.34.orig/src/whyweb.ml 2015-12-04 13:38:21.113150924 +0000 +++ why-2.34/src/whyweb.ml 2015-12-04 14:09:44.000000000 +0000 @@ -137,10 +137,10 @@ assert false) let version () = - printf "This is WhyWeb version %s, compiled on %s + printf "This is WhyWeb version %s Copyright (c) 2008 - Claude Marché This is free software with ABSOLUTELY NO WARRANTY (use option -warranty) -" Version.version Version.date; +" Version.version; exit 0 let port = ref 2372 diff -ru why-2.34.orig/tools/cadlog.ml why-2.34/tools/cadlog.ml --- why-2.34.orig/tools/cadlog.ml 2015-12-04 13:38:21.173150926 +0000 +++ why-2.34/tools/cadlog.ml 2015-12-04 13:46:01.000000000 +0000 @@ -66,10 +66,10 @@ if !krakatoa then "Krakatoa" else "Caduceus" -let version,date = +let version = if !jessie || !krakatoa - then Version.version, Version.date else - Cversion.version, Cversion.date + then Version.version else + Cversion.version let d,m,y = let tm = localtime (time ()) in @@ -77,7 +77,6 @@ let () = fprintf fmt "%8s version : %s@." tool version; - fprintf fmt "%8s compilation date: %s@." tool date; fprintf fmt "Bench execution date : %d/%d/%d@." d m y; try while true do
Attachment:
signature.asc
Description: OpenPGP digital signature