Dependencies for building frame-clang on Ubuntu are incomplete or wrong
On Ubuntu, either 18.04 or 20.04 the description of dependencies for building frame-clang is incomplete.
With llvm@14 installed (with brew) and frama-c 24 installed (with opam) frame-clang fails to build or run (variously compile failures, link failures and failure to find .so at runtime) unless also gcc/g++ -12 is installed (gcc-11 and gcc-10 at least both fail).
Even so, there are warnings during the build of frama-clang.
Also, I suspect that frame-clang is not buildable with earlier versions of llvm, but I did not exhaustively search for an appropriate version of gcc.
Note that https://frama-c.com/fc-plugins/frama-clang.html does say that frama-clang 0.0.12 depends on Frama-c 24 (correctly), but claims any clang above 10 is OK. I don't think that is correct, but if it is, each clang version should state which g++ version is required.
But the frame-clang manual linked on that page (https://frama-c.com/download/frama-clang-manual.pdf) points to frame-clang version 0.0.10 and Frama-C 22.