--- layout: fc_discuss_archives title: Message 23 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



I am talking about Frama-c source file.
What if I change frama-c source code ?

On Thu, Jun 4, 2015 at 5:57 PM, Julien Signoles <Julien.Signoles at cea.fr>
wrote:

>  [image: Boxbe] <https://www.boxbe.com/overview> This message is eligible
> for Automatic Cleanup! (Julien.Signoles at cea.fr) Add cleanup rule
> <https://www.boxbe.com/popup?url=https%3A%2F%2Fwww.boxbe.com%2Fcleanup%3Ftoken%3DFR7EFC6GkRDR7upuNa39GL2ICwWPYsnzrYYU7mtqvBY1AW5f%252FnVgCbu58YXmzvzpxvbEq7W8s2F2T0ijN0KBSBhrVjaaXFaXM5%252FrcC1SHKdLa9yMP%252FZfFWcHW2VEh2nqk7tU62XUAxOQs6uJBQcXBA%253D%253D%26key%3D1cb6nfGbiDoVBpzD1%252Bb%252B%252F7p5NNl5SPLGLclLTW9HJWk%253D&tc_serial=21545450351&tc_rand=595741085&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
> | More info
> <http://blog.boxbe.com/general/boxbe-automatic-cleanup?tc_serial=21545450351&tc_rand=595741085&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
>
> Hello,
>
> On 06/04/2015 02:16 PM, Gaurav Tripathi wrote:
>
>> If I modify the code and if I have to rebuild and create an executable,
>> how can I do that?
>>
>> Is there any procedure given by Frama-C to rebuild my code and create
>> executable ?
>>
>> What are the steps that are required to create an executable ?
>>
>
> Frama-C is **not** a compiler. You can't generate an executable from this
> tool. 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
> $ gcc <compilation options> generated.c
>
> Hope this helps,
> Julien
> --
> Researcher-engineer
> CEA LIST, Software Security Labs
> tel:(+33)1.69.08.00.18  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/8c28b326/attachment.html>