[polyml] Re: PolyML application news

2009-08-27 Thread Lucas Dixon
Hello, Unfortunately, as some people suspected, the PolyML application was deemed to be out of scope and so it was not taken forward for funding. However, I did get positive feedback and we were recommended to resubmit the application to another funding stream. So I am now thinking about adapting

Re: [polyml] Poly/ML build fails on cygwin

2009-08-27 Thread rda
David, > Rob, > A quick look with Google suggests that error 53 is a missing DLL. Try > building a statically linked version: > make distclean > ./configure --disable-shared > make > cygcheck ./polyimport.exe > and you should get something like > .\polyimport.exe >C:\cygwin\bin\cygwin1.dll >

Re: [polyml] Poly/ML build fails on cygwin

2009-08-27 Thread David Matthews
Rob, A quick look with Google suggests that error 53 is a missing DLL. Try building a statically linked version: make distclean ./configure --disable-shared make cygcheck ./polyimport.exe and you should get something like .\polyimport.exe C:\cygwin\bin\cygwin1.dll C:\WINDOWS\system32\ADVA

Re: [polyml] Poly/ML build fails on cygwin

2009-08-27 Thread rda
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 < ./exportP

Re: [polyml] Poly/ML build fails on cygwin

2009-08-27 Thread David Matthews
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, D

[polyml] Poly/ML build fails on cygwin

2009-08-27 Thread rda
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/polymli38