--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] GUI - Opening a file (Windows XP)



Hi,

I came across the same issue(Access Denied) while using a recent version 
of cygwin (1.7.7)
and frama-c binary Windows bundle Boron-20100401-Why 2.26.

The problem comes from cygwin and seems to be that /usr/bin/gcc is a 
symbolic link and not an actual file.

To solve it, either replace the /usr/bin/gcc symbolic link by its final 
target, which is
/usr/bin/gcc-4.exe on my system:

$ rm /usr/bin/gcc
$ cp /usr/bin/gcc-4.exe /usr/bin/gcc.exe

or use a custom frama-c -cpp-command (as Pascal suggested) :

$ frama-c -cpp-command "gcc-4.exe -C -E -I." first.c

No guarantee, but both these options worked for me. This issue seems 
related to

<http://www.mail-archive.com/caml-list at yquem.inria.fr/msg05395.html>

Philippe.


Vijay Suman a ?crit :
>
> Hello,
>
> OS: Windows XP
> Shell: Cygwin (same behavior on command-prompt too)
>
> I opened the GUI using the normal command frama-c-gui from Cygwin.
> When I try to open a C file (the beginner example file on the website, 
> first.c), it says that there was an
> error and I have to see the console.
> The error being displayed on the console is that "Access is denied".
>
> Even when running the tool from the command line, it throws an error 
> while running gcc.
> --------------------------------------------------------------------------------------------------------------------------------- 
>
> 321075 at 01HW293771 /cygdrive/e/Vijay/VS_Share/Installables/Frama-C
> $ frama-c first.c
> [kernel] preprocessing with "gcc -C -E -I.  first.c"
> Access is denied.
> [kernel] user error: failed to run: gcc -C -E -I.  -o 
> "C:\DOCUME~1\XXXXXX\LOCALS
> ~1\Temp\first.c23904f.i" "first.c"
>                      you may set the CPP environment variable to 
> select the prop
> er preprocessor command or use the option "-cpp-command".
> [kernel] user error: skipping file "first.c" that has errors.
> [kernel] Frama-C aborted because of an invalid user input.
> --------------------------------------------------------------------------------------------------------------------------------- 
>
>
> Firstly, I do not understand the error. Especially, given that it 
> created the file inside Temp
> and the intermediate file was read by it before that.
> Secondly, it suggests using the -cpp-command option, which does not 
> produce any output if I input
>
> $frama-c -cpp-command first.c
>
> But I do not know where to put this option when typing in the 
> following. All places seem to be wrong!
>
> frama-c -slevel 10 -val first.c
>
> Can somebody help?
>
> Thank you.
>
> -- 
> Thanks and Regards,
> Vijay
> =====-----=====-----=====
> Notice: The information contained in this e-mail
> message and/or attachments to it may contain 
> confidential or privileged information. If you are 
> not the intended recipient, any dissemination, use, 
> review, distribution, printing or copying of the 
> information contained in this e-mail message 
> and/or attachments to it are strictly prohibited. If 
> you have received this communication in error, 
> please notify us by reply e-mail or telephone and 
> immediately and permanently delete the message 
> and any attachments. Thank you
>
>
>   
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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