Source: rivet
Version: 1.8.3-1.1
Severity: wishlist
Tags: patch
User: reproducible-bui...@lists.alioth.debian.org
Usertags: timestamps

Hi,

While working on the “reproducible builds” effort [1], we have noticed
that rivet could not be built reproducibly.

The attached patch changes the value of HTML_TIMESTAMP in upstream's
doxyfile from YES to NO. Once applied the binary package rivet-reference
can be built reproducibly in our current experimental framework.

The binary package rivet-user-manual though is still unreproducible.

Please also consider forwarding this patch upstream.

Thanks!
akira

 [1]: https://wiki.debian.org/ReproducibleBuilds
Description: Set HTML_TIMESTAMP from YES to NO to make package reproducible

--- rivet-1.8.3.orig/Doxyfile.in
+++ rivet-1.8.3/Doxyfile.in
@@ -944,7 +944,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # page will contain the date and time when the page was generated. Setting
 # this to NO can help when comparing the output of multiple runs.
 
-HTML_TIMESTAMP         = YES
+HTML_TIMESTAMP         = NO
 
 # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
 # documentation will contain sections that can be hidden and shown after the
-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to