--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with Frama-c-gui



Le 04/03/2011 09:11, SENE, Sali a ?crit :
> Hi
> I use ubuntu10.04 on linux 11.1. It is a recent version but I don't find the Boron packages on it.
> So I'm trying to compile the Carbone packages but I got some errors like: cannot remove src/lib/printexc_common_interface.ml: operation not permitted
>
> I caught the exception with this command line: frama-c-gui-val tests/test/adcpm.c
> But the command line without the gui: frama-c -val tests/test/adcpm.c , work

Both frama-c-gui and frama-c work fine for me (with Beryllium-20090902). 
Thus I cannot reproduce your issue.

--
Julien