
10 Oct
2010
10 Oct
'10
3:46 p.m.
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} ***