Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.bugs.dist > #670615

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

Cross-posted to 2 groups.

Show all headers | View raw

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


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt Chris Lamb <lamby@debian.org> - 2015-08-09 22:00 +0200
  Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt Stéphane Glondu <glondu@debian.org> - 2015-08-10 12:40 +0200
    Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt Chris Lamb <lamby@debian.org> - 2015-08-10 16:10 +0200

csiph-web