[Setup] Installation Quirks

This documents known installation quirks. It may be outdated, but should be easily editable by almost anyone. When listing a quirk, please also list how to get around it if known.

Why3 1.8.0 does not compile with gcc 15 or any C23-compliant compiler.

A fix is incoming with why3 1.8.1, and can be deployed by pinning the bugfix/v1.8 branch of the Why3 repository.

opam pin why https://gitlab.inria.fr/why3/why3.git#bugfix/v1.8

You can then carry on installing EasyCrypt following the main instructions.