On Aug 13, 2012, at 12:42 PM, H.J. Lu wrote:
> On Mon, Aug 13, 2012 at 9:01 AM, <[email protected]> wrote:
>> The installation instructions seem to imply that GCC can be built without
>> having ISL and/or CLOOG installed, and the configure script accepts
>> --without-isl and --without-cloog.
>>
>> But I can't build that. Reading the installation instructions makes me
>> expect that such a configuration would skip the building of the "graphite"
>> loop optimization machinery. What happens instead is that it's built
>> anyway, but the makefile aborts at the point where it tries to compile
>> gcc/graphite.c (because cloog/cloog.h does not exist).
>>
>> Is this supposed to work?
>>
>
> Trunk builds fine without ppl when GCC is configured with --without-ppl:
>
> auto-host.h:/* #undef HAVE_cloog */
>
> [hjl@gnu-mic-2 build-x86_64-linux]$ ldd gcc/cc1
> linux-vdso.so.1 => (0xff980000)
> libmpc.so.2 => /libx32/libmpc.so.2 (0xf73ad000)
> libmpfr.so.4 => /libx32/libmpfr.so.4 (0xf7157000)
> libgmp.so.10 => /libx32/libgmp.so.10 (0xf6eeb000)
> libdl.so.2 => /libx32/libdl.so.2 (0xf6ce8000)
> libz.so.1 => /libx32/libz.so.1 (0xf6ad4000)
> libm.so.6 => /libx32/libm.so.6 (0xf67db000)
> libc.so.6 => /libx32/libc.so.6 (0xf642c000)
> /libx32/ld-linux-x32.so.2 (0xf75c1000)
> [hjl@gnu-mic-2 build-x86_64-linux]$
>
> I do have mpc, mpfr and gmp.
Is ppl another name for cloog? If I don't have cloog, should I say
--without-ppl? That doesn't make much sense, and it isn't documented.
paul
