[Nix-dev] fixed! (was: compile error while bootstrapping)

[Peter Simons]

Hi Eelco,

 > I've now updated gmp to version 4.3.1 in the stdenv branch. Could you
 > try to see if that works for you?

yes, 4.3.1 builds fine and succeeds the regression tests, too.

 > I've also updated patchelf in the stdenv branch so that we don't need
 > to set LD_LIBRARY_PATH anymore, so problems with /bin/sh should be
 > definitively gone :-)

The errors are gone and the bootstrap process works again (on both Linux x86
and x86_64). Thank you very much, you have helped me a lot!

Take care,
Peter