I've pushed a fix for this and it seems to build on Cygwin now.
Cygwin is a bit problematic since all the "system calls" are really
wrappers for Windows calls. Generally, on Windows it's better to use
the native Windows version of Poly/ML or Linux with Windows Subsystem
for Linux.
David
On 09/11/2021 01:26, Eliot Moss wrote:
I was about to do an upgrade of HOL4 and decided to do a polyml upgrade
first. My setup used to build fine under Cygwin, but now fails. The
proximal
failure is this:
./polyimport ./bootstrap/bootstrap64.txt -I . < ./bootstrap/Stage1.sml
Unable to allocate memory
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
