instructions for building frama-clang on MacOs are incomplete
The instructions say to run ./configure but there is no such file, just a configure.ac However autoconf looks for such a file in the opam-installed instance of frama-c, which it does not find And autoconf ./configure.ac is not successful either.
Perhaps a clone of the frama-c source tree is needed as well? and a setting of some FRAMA_C environment variables?