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