21 Aug
2008
21 Aug
'08
8:26 p.m.
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