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] ReBuild the source file


  • Subject: [Frama-c-discuss] ReBuild the source file
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Thu, 04 Jun 2015 14:42:24 +0200
  • In-reply-to: <CAKi1EuhZ9vYszA=ceeOyTTGB6bWo4PHyigPG+=dm5HMDedMWkg@mail.gmail.com>
  • References: <CAKi1EuhsjeUvOW8bwGH3iaQhJ7iQtjF65-zPYnWf4btfhR6BeA@mail.gmail.com> <1433420721279.1725785146@boxbe> <CAKi1EuhZ9vYszA=ceeOyTTGB6bWo4PHyigPG+=dm5HMDedMWkg@mail.gmail.com>

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