On 02/15/13 10:25, Zhoulai wrote:
Thank you for your help. Could you pls take a look at the zipped config.log pls? Thanks a lot.
It appears you don't have a C++ compiler installed. Is that possible?
> 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