Bug#1067101: storm-lang: please make the build reproducible
Chris Lamb
lamby at debian.org
Mon Mar 18 13:21:53 GMT 2024
Source: storm-lang
Version: 0.6.20-1
Severity: wishlist
Tags: patch
User: reproducible-builds at lists.alioth.debian.org
Usertags: timestamps
X-Debbugs-Cc: reproducible-bugs at lists.alioth.debian.org
Hi,
Whilst working on the Reproducible Builds effort [0], we noticed that
storm-lang could not be built reproducibly:
â â â âââ ./usr/share/doc/storm-lang/html/05-Downloads/index.html
â â â â @@ -322,15 +322,15 @@
[â¦]
â â â â </p>
â â â â -<h2>Binary releases for 0.6.20-1+debian (2024-02-21)</h2>
â â â â +<h2>Binary releases for 0.6.20-1+debian (2024-02-23)</h2>
â â â â <ul>
A patch is attached that modifies an *existing* patch to ensure that
this date does not vary depending on the build machine's timezone.
[0] https://reproducible-builds.org/
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` lamby at debian.org / chris-lamb.co.uk
`-
-------------- next part --------------
diff --git a/debian/patches/build-files b/debian/patches/build-files
index ec9c5ba..b33396c 100644
--- a/debian/patches/build-files
+++ b/debian/patches/build-files
@@ -145,5 +145,5 @@ Author: Filip Strömbäck <filip at fprg.se>
+#!/bin/bash
+
+date=$(sed -En 's/--.*<.*> ([^ ].*)/\1/p' debian/changelog | head -n 1)
-+date=$(date --date="$date" "+%Y-%m-%d")
++date=$(date --utc --date="$date" "+%Y-%m-%d")
+release/Storm_mps -r root -f markdown.doc.generate -- --clear --date=$date Storm storm doc "$1"
More information about the Reproducible-bugs
mailing list