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

  • Subject: [Frama-c-discuss] frama-c with cygwin
  • From: simonfuller9 at (Simon Fuller)
  • Date: Tue, 13 Jul 2010 01:12:40 +0100

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
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!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>