--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on September 2020 ---
Hello Frama-C users on macOS, As I am using Frama-C most of the time on macOS I have tried to install it on the beta release of the upcoming macOS version âBig Surâ (a.k.a 11.0). After some failures, I am now able to install Frama-C using opam and homebrew. The Frama-C GUI (for WP) crashes when selecting âAll Goals" but the command line version can process âACSL by Exampleâ (https://github.com/fraunhoferfokus/acsl-by-example) without ptoblems Regarding provers, I could not yet install CVC4 because installation with homebrew fails. For "ACSL by Exampleâ this is currently not an issue since all proof obligations are discharged by a combination of alt-ergo, z3, and coq. Regards Jens