[PPL-devel] C++ preprocessor problem when installing ppl

[Roberto Bagnara]

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 at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com