Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Windows binary version error: Global kernel
- Subject: [Frama-c-discuss] Windows binary version error: Global kernel
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- Date: Mon, 23 Nov 2009 17:53:40 +0100
- References: <1D0F31F3F3ABA947B3B4FAD31A6565624AC69D0B1F@antunes6.antunes.local>
> On the command line of the attached screen dump, you > will find the command I used: C:\Frama-C\bin > frama-C-gui -val -cpp-command "pp.exe first.c -o first.i" The normal use of the -cpp-command option is to let Frama-C add the "first.c -o first.i" part, which it will do for all the file(s) of the analysis project(s) you create. You would therefore use the command: frama-c-gui -val first.c -cpp-command pp.exe Alternately, to progress in your evaluation of Frama-C while leaving aside this vexing but definitely solvable problem, consider pre-processing the file(s) yourself (use a .i extension for the target) and including the .i files in your analysis project: frama-c-gui -val first.i Best regards, Pascal -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: image001.jpg Type: image/jpeg Taille: 35684 octets Desc: image001.jpg Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091123/ae3dcf0c/attachment-0001.jpg
- References:
- [Frama-c-discuss] Windows binary version error: Global kernel
- From: talmage.wesley at AJANTUNES.com (Talmage Wesley)
- [Frama-c-discuss] Windows binary version error: Global kernel
- Prev by Date: [Frama-c-discuss] Using Frama-C as Caduceus
- Next by Date: [Frama-c-discuss] Using Frama-C as Caduceus
- Previous by thread: [Frama-c-discuss] Windows binary version error: Global kernel
- Next by thread: [Frama-c-discuss] need frama-c help to develop plugin
- Index(es):