Hi Sven, > Take your time. I think I'm now done.
> BTW: The only Linux distro that supports x32 seems to be Ubuntu. Nop. Debian supports it too :-) > If you have this distro, I can send you the exact apt-get > command that installs all the packages needed for bigloo in x32 mode. Currently, I have something that works. Some tests fails because I don't have installed GMP. For the rest, the results are spectacular! On my x64 machine: $ time ./recette-static.x64 real: 0.35s sys: 0.04s user: 0.40s $ time ./recette-static.x32 real: 0.16s sys: 0.04s user: 0.15s Clearly, I need to resurrect bglstone urgently! We need a better performance evaluation. -- Manuel
