I'm not aware of any problem with PolyML.make on Windows. It's used as part of the standard build process for Poly/ML under both Msys64 and Visual Studio.

David

On 17/07/2025 16:51, Gergely Buday wrote:

Hi there,

I am to compile ML-Lex for Poly/ML:

https://github.com/eldesh/mllex-polyml

and its Makefile uses PolyML.make . I have managed to call it from the interactive Poly/ML, it did accept the OS.FileSys.getDir() argument, but then nothing happens. Does PolyML.make reportedly work on Windows? I tried it from MINGW64 and CMD prompts as well.

• Gergely