Hello, Roberto,<br><br>Thank you for your help. Could you pls take a look at the zipped config.log pls? Thanks a lot. <br><br>Zhoulai<br><br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">
> 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.<br>
<br>
</div>Can you please send the entire config.log file<br>
(possibly compressed)?<br>
<div class="im"><br>
> p.s<br>
> the confiig.log has a strange line<br>
> " configure: 4332: gcc --version >& 5"<br>
> which is strange because ppl documents say that it suffices to have a gcc later than 4.0.2<br>
<br>
</div>">&" is a redirection, not a comparison.<br>
Kind regards,<br>
<br>
   Roberto<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
     Prof. Roberto Bagnara<br>
<br>
Applied Formal Methods Laboratory - University of Parma, Italy<br>
mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a><br>
                              BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br>
                              mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a><br>
</font></span></blockquote></div><br>