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



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.

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).

Hope this helps,
Julien