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