David Edelsohn wrote:

On Thu, Aug 21, 2008 at 12:51 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:

...

Please let us know if it works for you; and please send me the config.log and config.h you obtain from configure (I would like to check a couple of other things).

config.h, ppl-config.h, and config.log attached.

Everything is as expected. Thanks,

Roberto