--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on April 2010 ---
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