On 22/11/12 23:04, Jonathan Wakely wrote: > (Resending as plain text email) > >> On Nov 22, 2012 9:39 PM, "Ángel González" wrote: >> >> On 22/11/12 22:09, Jonathan Wakely wrote: >>> PPL is not required to build GCC, so just build GCC 4.7.2 without PPL. >>> Then, if you need a graphite-enabled GCC build PPL and rebuild GCC >>> using the 4.7.2 build you've just done. >> Does it need a switch to disable graphite? (I don't see it on >> ./configure --help) > No, it isn't enabled unless you request it, or it's found in a standard > path. > >> I currently get on gcc configure: >>> checking for version 0.11 (revision 0 or later) of PPL... no >>> configure: error: Unable to find a usable PPL. See config.log for >>> details. > You'll need to tell us the full configure command or noone can guess what's > happening. > > The absence of PPL should not cause configure to fail unless you've done > something to cause it to be used. It was a very simple configure line, mostly using --with-PACKAGE in order to point to the prefix folder. So after, a few tests simplifying it, it turned out it was pulled by --with-cloog Thanks
