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