--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem with frama-c-gui



Andr? Passos a ?crit :
> Can anyone help me? Is it normal to have so much trouble installing 
> Frama-C in Ubuntu? 

Another suggestion if none of the previous one works :
you can use the option --disable-syntactic_callgraph
for the ./configure
You won't need view_graph anymore...

But we of course still need to understand what is going wrong
with the installation procedure...

-- 
Anne.