[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