[PPL-devel] First PPL 0.10.1 release candidate

[Dave Korn]

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