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 _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
