--- layout: fc_discuss_archives title: Message 33 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



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