Where is the root of your unpacked Frama-C archive.
#Chromiumsourceforge install
If you have a non-standard version of Frama-C available (with proprietary extensions, custom plugins, etc.), you can use opam to install Frama-C’s dependencies and compile your own sources directly: # optional: remove the standard frama-c package if it was installed See file reference-configuration.md for a set of packages that is known to work with Frama-C 24 (Chromium). After their installation, Wh圓 must be configured to make them available for Frama-C/WP: wh圓 config detect Reference configuration Most provers are available on all platforms. Actually, you can use any prover supported by Wh圓 in combination with Frama-C/WP. They can be used as replacement or combined with Alt-Ergo. Other recommended, efficient provers are CVC4 and Z3. The Wh圓 platform and the Alt-Ergo prover are automatically installed via opam when installing Frama-C. Configuring provers for Frama-C/WPįrama-C/WP uses the Wh圓 platform to run external provers for proving ACSL annotations. In this case, you may create a Gitlab issue indicating your distribution and error message. If this is not sufficient, there may be missing dependencies in opam’s depext tool. If there are errors due to missing external dependencies, opam may emit a message indicating which packages to install. # install Frama-C's dependencies with pre-2.1.0 opam Again, installing the external dependencies requires administrative rights. As of version 2.1.0, depext is directly included in opam, so that the following command should install everything, at least if your OS is supported by depext (and you have administrative rights): opam install frama-cįor older opam versions, you have to install it separately and call it explicitely with the following commands, before installing Frama-C as above. On most systems, opam’s depext mechanism can take care of installing these external dependencies. The Frama-C package in opam is called frama-c, which includes both the command-line frama-c executable and the graphical interface frama-c-gui.įrama-c has some non-OCaml dependencies, such as Gtk and GMP. If your system does not have an opam package >= 2, you can use the provided opam binaries available at:
#Chromiumsourceforge windows
Windows users can install opam via WSL (Windows Subsystem for Linux). Several Linux distributions already include an opam package. Every Frama-C release is made available via an opam package.įirst you need to install opam, then you may install Frama-C using opam.
0 kommentar(er)
