--- layout: fc_discuss_archives title: Message 29 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.
> What if I change frama-c source code ?
>

If you modify the OCaml sources in Frama-C, you just need to re-run 
"make", the Makefile will handle everything (usually). This assumes a 
Unix-like environment (e.g. Windows users may need something like Cygwin 
or MinGW).

Compilation and installation instructions are described in: 
http://frama-c.com/install-sodium-20150201.html

--
Andre

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/e2a55b6d/attachment.html>