Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt

[Stéphane Glondu <glondu@debian.org>]

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 using the temporary name then rename it into
something that uses its hash?

> There may also be a solution where we simply don't include the filename
> in the .a or overwrite it with some determistic one (as described above)
> even if random *temporary* file is used during the build. After all,
> they are files under /tmp/ which never exist in the binary package.

After experimenting, it turns out the filename is stored in .o files
(and the final executable), and I couldn't find a way to prevent it
(except compiling with gcc -x c -c - < file.c). Is there a way to
remove/rename the file name that appears in a .o file?

Cheers,

-- 
Stéphane