--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on December 2009 ---
I don't understand: you had Frama-C installed (probably from the binary release) and you tried to compile Why. Now, you are trying to compile Frama-C... Once the binary release of Frama-C is installed, download Why from http://why.lri.fr, compile it, install it. Then, the command line frama-c -jessie will tell you if the Jessie plugin is installed or not. - Nicolas -----Original Message----- From: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Hollas Boris (CR/AEY1) Sent: lundi 7 d?cembre 2009 09:15 To: Frama-C public discussion Subject: Re: [Frama-c-discuss] Running ocaml on cygwin > Have you set CAML_LD_LIBRARY_PATH to C:\Frama-C\lib\stublibs (maybe with > some additional backslashes)? > -- > Julien I did, but with Unix-syntax. With Windows-syntax, configure works, but make fails. Also, Jessie doesn't show up in the plugins list after configure. -Boris Ocamlc src/kernel/config.cmo File "src/kernel/config.ml", line 5, characters 65-67: Warning X: illegal backslash escape in string. File "src/kernel/config.ml", line 6, characters 62-64: Warning X: illegal backslash escape in string. File "src/kernel/config.ml", line 7, characters 130-132: Warning X: illegal backslash escape in string. File "src/kernel/config.ml", line 1, characters 0-1: Error: Error-enabled warnings (3 occurrences) make: *** [src/kernel/config.cmo] Error 2 _______________________________________________ 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