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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it