On 31/03/2019 02:06, Eliot Moss 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.
Regards,
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
