Programowanie w systemie UNIX/Frama-C

Dodaj linki
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



Źródło: „https://pl.wikibooks.org/w/index.php?title=Programowanie_w_systemie_UNIX/Frama-C&oldid=457113”