Hello, Roberto,
Thank you for your help. Could you pls take a look at the zipped config.log pls? Thanks a lot.
Zhoulai
Do you know how to solve this problem? A quick answer would be most appreciated. The installation of PPL is necessary for my artifacts submission for a conference whose deadline is the 17th.
Can you please send the entire config.log file (possibly compressed)?
p.s the confiig.log has a strange line " configure: 4332: gcc --version >& 5" which is strange because ppl documents say that it suffices to have a
gcc later than 4.0.2
">&" is a redirection, not a comparison. Kind regards,
Roberto
-- Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com