--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on January 2009 ---
Le lun 05 jan 2009 15:46:03 CET, "Juan Soto" <juan.soto at first.fraunhofer.de> a ?crit : > $ WHYLIB=C:/cygwin/usr/local/Frama-C/share/frama-c/why > > > > $ echo $WHYLIB > > C:/cygwin/usr/local/Frama-C/share/frama-c/why I'm not really good in cygwin-related stuff, so forgive me if what I say is absurd, but under Linux, the first command sets WHYLIB for the shell session, but NOT for the children processes, such as for instance frama-c or why. For that, you need to 'export' the variable, either with $ export WHYLIB=C:/cygwin/usr/local/Frama-C/share/frama-c/why or with $ WHYLIB=C:/cygwin/usr/local/Frama-C/share/frama-c/why $ export WHYLIB -- E tutto per oggi, a la prossima volta. Virgile