On 22/05/2025 12:00, Gergely Buday wrote:

Hi there,

polyc on msys2-mingw64 gives me

$ /c/polyml/bin/polyc hello.sml /c/polyml/bin/polyc: line 17: @ARCHINTERPRET64_TRUE@EXTRALDFLAGS=-Wl,-u,WinMain: command not found

The mentioned part is

#EXTRALDFLAGS="" EXTRALDFLAGS="-Wl,-u,WinMain" @ARCHINTERPRET64_TRUE@EXTRALDFLAGS="-Wl,-u,WinMain"

is this a generated shell script? Shall I just remove this last line?

Yes, it's a relic of some previous code and isn't being properly configured. I've committed a fix to remove it so as a work-around in the present version just remove it.

David