--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Unknows Pragma



> 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