10 Nov
2021
10 Nov
'21
2:47 p.m.
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