Install and run Frama-C by OPAM with OCaml for Windows
I have tried to install and run Frama-C by OPAM with OCaml for Windows.
Win10+cygwin64,but it didn't work.
$ frama-c
[kernel] User Error: cannot load plug-in 'num.core': cannot load module
Details: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"flexdll error: cannot relocate RELOC_REL32, target is too far: ffffffff6a110d73 000000006a110d73\")")
[kernel] User Error: cannot load plug-in 'zip': cannot load module
Details: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"flexdll error: cannot relocate RELOC_REL32, target is too far: fffffffe488b648d 00000000488b648d\")")
[kernel] User Error: cannot load plug-in 'why3': cannot load module
Details: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"Cannot resolve camlGzip\")")
[kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module
Details: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"Cannot resolve camlWhy3__Ident\")")
[kernel] User Error: Deferred error message was emitted during execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.`
Can someone explain the installation process is a clear and simple way, and I will grateful?