Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-c with cygwin

Hi Simon

I've had this problem. Open the windows explorer and check the permissions
that your user account has on the bin folder which contains gcc.exe and
other .exe you will want to use (you may need to check both the bin folder
inside the cygwin and the one inside frama-c). Give all the permissions to
your user, if you don't have already. This should apply to all files inside
these folders. This should fix at least the "Access is Denied" problem.

Good luck
Ricardo Almeida

On Tue, Jul 13, 2010 at 1:12 AM, Simon Fuller <simonfuller9 at>wrote:

> Hi, I've had a quick look at past questions and do not immediately see
> mine.
> My apologies if this is a repeat.
> I've just set up frama-c and cygwin to perform static verification, on
> vista.
> My problem is that when I try to testrun frama-c I get "Access is Denied."
> And then.. failed to run gcc -C -E -I. -o ...etc...
> I know nothing about frama-c, and nothing about cygwin.
> I do know that gcc compiles c files for me fine and that they run okay.
> Does anyone have any ideas here. Is it a cygwin problem, os problem?
> Do I simply not understand how to use frama-c?
> Thanks for your help!
> S
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>