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



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

 tried setting the plugin path with:

rtl26:~/formal_methods/Frama-C/examples# export FRAMAC_PLUGIN=/usr/local/lib/frama-c/plugins/

 but frama-c --help does not list jessie ? Also tried using -add-path - same 
 thing jessie does not show up in the list of plugins - any hint ? 

thx!
hofrat