Created attachment 1218170 [details] build.log Description of problem: File "src/kernel_services/plugin_entry_points/db.ml", line 1: Error: The implementation src/kernel_services/plugin_entry_points/db.ml does not match the interface src/kernel_services/plugin_entry_points/db.cmi: ... In module Properties.Interp.To_zone: Values do not match: val mk_ctx_func_contrat : (Cil_types.kernel_function -> '_a) ref is not included in val mk_ctx_func_contrat : (Cil_types.kernel_function -> state_opt:bool option -> t_ctx) ref File "src/kernel_services/plugin_entry_points/db.ml", line 1074, characters 10-29: Actual declaration This seems unrelated to the upgrade to OCaml 4.04.0 also in Rawhide. Version-Release number of selected component (if applicable): frama-c-1.13-5.fc26 How reproducible: 100% Steps to Reproduce: 1. Build frama-c in Rawhide.
Created attachment 1218529 [details] frama-c-ocaml-4.04.patch I added the attached patch which fixes compilation, but is generally a bit of a hack. Upstream probably will want to make their own better fix.
Thank you again for the diagnosis and fix, Richard. Upstream bug report: https://bts.frama-c.com/view.php?id=2255