--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on October 2008 ---
Hi, We are looking in to the Frama-C tool for using it within a project of ours. Is there any user documentation available? We have downloaded the Windows installer and struggle to get anything out of it. We really do not understand how we are meant to use the tool. How do we create projects so they are available at next starup? We have selected a C file in the repository and this is what we get: Running analysis Parsing Cleaning unused parts Symbolic link Starting semantical analysis [preprocessing] running gcc -C -E -I. D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:16:30 : nRF24L01\nRF_API.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:17:21 : nRF_mcu.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:18:23 : avr32_mcu.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:19:22 : time_loc.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:20:20 : beacon.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:21:17 : mcu.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:22:17 : dma.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:23:22 : critical.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:24:39 : wfep/wfep_master_controle.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:26:17 : crc.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:27:33 : data_manager_master.h: No such file or directory D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:28:25 : avr32\avr32.h: No such file or directory Failed to run: gcc -C -E -I. -o "C:\DOCUME~1\BKE6FA~1.CUR\LOKALE~1\Temp\main_master.cf836e0.i" "D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c" You may set the CPP environment variable to select the proper preprocessor command ... or use the -cpp-command program argument. Error: Cannot find input file C:\DOCUME~1\BKE6FA~1.CUR\LOKALE~1\Temp\main_master.cf836e0.i (exception Sys_error("C:\\DOCUME~1\\BKE6FA~1.CUR\\LOKALE~1\\Temp\\main_master.cf836 e0.i: No such file or directory") Skipping file "D:\\CodeRepos\\Receiver\\ReceiverV3\\MSP430p4\\trunk\\prod\\main_master .c" that has errors. Your code cannot be parsed. Aborting analysis. As you can see the Frama-C is run on the Windows workstation but is used to check embedded Linux C code. Kind Regards Birger Kollstrand CTO WPR Medical A/S www.curvus.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081007/d4fb532e/attachment.html