17 Jul
2025
17 Jul
'25
4:51 p.m.
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