Hello All & specially Roberto Have anyone been able to compile PPL (e.g. the 0.11 release) with the link time optimization to GCC 4.5.1? I have tried to ./configure CC='gcc-4.5 -flto' CXX='g++-4.5 -flto' --enable-interfaces=c,ocaml but did not succeed. (the gcc-4.5 is from Debian/Experimental, but even with an self built gcc from FSF tarball, it seems to be the same). And -flto is passed thru CC or CXX since it is both a compile & a link time flag. It is probably not a PPL bug, but perhaps a GCC or a binutils (the gold variant) one... Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***