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
