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

[Roberto Bagnara]

Hello Zhoulai.

On 02/15/13 11:24, Zhoulai wrote:
> I don't think so.
> 
> bash-3.2$ c++ -v
> Using built-in specs.
> Target: i686-apple-darwin10
> 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
> Thread model: posix
> gcc version 4.2.1 (Apple Inc. build 5666) (dot 3)

It looks like the experiment you show above has been done
with a different PATH from the one that was in effect when
you generated the config.log you sent.  Look at lines 187 and
following:

configure:5154: checking for g++
configure:5184: result: no
configure:5154: checking for c++
configure:5184: result: no

Kind regards,

   Roberto

> On Fri, Feb 15, 2013 at 11:16 AM, Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>> wrote:
> 
>     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 <mailto:bagnara at cs.unipr.it>
>                                   BUGSENG srl - http://bugseng.com
>                                   mailto:roberto.bagnara at bugseng.com <mailto:roberto.bagnara at bugseng.com>
> 
> 


-- 
     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