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

[Frama-c-discuss] why-2.24 install question



> will fix the ocaml version and retry - thanks !

If you update your OCaml, you need to recompile every OCaml program
you have (possibly including other OCaml programs you have that are
unrelated to Frama-C). Be warned!
If I were you, I would use the bytecode version frama-c.byte for the
time being and see if that was limiting. OCaml 3.10.2 also allows to
get a statically linked native binary for Frama-C+Jessie, as Julien
pointed out. You should be able to find it somewhere with the name
frama-c-Jessie or something like that.

Pascal