--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on July 2010 ---
[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 gmail.com>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 lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100713/0d587938/attachment.htm>