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