--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on January 2009 ---
Yes, I definitely tested the updated environment variables: $ WHYLIB=C:/cygwin/usr/local/Frama-C/share/frama-c/why $ echo $WHYLIB C:/cygwin/usr/local/Frama-C/share/frama-c/why $ FRAMAC_SHARE=C:\cygwin\usr\local\Frama-C $ echo $FRAMAC_SHARE C:/cygwin/usr/local/Frama-C Thanks, Juan -- Juan Soto Embedded Systems Department (EST) Tel : +49 30 6392 1782 Fax: +49 30 6392 1805 juan.soto at first.fraunhofer.de Fraunhofer Institut fuer Rechnerarchitektur und Softwaretechnik, FIRST Kekulestrasse 7 12489 Berlin Germany http://www.first.fraunhofer.de -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090105/1b545c3f/attachment.htm