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!

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information