--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ReBuild the source file



On 06/04/2015 02:29 PM, Gaurav Tripathi wrote:
> I am talking about Frama-c source file.

I've understood...

> What if I change frama-c source code ?

>     The standard way is to generate a new source code and
>     then to use your favorite C compiler to compile it as follow:
>
>     $ frama-c <c files and options> -then -print -ocode generated.c

What I said remains valid. More precisely, either you modify the source 
code in the current project (not recommended, see Plugin Development 
Guide, Section 4.12.5), or you perform your modification in a new 
project. In the former case, the above line is fine. In the latter case, 
just use -then-last instead of -then (see User Manual, Section 3.3.4).

--
Julien