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

[Chris Lamb <lamby@debian.org>]

> 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 otherwise we
introduce one of those tempfile security issues during build. We
probably can't just store an entirely deterministic name (eg.
"always-the-same.o") as they probably need to be unique..

> Is there a way to remove/rename the file name that appears in a .o file?

Well, we can strip it. I posted a diff to dh_ocaml here (as well as some
other details):

  http://anonscm.debian.org/cgit/reproducible/notes.git/tree/issues.yml#n506

.. and as it mentions we could even do this in dh_strip. Again, I simply
don't know enough about the OCaml toolchain to know whether it would be
fine to strip these out, particularly with regards to debugging.


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-