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
I'll have a look (at home).
I guess that you use the cygwin version of PSL Reduce
(or the windows version) Both is doable.
Regards,
Winfried Neun
Thanks a lot for the response. Yes, indeed I am using the cygwin version.
Michael Mangold
Hi, I had a look.
In February, a new load.b module was created (most probably by myself) in the directory
where bpsl.exe lives. This seems to be not functional.
For the time being (until I remember why and how this was created), please change the
load.b.old to load.b and rerun make.
Not a great solution, But I guess there was an idea behind it.
Regards,
Winfried
Thank you very much for this hint that did the trick. I could not find load.b.old. So I checked out revision 540 of trunk/psl/dist/nonkernel/cygwin/lap and copied load.b from this directory to the psl subdirectory in the pslbuild directory. Now make works nicely.
Thanks again!