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

[Frama-c-discuss] Running ocaml on cygwin



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