Skip to content

[html] update 'short installation instructions' for Linux

Andre Maroneze requested to merge update-get-frama-c-linux into master

Proposition:

Screenshot_20221220_143118

Note: the choice of opam init --compiler 4.14.1 prevents users from installing a 5.0 compiler (which has performance losses; hopefully 5.1 will fix it).

As soon as 4.14.1 is released, this can be merged. 4.14.1 is available on opam.

Edited by Andre Maroneze

Merge request reports