--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on January 2009 ---
Hi everyone! I had the same problem when I installed Frama-C. What I did to solve this, was to put the variable WHYLIB equal to: C:/Frama-C/share/frama-c/why or to: ?C:\Frama-C\share\frama-c\why? (my Frama-C is installed at C:\Frama-C) Best regards. B?rbara From: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Juan Soto Sent: segunda-feira, 5 de Janeiro de 2009 11:36 To: frama-c-discuss at lists.gforge.inria.fr Subject: Re: [Frama-c-discuss] Installation Problem I tried to invoke Jessie by defining the WHYLIB environment variable as follows: $ WHYLIB=C:\cygwin\usr\local\Frama-C\share\frama-c\why $ frama-c -jessie-analysis -jessie-gui a.c Parsing [preprocessing] running gcc -C -E -I. -include /usr/local/share/frama-c\jessie\jessie_prolog.h -dD a.c Cleaning unused parts Symbolic link Starting semantical analysis Starting Jessie translation Producing Jessie files in subdir a.jessie File a.jessie/a.jc written. File a.jessie/a.cloc written. Calling Jessie tool in subdir a.jessie Generating Why function max Calling VCs generator. gwhy-bin [...] why/a.why cannot find prelude file /usr/local/share/frama-c/why\why\prelude.why make: *** [a.stat] Error 1 Jessie subprocess failed: make -f a.makefile gui Unfortunately, this did not resolve the problem. Thanks, Juan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090105/16321afa/attachment.htm