--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on June 2015 ---
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>