On a mingw64 terminal window poly -i does start, I get a prompt and can write an expression to evaluate but I get no response after sending it. Is there any cure for this?
In a cmd window for poly -i I get the standard Windows interface to Poly/ML and I did a double check that I did not start the canonical Windows Poly/ML executable, and my Windows PATH did not include the directory for that. I did use the --disable-windows-gui in the beginning. Do you have an idea why this has happened?
- Gergely
On Thu, 22 May 2025 at 15:10, David Matthews David.Matthews@prolingua.co.uk wrote:
By default the version on Windows includes a GUI so that clicking on the application puts up a window. This isn't always convenient if you want to run it under the Msys prompt and it's possible to build a "console" application by adding --disable-windows-gui to the configure line. When running poly use "poly -i" to get the interactive prompt. This still doesn't seem to get end-of-file to work properly under the Msys prompt since ctrl-D isn't recognised and the usual Windows ctrl-Z seems to try to generate a signal. The only way of exiting seems to be with
OS.Process.exit OS.Process success;
Running under the Windows "cmd" window works better and ctrl-Z is recognised as end-of-file.
David
On 22/05/2025 14:03, Gergely Buday wrote:
I have another question, possibly related to libraries as well. When trying to start the poly executable on msys2-mingw64, I get
$ poly Poly/ML 5.9.1 Release
but no prompt I get, it freezes and I cannot get out of it by ctrl-c or ctrl-d.
Is this a library problem or some lack of functionality in Windows prevents this from working?