I followed the documentation and found that CompCert and Frama-C do not build as prescribed in the build instructions.
After coq was installed successfully it can’t be found. There seem to be problems with menhir also:
Testing assembler support for CFI directives… yes
Testing linker support for ‘-no-pie’ option… yes
Testing Coq… NOT FOUND
Error: make sure Coq version 8.6 is installed.
Testing OCaml… version 4.05.0 – good!
Testing OCaml .opt compilers… yes
Testing Menhir… NOT FOUND
Error: make sure Menhir version 20161201 or later is installed.
Testing GNU make… version 4.2.1 (command ‘make’) – good!
One or several required tools are missing or too old. Aborting.
I know that the documentation suggests to have Linux 16.04, but at this point when Linux 20.04 is to be released 16.04 is fairly old.