--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on January 2009 ---
Sorry, I did not understand you were using a cygwin shell. In that case you should do export WHYLIB=/usr/local/Frama-C/share/frama-c/why do not miss the export keyword Juan Soto wrote: > 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 > > > > > > > ------------------------------------------------------------------------ > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |