--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on December 2009 ---
> I expect that the procedure is, after having set your PATH > to use /usr/local/Frama-C_Be/ocaml-3.11.1/bin/ocaml, > to type "make static" in the Jessie Frama-C plug-in's > directory, which is a sub-directory of the Why source > distribution. I forgot to point out that this would produce a single binary containing Frama-C and Jessie, and that this binary would be named "frama-c-Jessie". An alternative is to compile a dynamic version of the new Jessie on Leopard, where everything works, and to copy the obtained binary plug-in over to a Snow Leopard (where dynlink works for already compiled object files) installation of Frama-C. I will try to prepare this soon. Pascal