Hello, Roberto, <br><br>I think that is the problem!!! Thank you.   <br><br>Zhoulai.<br>p.s.<br>Probably  I will not  submit the artifacts with PPL this time because the deadline is tomorrow. Thanks any way!<br><br><div class="gmail_quote">
On Sat, Feb 16, 2013<br> at 6:38 PM, Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hello Zhoulai.<br>
<div class="im"><br>
On 02/15/13 11:24, Zhoulai wrote:<br>
> I don't think so.<br>
><br>
> bash-3.2$ c++ -v<br>
> Using built-in specs.<br>
> Target: i686-apple-darwin10<br>
> Configured with: /var/tmp/gcc/gcc-5666.3~6/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 --target=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1<br>

> Thread model: posix<br>
> gcc version 4.2.1 (Apple Inc. build 5666) (dot 3)<br>
<br>
</div>It looks like the experiment you show above has been done<br>
with a different PATH from the one that was in effect when<br>
you generated the config.log you sent.  Look at lines 187 and<br>
following:<br>
<br>
configure:5154: checking for g++<br>
configure:5184: result: no<br>
configure:5154: checking for c++<br>
configure:5184: result: no<br>
<br>
Kind regards,<br>
<br>
   Roberto<br>
<div class="im"><br>
> On Fri, Feb 15, 2013 at 11:16 AM, Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>> wrote:<br>
><br>
>     On 02/15/13 10:25, Zhoulai wrote:<br>
>     > Thank you for your help. Could you pls take a look at the zipped config.log pls? Thanks a lot.<br>
><br>
>     It appears you don't have a C++ compiler installed.<br>
>     Is that possible?<br>
><br>
>     >     > 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>
>     >     Can you please send the entire config.log file<br>
>     >     (possibly compressed)?<br>
>     ><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>
>     >     ">&" is a redirection, not a comparison.<br>
>     >     Kind regards,<br>
>     ><br>
>     >        Roberto<br>
><br>
><br>
>     --<br>
>          Prof. Roberto Bagnara<br>
><br>
>     Applied Formal Methods Laboratory - University of Parma, Italy<br>
</div>>     mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>><br>
<div class="im">>                                   BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br>
</div>>                                   mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a> <mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a>><br>

<div class="HOEnZb"><div class="h5">><br>
><br>
<br>
<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>
</div></div></blockquote></div><br>