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

[Roberto Bagnara]

On 02/14/13 10:28, Zhoulai wrote:
> Hello,
> 
> I am trying to install ppl in my ubuntu 12.04. But "./configure"  gives me an error,

Hello Zhoulai.

> _ c++ preprocessor "lib/cpp" fails sanity check_
> 
> I don't know what to do with it. I have my gcc  version 4.7.2, which should be Ok to compile PPL, right?

Yes.

> The ubuntu is run on the virtual machine.
> 
> 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