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