Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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