Programowanie w systemie UNIX/Frama-C
Wygląd
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