--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C user documentation?



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