Le 04/08/2015 18:41, Valentin Lorentz a écrit :
While working on the “reproducible builds” effort [1], we have noticed
that ocamlopt relies on temporary files whose names are generated
randomly and are part of the output files' symbols.
See #795784, #796336 and #786913.
Therefore, we need a
Le 04/08/2015 18:41, Valentin Lorentz a écrit :
While working on the “reproducible builds” effort [1], we have noticed
that ocamlopt relies on temporary files whose names are generated
randomly and are part of the output files' symbols.
ocamlc relies on temporary files as well. In general,
Le 09/08/2015 21:46, Chris Lamb a écrit :
My thoughts are that we can -- and should -- achieve the end result by
making the calculation deterministic in all cases, ie. moving away from
using an RNG altogher for this and basing the filename based on its
contents.
You mean, generate the file
After experimenting, it turns out the filename is stored in .o files
(and the final executable)
Right, that's the whole problem :)
You mean, generate the file using the temporary name then rename it into
something that uses its hash?
Well, something like that. We need to be a little clever
Therefore, we need a way to make these names determinist.
I looked into this a few months ago but my OCaml is very rusty (it would
require a change in at least 2 places).
My thoughts are that we can -- and should -- achieve the end result by
making the calculation deterministic in all cases,
Source: ocaml
Version: 4.01.0
Severity: wishlist
User: reproducible-bui...@lists.alioth.debian.org
Usertags: randomness
X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org
While working on the “reproducible builds” effort [1], we have noticed
that ocamlopt relies on temporary files whose
6 matches
Mail list logo