--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : RE : New Why Release on Mac OS Snow Leopard



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