[Pkg-ocaml-maint-commits] [why] 01/01: reproducible build

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit b74a3d726f1e15f91387b74ece6797eedf0b6ad7
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Oct 6 20:49:51 2016 +0200

    reproducible build
---
 debian/changelog                  |  4 ++-
 debian/patches/reproducible_build | 68 +++++++++++++++++++++++++++++++++++++++
 debian/patches/series             |  1 +
 3 files changed, 72 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index ca10733..cf90e81 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -20,6 +20,8 @@ why (2.36-1) UNRELEASED; urgency=medium
     - drop filter from d/gbp.conf
   * Due to disappearance of examples from upstream: don't build binary
     package why-examples
+  * Patch reproducible_build: remove timestamps (closes: #807051).
+    Thanks to Valentin Lorentz for the patch!
   * debian/control:
     - Dropped build-dependency on libfloat-coq (closes: #815684)
     - Bumped build-dependency on frama-c to magnesium.
@@ -35,7 +37,7 @@ why (2.36-1) UNRELEASED; urgency=medium
   * d/tests: add test krakato+alt-ergo
   * remove d/README.source which is obsolete.
 
- -- Ralf Treinen <treinen at debian.org>  Wed, 05 Oct 2016 08:27:12 +0200
+ -- Ralf Treinen <treinen at debian.org>  Thu, 06 Oct 2016 20:50:13 +0200
 
 why (2.34-4) unstable; urgency=medium
 
diff --git a/debian/patches/reproducible_build b/debian/patches/reproducible_build
new file mode 100644
index 0000000..d7fb3ce
--- /dev/null
+++ b/debian/patches/reproducible_build
@@ -0,0 +1,68 @@
+Index: why/src/whyweb.ml
+===================================================================
+--- why.orig/src/whyweb.ml	2016-10-06 20:36:29.418832407 +0200
++++ why/src/whyweb.ml	2016-10-06 20:36:29.414832383 +0200
+@@ -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
+Index: why/java/java_options.ml
+===================================================================
+--- why.orig/java/java_options.ml	2016-10-06 20:36:29.418832407 +0200
++++ why/java/java_options.ml	2016-10-06 20:39:24.707792835 +0200
+@@ -107,10 +107,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 - Why development team - 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"
+Index: why/jc/jc_options.ml
+===================================================================
+--- why.orig/jc/jc_options.ml	2016-10-06 20:36:29.418832407 +0200
++++ why/jc/jc_options.ml	2016-10-06 20:40:37.420178572 +0200
+@@ -115,10 +115,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"
+Index: why/src/options.ml
+===================================================================
+--- why.orig/src/options.ml	2016-10-06 20:36:29.418832407 +0200
++++ why/src/options.ml	2016-10-06 20:45:49.573775520 +0200
+@@ -199,10 +199,10 @@
+ 
+ let banner () =
+   eprintf "\
+-@\nThis is why version %s, compiled on %s\
++@\nThis is why version %s\
+ @\nCopyright (c) 2002-2014 Why development team - CNRS & INRIA & Univ. Paris-Sud\
+ @\nThis is free software with ABSOLUTELY NO WARRANTY (use option -warranty)\
+-@\n" Version.version Version.date;
++@\n" Version.version;
+   flush stderr
+ 
+ let usage () =
diff --git a/debian/patches/series b/debian/patches/series
index a88b92e..1a6b062 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 bprintf
 edge
+reproducible_build

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git