--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on June 2010 ---
Hello everyone, I've been trying to install Frama-C in Windows Vista over the past couple of days but with no sucess. First I tried with Cygwin but was receiving several erros, some of which I could fix, but some I couldn't. Then I decided to try with the installation of Microsoft Visual C, so I followed the steps in Readme.windows.txt, that is, I installed all the necessary software, added the paths to the envirnment variables, etc, but when I launched Frama-C through the GUI mode and chose the file first.c (the one from the example test) as a C source file, when I click New, sometimes nothing happens, other times I will get an error dialog box saying: Frama-C aborted because of an invalid user input. Look at the console for additional information (if any). However, the console says nothing. When I was having problems running frama-c-gui from Cygwin, at this point the console would say "Frama-c images not found, is FRAMAC_SHARE variable correctly set?". This problem disappeared after I set the SHARE variable correctly, although it never looked like there was any picture missing in the GUI (the label of the second button in the toolbar, the one between Exit and Save Session, has always been blank though). To test a different approach, I decided to try Frama-C through the command line. I copied first.c to the bin folder of the Frama-C installation and typed: E:\Program Files\Frama-C\bin>frama-c.exe first.c [kernel] preprocessing with "C:\cygwin\bin\gcc.exe -C -E I first.c" but no more results are shown, nor is any file created in this directory after this command. I also tried: E:\Program Files\Frama-C\bin>frama-c.exe -jessie first.c [kernel] preprocessing with "C:\cygwin\bin\gcc.exe -C -E I -dD first.c" [jessie] Starting Jessie translation [jessie] user error: Nothing to process. There was probably an error before. :0:[jessie] failure: Unexpected exception. Please submit bug report (Ref. "Log.AbortError("jessie")"). [kernel] The full backtrace is: Raised at file "src/kernel/log.ml", line 506, characters 30-31 Called from file "src/kernel/log.ml", line 500, characters 2-9 Re-raised at file "src/kernel/log.ml", line 503, characters 8-9 Called from file "src/lib/type.ml", line 746, characters 40-45 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 50, characters 4-20 Called from file "src/kernel/cmdline.ml", line 170, characters 4-8 Plug-in jessie aborted because of an internal error. Please report as 'crash' at http://bts.frama-c.com This is what I can provide at the moment. Any help is appreciated. Thanks in advance. Ricardo Almeida -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100616/5d573412/attachment-0001.htm>