C++ preprocessor problem when installing ppl
Hello, I am trying to install ppl in my ubuntu 12.04. But "./configure" gives me an error, * 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? 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. Thank you for your help. Zhoulai (Zell) 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
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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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 BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (2)
-
Roberto Bagnara -
Zhoulai