Bug#1007908: fiat: please make the build reproducible

[Chris Lamb]

Source: fiat
Version: 2019.2.0~git20210419.7d418fa-1
Severity: wishlist
Tags: patch
User: reproducible-builds at lists.alioth.debian.org
Usertags: randomness
X-Debbugs-Cc: reproducible-bugs at lists.alioth.debian.org

Hi,

Whilst working on the Reproducible Builds effort [0] we noticed that
fiat could not be built reproducibly.

This is because the output varies on whether the build process can
access the internet. A patch is attached that uses intersphinx
mapping to link to local documentation (vs. linking to the internet
version).

(Another solution would be to disable all internet access entirely
via the HTTPPROXY variables.)

 [0] https://reproducible-builds.org/


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-
-------------- next part --------------
--- a/debian/control	2022-03-18 11:53:52.626985138 +0000
--- b/debian/control	2022-03-18 12:02:48.148536524 +0000
@@ -7,6 +7,7 @@
  debhelper-compat (= 13),
  dh-python,
  python3-all (>= 3.4),
+ python3-doc,
  python3-setuptools,
  python3-sympy,
  python3-numpy,
@@ -39,7 +40,7 @@
 Multi-Arch: foreign
 Depends: libjs-mathjax, ${sphinxdoc:Depends},
  ${misc:Depends}
-Suggests: python3-fiat
+Suggests: python3-fiat, python3-doc
 Description: tabulation of finite element function spaces (docs)
  The FInite element Automatic Tabulator FIAT supports generation of arbitrary
  order instances of the Lagrange elements on lines, triangles, and tetrahedra.
--- a/debian/patches/reproducible-build.patch	1970-01-01 01:00:00.000000000 +0100
--- b/debian/patches/reproducible-build.patch	2022-03-18 12:01:41.928352935 +0000
@@ -0,0 +1,15 @@
+Description: Make the build reproducible
+Author: Chris Lamb <lamby at debian.org>
+Last-Update: 2022-03-18
+
+--- fiat-2019.2.0~git20210419.7d418fa.orig/doc/sphinx/source/conf.py
++++ fiat-2019.2.0~git20210419.7d418fa/doc/sphinx/source/conf.py
+@@ -263,7 +263,7 @@ texinfo_documents = [
+ 
+ 
+ # Example configuration for intersphinx: refer to the Python standard library.
+-intersphinx_mapping = {'http://docs.python.org/': None}
++intersphinx_mapping = {"python": ("/usr/share/doc/python3/html", None)}
+ 
+ 
+ def run_apidoc(_):
--- a/debian/patches/series	1970-01-01 01:00:00.000000000 +0100
--- b/debian/patches/series	2022-03-18 11:58:42.099844874 +0000
@@ -0,0 +1 @@
+reproducible-build.patch