--- layout: fc_discuss_archives title: Message 27 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, 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100713/1a6787f0/attachment.htm>