Impossible to link ccomp object files with MSYS2 MinGW64

AbsInt / CompCert

The CompCert formally-verified C compiler

https://compcert.org

Other

1.88k stars 228 forks source link

Impossible to link ccomp object files with MSYS2 MinGW64 #517

Closed NikNik77771 closed 2 months ago

NikNik77771 commented 2 months ago

I am not sure that ccomp supports MinGW.

xavierleroy commented 2 months ago

Indeed, the public version of CompCert (from this repository) doesn't support MinGW, owing to incompatibilities with MinGW's standard C library and headers. As mentioned in the user's manual, the only choice for running this version under Windows are Cygwin and WSL2.

The commercial version of CompCert distributed by AbsInt is based on MinGW + a different standard library, if I remember correctly. You can contact info@absint.com for more information.