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

[Zhoulai]

Hello, Roberto,

I think that is the problem!!! Thank you.

Zhoulai.
p.s.
Probably  I will not  submit the artifacts with PPL this time because the
deadline is tomorrow. Thanks any way!

On Sat, Feb 16, 2013
 at 6:38 PM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130216/a9a4f293/attachment.htm>