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



Hello,

On 4 June 2015 at 20:29, Gaurav Tripathi <tripathigaurav.gt at gmail.com>
wrote:

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

First, you need to download the source code of frama-c, e.g.
http://www.frama-c.com/download/frama-c-Sodium-20150201.tar.gz
Then, you can modify the source code and install the frama-c from 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
>>
>
>
> _______________________________________________
> 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/237e1a05/attachment.html>