Rob, All I can say is that it works for me with 5.2.1 downloaded from SourceForge and the most recent update of Cygwin.
Make sure that you have an up-to-date version of Cygwin.
Try running ./polyimport -H 10 polytemp.txt < exportPoly.sml and see if you get any other error messages.
Regards, David
rda@lemma-one.com wrote:
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