I can't build version 5.2.1 of polyml on cygwin. THe make step fails like this:
.... gcc -Wall -fno-strict-aliasing -O3 -o .libs/polyimport.exe polyimport.o libpolyml/.libs/libpolyml.dll.a -lgdi32 -lwsock32 -lpthread -ldl -lstdc++ -lgcc -L/usr/local/lib creating polyimport.exe cp imports/polymli386.txt polytemp.txt ./polyimport -H 10 polytemp.txt < exportPoly.sml > /dev/null make[2]: *** [polyexport.o] Error 53 make[2]: Leaving directory `/cygdrive/c/Documents and Settings/rob.arthan/My Documents/2-Misc/Downloads/polyml/polyml.5.2.1' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/cygdrive/c/Documents and Settings/rob.arthan/My Documents/2-Misc/Downloads/polyml/polyml.5.2.1' make: *** [all] Error 2
I can't crack my way through the various shell scripts, C programs and bits of ML that are involved here, so I can't tell where the error number 53 comes from. (If it is a Unix errno value, then it is the very weird "ENOANO: No anode").
Any suggestions gratefully received,
Rob.