Roberto Bagnara wrote:
>> 456 ./configure --prefix=/opt/gcc-tools -v --disable-static
>> --enable-shared 2>&1 | tee conf.log
>
> I assume --disable-static is OK for Cygwin.
Yes, it certainly should be, and is required because our distro ships only a
DLL version of GMP, and no static lib.
> That's OK. I mean, CLooG does not use that capabilities, so there is no
> problem here.
Thanks, I was wondering.
>>> We also need the files config.log and
>>> config.h generated by PPL's configure script.
>>
>> Do you still want these in light of the above information?
>
> Yes, please.
Sure, will send them off-list to reduce the server traffic :)
cheers,
DaveK
