compilation of Frama-C 25.0~beta does not stop on macOS
Both on macOS 12.4 and macOS 11.6.6 the compilation of Frama-C 25.0~beta does not stop (even when running for hours). Here are some details on my opam installation on macOS 12.4
opam-version: "2.0" opam-root-version: "2.1" repositories: "default" installed-switches: "4.13.1" switch: "4.13.1"
Hope this helps!