--- layout: fc_discuss_archives title: Message 72 from Frama-C-discuss on March 2009 ---
Jens Gerlach wrpote: >in one of his emails from January >http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-January/000328.html >my colleague Juan Soto had posted slightly different paths. >$ export WHYLIB="C:/cygwin/usr/local/Frama-C/share/frama-c/why" >$ export FRAMAC_SHARE="C:/cygwin/usr/local/Frama-C" >This worked for him. Good luck! I have Frama-C installed in C:\Frama-C, not in /usr/local. So I don't think these paths work for me. -Boris