20 Jul
2025
20 Jul
'25
12:36 p.m.
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