On Sun, 23 Jan 2022, Fabrice Nicol wrote: > Sure, I was just looking into it. > > Attached are both config.log.beta and config.log.20.06.1, corresponding to each build. Unfortunately, they don't tell me much. Can you confirm that the pre-generated C file compiler/mercury_compile.c is present. Julien.