--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on June 2010 ---
Nice, thank you very much. I will try it. :) regards, Patrik On 2.6.2010 11:23, Pascal Cuoq wrote: >> or even better, if you have ocamlopt, use instead: >> > As you are probably new to OCaml, I meant to mention that > the reason native compiled programs (with ocamlopt) are better > is not only that they are faster but that they keep working if you > install a new version of the runtime, unlike bytecode programs > which only work with the exact version of the runtime they were > compiled with. > > Pascal > > _______________________________________________ > 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 > >