20 Oct
2005
20 Oct
'05
6:36 p.m.
Tristan Denmat wrote:
I attach the config.log file
Tristan, the attachment did not arrive here. Did you forget to attach the file? In any case, please send it again: this time, please send both to ppl-devel@cs.unipr.it and to bagnara@cs.unipr.it (this will allow me to check if there is something wrong with the mailing list setup). 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