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

[Frama-c-discuss] Installation Problem



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