7 Apr
2009
7 Apr
'09
8:08 p.m.
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