
15 Feb
2013
15 Feb
'13
11:16 a.m.
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