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



On Tue, 20 Apr 2010, Julien Signoles wrote:

> Hello,
>
> Nicholas Mc Guire a ?crit :
>> HI !
>>
>>  coq and ocaml stuff is installed
>>  downloaded why-2.24.tar.bz
>>  resolved dependencies - ./configure is happy
>>  make  make install
>>
>>  after that I get the jessie plugin:
>>
>> rtl26:~/formal_methods/Frama-C/examples# ls /usr/local/lib/frama-c/plugins/
>> gui  Jessie.cma  Jessie.cmi  Jessie.cmo
>
> Jessie.cmxs is not installed. Thus the Jessie plug-in is only available  
> with frama-c.byte (but not with frama-c).
>
> What is your ocaml version? Your issue is the normal behaviour if your  
> ocaml version is lesser than 3.11.

3.10.2

>
> In this last case, a binary frama-c-Jessie should be provided though.
>
> For details, please have a look at the Frama-C User Manual for details  
> (sections 3.1, 3.2 and 4.3).
>
>>  tried setting the plugin path with:
>>
>> rtl26:~/formal_methods/Frama-C/examples# export FRAMAC_PLUGIN=/usr/local/lib/frama-c/plugins/
>
> Setting FRAMAC_PLUGIN shoud not be required here since this directory is  
> the standard directory for Frama-C plug-ins (compare the result of  
> "frama-c -print-plugin-path" and this directory).
>
will fix the ocaml version and retry - thanks !

hofrat