--- layout: fc_discuss_archives title: Message 16 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



On Fri, Mar 4, 2011 at 9:21 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:
>> 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
>
> Likely you tried to compile as root earlier, and some files have been
> generated as root that you do not have the right to erase as normal
> user. The "operation not permitted" message actually comes from the
> system, not Frama-C.

Sorry, message sent by mistake before it's finished.

As a solution, I suggest trying afresh in a new directory.

Pascal