"Include C++ header models during compilation, set by $(b,--cxx). Infer swaps some C++ headers for its own in order to get a better model of, eg, the standard library. This can sometimes cause compilation failures."
in
letcxx=
CLOpt.mk_bool_group~long:"cxx"~default:true
"Include C++ header models during compilation. Infer swaps some C++ headers for its own in order to get a better model of, eg, the standard library. This can sometimes cause compilation failures."