[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



Source: ocaml
Version: 4.01.0
Severity: wishlist
User: reproducible-builds@lists.alioth.debian.org
Usertags: randomness
X-Debbugs-Cc: reproducible-builds@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

Attachment: signature.asc
Description: OpenPGP digital signature


Reply to: