Issue while installing Frama-c 25.0.0
Hello everyone,
I'm a French student wanting to start using Frama-C.
When I was installing it following the step in Frama-C's website I get this error message after using
opam install frama-c
I was stuck with this error : [ERROR] The compilation of frama-c.25.0 failed at "make -j7".
Error: Unbound module Cil_typesFile "src/plugins/aorai/promelaoutput.ml", line 26, characters 5-14: 26 | open Cil_types ^^^^^^^^^ Error: Unbound module Cil_types
I've updated my GNU make version just before the install process with the command brew install homebrew/core/make
I hope someone can explain me how to get rid of this problem.
Thanks