--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on September 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with gcc 4.8.2 and c++ std headers



Hello David,

> > /usr/include/x86_64-linux-gnu/c++/4.8/bits/c++config.h:184:[kernel] user error: syntax error
> >
> > By looking into /usr/include/x86_64-linux-gnu/c++/4.8/bits/c++config.h line 184 (and follow) show:
> >
> > 184 namespace std
> [...]
> >
> > What is the problem with frama-c here?
> 
> It is C++ code ("namespace"). Frama-C does not handle (yet) C++.
:( When we can expect that it is supporting c++? That would be a big step.


With best regards

Christoph