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