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

[Frama-c-discuss] Installation Problem




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                    |