Programowanie w systemie UNIX/Frama-C

Instalacja

edytuj
# 1. Install opam (OCaml package manager)
sudo apt install opam # or dnf, pacman, etc.
# 2. Install Frama-C's dependencies
opam install depext
opam depext frama-c 
# 3. Install Frama-C itself
opam install frama-c