--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on December 2009 ---
Hi Pascal, First of all, thank you for your help. >> I expect that the procedure is, after having set your PATH >> to use /usr/local/Frama-C_Be/ocaml-3.11.1/bin/ocaml, Well, I did it. >> to type "make static" in the Jessie Frama-C plug-in's >> directory, which is a sub-directory of the Why source >> distribution. > But it does not work. the "make static" command gives the following error: Linking frama-c-Jessie.byte File "_none_", line 1, characters 0-1: Error: Cannot find file graph.cma make: *** [frama-c-Jessie.byte] Error 2 It seems that something is missing. I don't know if I did everything correctly. What I did, was to compile the new Why release with the Ocaml distribution that was already installed in my pc - I guess that I installed Ocaml with Macports. Then, after setting the PATH variable to use /usr/local/Frama-C_Be/ocaml-3.11.1/bin/ocaml, I typed "make static" in ../frama-c-plugin - the sub-directory of Why source distribution. But the previous error was presented. Do you have any idea of what is going wrong? > 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. I believe that it is the best solution :-) At least for me!! But I don't want to rush you, so I think that if I can solve this problem it would be better. Thanks in advance. Best regards, B?rbara A 2009/12/02, ?s 12:06, CUOQ Pascal escreveu: > >> 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