#19 Installation of reduce psl gets stuck on windows


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


  • Winfried Neun

    Winfried Neun - 2010-04-08

    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.


    Winfried Neun

  • Michael Mangold

    Michael Mangold - 2010-04-08

    Thanks a lot for the response. Yes, indeed I am using the cygwin version.

    Michael Mangold

  • Winfried Neun

    Winfried Neun - 2010-04-10

    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.



  • Michael Mangold

    Michael Mangold - 2010-04-11

    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!

  • Rainer Schöpf

    Rainer Schöpf - 2012-11-12
    • status: open --> closed-fixed

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks