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
r...@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
