8 Apr
2019
8 Apr
'19
2:37 p.m.
Eliot Moss and David Matthews wrote:
I just built from master with --disable-shared. polyml builds fine in that setup under Cygwin, so the build problem is fixed. The failure with signal 11 when doing Holmake is still there, even if I build Hol4 again.
Any ideas on what to test next?
This should now be fixed in master. I've checked it on Linux but I'd expect the fix to work on Cygwin as well.
It wasn't clear that this bug was present on other platforms than Cygwin. Debugging these things on Cygwin is almost impossible.
Poly/ML HEAD compiles on MobaXterm and it compiles HOL HEAD as well.
- Gergely