Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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