Przejdź do zawartości

Programowanie w systemie UNIX/Frama-C

Z Wikibooks, biblioteki wolnych podręczników.

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