David,
I have updated my cygwin and uname -a reports:
CYGWIN_NT-5.1 M024HP-6510B 1.5.25(0.156/4/2) 2008-06-12 19:34 i686 Cygwin
But it still fails in the same way. I don't get any error messages when I run ./polyimport directly as you suggested:
539]- ./polyimport -H 10 polytemp.txt < ./exportPoly.sml 540]- echo $? 53
What should I try next?
Regards,
Rob.
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
polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml