
18 Nov
2009
18 Nov
'09
7:34 a.m.
Étienne André wrote:
I join you the ./configure log.
Hi Étienne,
this is not the file I asked you. What I need is named `config.log' (not `configure.log') and is generated automatically at configuration time by the script named `configure'. All the best,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it