--- layout: fc_discuss_archives title: Message 31 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,
Thanks for your advice.
I am no longer getting Access is Denied.
I am now getting an error saying: NTVDM.EXE has stopped working.
Does that make any sense to anyone?
Thanks!
S




On Tue, Jul 13, 2010 at 11:22 AM, Ricardo Almeida <
ricardoalmeida1985 at gmail.com> wrote:

> 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
>>
>
>
> _______________________________________________
> 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/5dc6b686/attachment.htm>