I try to install the PSL version of reduce on Windows XP using cygwin 1.7, with the reduce sources I checked out from the svn repository today.
The make process gets stuck in a routine bpsl.exe inside a script bootstrap.sh.
I think I can narrow down the error a bit: If I call bpsl directly from a shell and try to load any of the *.b files in the directory where bpsl.exe is located,
e.g. if I type in (load addr2id), then bpsl.exe consumes 100 % of CPU time, but nothing else happens.
Any help would be greatly appreciated
Log in to post a comment.