--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on March 2011 ---
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