[PPL-devel] compiling PPL 0.11 with -flto option to GCC 4.5?

Basile Starynkevitch basile at starynkevitch.net
Sun Oct 10 15:46:02 CEST 2010


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} ***



More information about the PPL-devel mailing list