Skip to content

GitLab

Open
Created by weijian@wj1205758206

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?

Edited by Andre Maroneze
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information