[Reproducible-builds] Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt

[Valentin Lorentz]

Source: ocaml
Version: 4.01.0
Severity: wishlist
User: reproducible-builds at lists.alioth.debian.org
Usertags: randomness
X-Debbugs-Cc: reproducible-builds at lists.alioth.debian.org

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.

Therefore, we need a way to make these names determinist. For instance,
reading an environment variable in the main function of ocamlopt
(driver/optmain.ml) and calling “Random.seed 0” if it is set would be
perfect.
Using OCAMLPARAM (driver/compenv.ml) would work as well.

 [1]: https://wiki.debian.org/ReproducibleBuilds

Regards,
Valentin

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/reproducible-builds/attachments/20150804/59e9b3f8/attachment.sig>