--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on January 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Installation Problem



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