Re: [PPL-devel] C++ preprocessor problem when installing ppl
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@cs.unipr.it <mailto:bagnara@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com <mailto:roberto.bagnara@bugseng.com>
-- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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@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@cs.unipr.it<mailto: bagnara@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com<mailto: roberto.bagnara@bugseng.com>
-- Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (2)
-
Roberto Bagnara -
Zhoulai