install bug an cygwin, hugs98-Dec2001

hi, 

your comment on compiling using cygwin is rather old. 

it would work by just using the unix-method, 
if the stupid installation routine would add an ".EXE" to the 
files before trying to move them to the installation dir. 

in the /src/Makefile.in are some "@EXE@" strings.
But there is nobody who makes any use of them. just replacing 
them with a ".EXE" looked better, but did not help. 

it still crashes with: 

[...]hugs/src$ make install
unix/install-sh -d [...]hugs/bin
unix/install-sh hugs [...]hugs/bin
mv: preserving times for `[...]hugs/bin/#inst.1468#': No such 
file or directory
mv: cannot unlink `hugs': No such file or directory
mv: cannot remove `hugs': No such file or directory
make: *** [install_bin] Error 1



is there anybody who can fix that? 

thanks

Jan