I have succesfully installed OCaml Environment on Windows(OCaml for Windows) and installed Frama-C through opam
utility.
Execute frama-c -version
returns correct version.
But frama-c
can not load plug-in module, e.g. wp
.
Execute
$ frama-c
returns
[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.
Any advice?