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

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 C:\WINDOWS\system32\ADVAPI32.DLL C:\WINDOWS\system32\KERNEL32.dll C:\WINDOWS\system32\ntdll.dll C:\WINDOWS\system32\RPCRT4.dll C:\WINDOWS\system32\Secur32.dll

That worked and I get a bit more:

518]- cygcheck ./polyimport.exe .\polyimport.exe C:\cygwin\bin\cygwin1.dll C:\WINDOWS\system32\ADVAPI32.DLL C:\WINDOWS\system32\ntdll.dll C:\WINDOWS\system32\KERNEL32.dll C:\WINDOWS\system32\RPCRT4.dll C:\WINDOWS\system32\Secur32.dll C:\WINDOWS\system32\USER32.dll C:\WINDOWS\system32\GDI32.dll

I carried on and did "make install". But then when I try to make a stand-alone executable I get lots of linker errors:

/usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x3ae): undefined reference to `___gxx_personality_sj0' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x4de): undefined reference to `___gxx_personality_sj0' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x602): undefined reference to `___gxx_personality_sj0' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x822): undefined reference to `___gxx_personality_sj0' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0xaba): undefined reference to `operator new(unsigned int)' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0xc4d): undefined reference to `operator new(unsigned int)' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0xdad): undefined reference to `operator new(unsigned int)' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0xfa4): undefined reference to `operator new(unsigned int)' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x122d): undefined reference to `operator new(unsigned int)' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x14ce): undefined reference to `___gxx_personality_sj0' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x1b6): undefined reference to `operator delete(void*)' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.text+0x1e3): undefined reference to `operator delete(void*)' /usr/local/lib/libpolyml.a(memmgr.o):memmgr.cpp:(.rdata$_ZTI8MemSpace[typeinfo for MemSpace]+0x0): undefined reference to `vtable for __cxxabiv1::__class_type_info' ...

Regards,

Rob.