Source: maude Version: 2.7-1 Severity: wishlist Tags: patch User: [email protected] Usertags: timestamps X-Debbugs-Cc: [email protected]
Dear Maintainer, While working on the “reproducible builds” effort [1], we have noticed that 'maude' could not be built reproducibly. The attached patch removes build date from the banner. Once applied, maude can be built reproducibly in our current experimental framework. Regards, Alexis Bienvenüe. [1]: https://wiki.debian.org/ReproducibleBuilds
diff -Nru maude-2.7/debian/changelog maude-2.7/debian/changelog --- maude-2.7/debian/changelog 2015-12-16 22:57:27.000000000 +0100 +++ maude-2.7/debian/changelog 2016-04-04 09:04:27.000000000 +0200 @@ -1,3 +1,9 @@ +maude (2.7-1.0~reproducible1) unstable; urgency=medium + + * Strip build date from banner to get reproducible build. + + -- Alexis Bienvenüe <[email protected]> Mon, 04 Apr 2016 09:04:16 +0200 + maude (2.7-1) unstable; urgency=medium * New upstream version diff -Nru maude-2.7/debian/patches/series maude-2.7/debian/patches/series --- maude-2.7/debian/patches/series 2015-12-16 22:44:15.000000000 +0100 +++ maude-2.7/debian/patches/series 2016-04-04 09:02:26.000000000 +0200 @@ -1,3 +1,4 @@ search-datadir.patch bison-parse-param.patch getinput-size_t.patch +strip-build-date.patch diff -Nru maude-2.7/debian/patches/strip-build-date.patch maude-2.7/debian/patches/strip-build-date.patch --- maude-2.7/debian/patches/strip-build-date.patch 1970-01-01 01:00:00.000000000 +0100 +++ maude-2.7/debian/patches/strip-build-date.patch 2016-04-04 09:03:40.000000000 +0200 @@ -0,0 +1,16 @@ +Description: Strip build date + Strip build date from banner, for reproducibility reasons. +Author: Alexis Bienvenüe <[email protected]> + +--- maude-2.7.orig/src/Mixfix/banner.cc ++++ maude-2.7/src/Mixfix/banner.cc +@@ -53,8 +53,7 @@ printBanner(std::ostream& s) + Tty(Tty::GREEN) << 'e' << + Tty(Tty::RESET) << " ---\n"; + s << "\t\t /||||||||||||||||||\\\n"; +- s << "\t " << PACKAGE_STRING << " built: " << +- __DATE__ << ' ' << __TIME__ << '\n'; ++ s << "\t " << PACKAGE_STRING << '\n'; + s << "\t Copyright 1997-2014 SRI International\n"; + s << "\t\t " << ctime(&secs); + }
