--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama C windows installer



> 1. Compilation of Frama-C with the last version of Ocaml and
> MINGW/MSYS downloaded from the Net never worked.
> The GCC provided didn't recognized the option -mno-cygwin

What worked for me is the latest version of OCaml + a slightly old version of MinGW/MSys. The support for -mno-cygwin got dropped in the MinGW installer version released on 2011-11-18. The last version released before that (2011-08-02) works just fine when combined with latest pre-built OCaml.

Jim