E-acsl-gcc.sh Installation On A Debian, Ubuntu, Fedora And Raspbian
Install e-acsl-gcc.sh
-
Debian
apt-get install frama-c
Click to copy -
Ubuntu
apt-get install frama-c
Click to copy -
Fedora
dnf install frama-c
Click to copy -
Raspbian
apt-get install frama-c
Click to copy
Install the latest version of e-acsl-gcc.sh in Debian, Ubuntu, Fedora and Raspbian from terminal. To install the e-acsl-gcc.sh just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of e-acsl-gcc.sh from the respository and install it in your computer/server.