--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on April 2010 ---
Le mar. 20 avril 2010 11:32:05 CEST, Pascal Cuoq <pascal.cuoq at gmail.com> a ?crit : > 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. More precisely, make static.opt in why/frama-c-plugin should give you frama-c-Jessie.opt (which is then installed by make install). Beware that this option is not tested as much as dynamic link though. -- E tutto per oggi, a la prossima volta. Virgile