[PPL-devel] Sample examples of use of PPL
bagnara at cs.unipr.it
Wed Nov 18 08:34:47 CET 2009
Étienne André wrote:
> I join you the ./configure log.
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,
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel