Hello Guilers, A few more fixes later, I tested cross-compilation from x86_64-*-linux-gnu to i586-*-gnu, which isn’t a huge challenge given that the endianness is the same, but it works (cf. ‘xbuild_gnu’ at <http://hydra.nixos.org/jobset/gnu/guile-2-0/>.)
Thanks, Ludo’.