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

[Zhoulai]

Hello, Roberto,

Thank you for your help. Could you pls take a look at the zipped config.log
pls? Thanks a lot.

Zhoulai


> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130215/d6d5fbbd/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.zip
Type: application/zip
Size: 5865 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130215/d6d5fbbd/attachment.zip>