Install of Reduce-psl on Windows 7 64-bit

Help
JLA
2014-03-17
2014-03-22
  • JLA
    JLA
    2014-03-17

    Hi,

    I'm trying to install reduce-algebra psl on a Windows 7 64-bit. What I've done so far:

    1) I've installed Cygwin (I installed 'all' so that's 20 GB)
    2) I downloaded Reduce with the command svn checkout http://svn.code.sf.net/p/reduce-algebra/code/trunk reduce-algebra
    3) ./configure -with-psl in the bin-file
    4) and finally "make"

    When 'making' the program, it stopped really quickly. I installed reduce psl before (on another pc, using reduce-algebra.sn.sourceforge.net/svnroot/reduce-algebra) and then it took a really long time (as also indicated on the sourceforge site). In any case, I cannot use the .bat-files that are created in the bin-folder. Opening them in windows does nothing (no response). They are also all <1 kb (if that's any indication of something being wrong)

    Opening them in Cygwin for example gives the following respons:

    $ ./redpsl.bat
    +++ No ready-compiled redpsl available
    Go "./configure --with-psl; make" in a cygwin shell please

    I'm posting here the output after the configure and make commands.

    JOS@JOS-PC ~/reduce-algebra
    $ ./configure --with-psl
    configure: Absolute path to source directory = /home/JOS/reduce-algebra
    checking build system type... x86_64-unknown-cygwin
    checking host system type... x86_64-unknown-cygwin
    configure: with_crlibm = yes
    in-place build attempt = yes
    configure: host=x86_64-unknown-cygwin args= '--with-psl'
    configure: Will build in the x86_64-pc-windows subdirectory
    configure: +++ Will build in /home/JOS/reduce-algebra/pslbuild/x86_64-pc-windows
    checking build system type... x86_64-unknown-cygwin
    checking host system type... x86_64-unknown-cygwin
    checking for a BSD-compatible install... /usr/bin/install -c
    checking whether build environment is sane... yes
    checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
    checking for gawk... gawk
    checking whether make sets $(MAKE)... yes
    checking whether make supports nested variables... yes
    checking for cygpath... cygpath
    configure: Build platform specified as x86_64-pc-windows
    configure: Will build this PSL using the win32 initial binaries
    checking that generated files are newer than configure... done
    configure: creating ./config.status
    config.status: creating Makefile

    JOS@JOS-PC ~/reduce-algebra
    $ make
    /bin/sh scripts/make.sh
    MFLAGS=<> MKFLAGS=<> MAKECMDGOALS=<> args=<>
    par=no PSLMFLAGS=<>
    Current machine tag is x86_64-pc-windows
    About to build in pslbuild/x86_64-pc-windows
    make MYFLAGS= --no-print-directory
    if ! test -d deps; then mkdir deps; fi
    touch deps/noncore-packages.psl-depend
    if ! test -d deps; then mkdir deps; fi
    touch deps/noncore-packages.psl-make
    if ! test -d deps; then mkdir deps; fi
    touch deps/core-packages.psl-depend
    if ! test -d deps; then mkdir deps; fi
    touch deps/core-packages.psl-make
    cd /home/JOS/reduce-algebra/psl && /bin/sh /home/JOS/reduce-algebra/missing automake-1.14 --foreign
    CDPATH="${ZSH_VERSION+.}:" && cd /home/JOS/reduce-algebra/psl && /bin/sh /home/J OS/reduce-algebra/missing autoconf
    /bin/sh ./config.status --recheck
    running CONFIG_SHELL=/bin/sh /bin/sh /home/JOS/reduce-algebra/psl/configure --wi th-psl --with-build=x86_64-pc-windows --no-create --no-recursion
    checking build system type... x86_64-unknown-cygwin
    checking host system type... x86_64-unknown-cygwin
    checking for a BSD-compatible install... /usr/bin/install -c
    checking whether build environment is sane... yes
    checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
    checking for gawk... gawk
    checking whether make sets $(MAKE)... yes
    checking whether make supports nested variables... yes
    checking for cygpath... cygpath
    configure: Build platform specified as x86_64-pc-windows
    configure: Will build this PSL using the win32 initial binaries
    checking that generated files are newer than configure... done
    configure: creating ./config.status
    /bin/sh ./config.status
    config.status: creating Makefile
    if ! test -f red/bootstrap.img; \ then make red/bootstrap.img; \ if test -f red/bootstrap.img; then make reduce; fi; \ else touch red/bootstrap.img; touch red/hugo; make reduce; fi
    /home/JOS/reduce-algebra/psl/bootstrap.sh x86_64-pc-windows
    /home/JOS/reduce-algebra/pslbuild/x86_64-pc-windows
    ++++++ Build initial bootstrap system ++++++
    dos2unix: converteren bestand deps/core-packages.psl-make naar Unix formaat
    ...
    dos2unix: converteren bestand deps/core-packages.psl-depend naar Unix formaat > ...
    dos2unix: converteren bestand deps/noncore-packages.psl-make naar Unix formaat > ...
    dos2unix: converteren bestand deps/noncore-packages.psl-depend naar Unix formaat > ...
    Bootstrap reduce built

    The last comments are in dutch (I'm using a Dutch version of Windows) and says

    "dos2unix: convert file deps/core-packages.psl-make to Unix format ..."
    and so on..

    Does anybody has some suggestions on what went wrong and how I can possibly install Reduce -Psl.

    I would be very grateful for any kind of help!
    Thanks

     
    Last edit: JLA 2014-03-17
    • Arthur Norman
      Arthur Norman
      2014-03-17

      On Mon, 17 Mar 2014, JLA wrote:

      Hi,

      I'm trying to install reduce-algebra psl on a Windows 7 64-bit. What I've done so far:

      1) I've installed Cygwin (I installed 'all' so that's 20 GB)
      2) I downloaded Reduce with the command svn checkout http://svn.code.sf.net/p/reduce-algebra/code/trunk reduce-algebra
      3) ./configure -with-psl in the bin-file
      4) and finally "make"

      When 'making' the program, it stopped really quickly. I installed
      reduce psl before (on another pc, using
      reduce-algebra.sn.sourceforge.net/svnroot/reduce-algebra) and then it
      took a really long time (as also indicated on the sourceforge site). In
      any case, I cannot use the .bat-files that are created in the
      bin-folder.
      Opening them in windows does nothing (no response). They are also all <1
      kb (if that's any indication of something being wrong)

      Two thoughts.

      Firstly there can be some times (ideally there would not be any but
      accidents can happen) when a snapshot in the subversion is temporarily
      broken. If you were unlucky and hit one that could be the issue. So you
      can try again, and the recipe I would suggest goes
      svn update
      rm -rf pslbuild
      ./configure --with-psl
      make

      Deleteing pslbuild and re-configuring gets things fully tidy to restart.

      The second thing is that the build happens in pslbuild/<machine-triple>
      so go into that directory and the evidence for how the build crashed will
      be in buildlogs. Probably in buildlogs/bootstrap.blg, so that may be
      something you can send us to get advice (after you see if you can spot an
      obvious message yourself).

      As a final remar, it may make sense to try
      export DONT_USE_XPORT=1
      before the ./configure --with-psl step to use a newer (maybe more stable?)
      way of building the PSL version. We may make that the default at some
      stage.

                   Arthur
      
       
  • Rainer Schöpf
    Rainer Schöpf
    2014-03-17

    A couple of comments:

    I've rebuilt PSL Reduce earlier this evening, using an older 32bit Cygwin installation on Windows 7 (64 bit) - the result looks good. The DONT_USE_XPORT doens't make any difference, as far as I know.

    I haven't found the time yet to test with Cygwin64, or to update my cygwin32 setup, so I'm not entirely surprised that it doesn't work correctly.

    This line

    configure: Will build this PSL using the win32 initial binaries
    

    in your configure output indicates that cygwin64 is not detected correctly. I've just checked in an experimental correction to remedy that situation.

    Please run "svn up" and try again.

     Rainer
    
     
  • JLA
    JLA
    2014-03-18

    Thanks already for your help!
    I did indeed installed the 64-bit version of Cygwin. I've tried what both of you suggested:

    • removed pslbuild
    • updated the svn (now version 2422)
    • again configure and make

    Unfortunately, it still not works. These are the configure and make outputs:

    $ ./configure --with-psl
    configure: Absolute path to source directory = /home/JOS/reduce-algebra
    checking build system type... x86_64-unknown-cygwin
    checking host system type... x86_64-unknown-cygwin
    configure: with_crlibm = yes
    in-place build attempt = yes
    configure: host=x86_64-unknown-cygwin args= '--with-psl'
    configure: Will build in the x86_64-pc-windows subdirectory
    configure: +++ Will build in /home/JOS/reduce-algebra/pslbuild/x86_64-pc-windows
    checking build system type... x86_64-unknown-cygwin
    checking host system type... x86_64-unknown-cygwin
    checking for a BSD-compatible install... /usr/bin/install -c
    checking whether build environment is sane... yes
    checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
    checking for gawk... gawk
    checking whether make sets $(MAKE)... yes
    checking whether make supports nested variables... yes
    checking for cygpath... cygpath
    configure: Build platform specified as x86_64-pc-windows
    configure: Will build this PSL using the win32 initial binaries
    checking that generated files are newer than configure... done
    configure: creating ./config.status
    config.status: creating Makefile

    JOS@JOS-PC ~/reduce-algebra
    $ make
    /bin/sh scripts/make.sh
    MFLAGS=<> MKFLAGS=<> MAKECMDGOALS=<> args=<>
    par=no PSLMFLAGS=<>
    Current machine tag is x86_64-pc-windows
    About to build in pslbuild/x86_64-pc-windows
    make MYFLAGS= --no-print-directory
    if ! test -f red/bootstrap.img; \ then make red/bootstrap.img; \ if test -f red/bootstrap.img; then make reduce; fi; \ else touch red/bootstrap.img; touch red/hugo; make reduce; fi
    /home/JOS/reduce-algebra/psl/bootstrap.sh x86_64-pc-windows
    /home/JOS/reduce-algebra/pslbuild/x86_64-pc-windows
    ++++++ Build initial bootstrap system ++++++
    dos2unix: converteren bestand deps/core-packages.psl-make naar Unix formaat ...
    dos2unix: converteren bestand deps/core-packages.psl-depend naar Unix formaat ...
    dos2unix: converteren bestand deps/noncore-packages.psl-make naar Unix formaat ...
    dos2unix: converteren bestand deps/noncore-packages.psl-depend naar Unix formaat ...
    Bootstrap reduce built

    I've put the boostrapbuild in attachment

    I'm really not sure where to look in those +10000 lines of code to find the problem. From line 2391 it is complaining about a 'continuable error' and lisp break but I don't know what it means or what I can do to prevent it:

    I'm considering to install the 32-cygwin version. If it worked for Rainer, it might work for me too :-)

     
    Attachments
  • JLA
    JLA
    2014-03-18

    I also tried with the DONT_USE_XPORT=1. In the pslbuild folder, I also found the following report (see attachment) which gives the following errors (in the end)

    1 lisp> 1 lisp> 1 lisp> 1 lisp> 1 lisp> ** pslcomp' load module not found Break loop 2 lisp break (1) > 2 lisp break (1) > *****compiler' load module not found
    Break loop
    3 lisp break (2) >
    if-system' load module not found Break loop 4 lisp break (3) > *****faslend' is an undefined function
    *** Continuable error: retry form is `(faslend)'
    Break loop
    5 lisp break (4) > 5 lisp break (4) >
    Quitting

     
    Attachments
  • Rainer Schöpf
    Rainer Schöpf
    2014-03-18

    Ah, that helped: I rebuilt everything from scratch and now I see the same error. The file

     psl/dist/nonkernel/win32/lap/type-conver.b
    

    was updated incorrectly (on March 1, 2014). I didn't see the error at first since I had an old (working) copy lying around and didn't force a refresh.

    I'll update the broken file ASAP.

    On the other issue, namely building the 64bit version, could you please check the output of

    ./scripts/pslver.sh
    

    It should print

    mingw-w64
    

    If it doesn't, please post the output of

    sh -x ./scripts/pslver.sh
    

    Rainer

     
  • Rainer Schöpf
    Rainer Schöpf
    2014-03-18

    I believe I found the problems.

    Please run "svn up" and try again

     Rainer
    
     
  • JLA
    JLA
    2014-03-19

    Again, Kudos for your efforts!

    I have to say I started all over again
    -installed Cygwin for 64-bit
    -got reduce-algebra (version 2426), configure and make

    and it does still not work :( :( none of the .bat files are responsive and opening them in cygwin gives:

    $ ./redpsl.bat
    +++ No ready-compiled redpsl available
    Go "./configure --with-psl; make" in a cygwin shell please

    Now the "make" was indeed longer (about two minutes)
    I included the cygwin output that I got as well as the buildlogs. For me it looks it just stopped in mid-compilation. I would expect a message like "completed" but nothing appeared after

    /home/JOS/reduce-algebra/psl/noncoremodule.sh ranum x86_64-pc-windows
    build noncore module ranum for architecture x86_64-pc-windows

    I don't think there's something special in the buildlog of 'ranum'..so maybe something's wrong with the next package that should be compiled?(I'm just guessing here...)

     
    Attachments
  • JLA
    JLA
    2014-03-19

    ./scripts/pslver.sh

    indeed gives

    mingw-w64

     
  • Rainer Schöpf
    Rainer Schöpf
    2014-03-19

    ranum is simply the last in the list of packages. As reduce.img.blg shows, the build was successful.

    bin/redpsl.bat works for me. Note that copying the .bat files into another directory doesn't work, unless you change the paths.

    Rainer

     
  • JLA
    JLA
    2014-03-20

    Oh god, some frustration..
    I tried opening them in the path C:/cygwin/Home/JOS/reduce-algebra/bin. (JOS being my username)
    Still the .bat files were not responsive
    Opening the .bat files via the windows prompt (cmd) or cygwin also gives "no ready-compiled psl available"

    I checked the.bat files using notepad++ and I noticed that the directories were wrong!

    It said the following:

    1. @echo off
    2. set h=%~dp0
      4.. set n=%~n0
    3. if exist %h%..\pslbuild\x86_64-w64-windows\psl\bpsl.exe goto :x64
    4. if exist %h%..\pslbuild\i686-pc-windows\psl\bpsl.exe goto :x86
    5. echo +++ No ready-compiled %n% available
    6. echo Go "./configure --with-psl; make" in a cygwin shell please
    7. goto :done
    8. :x64
    9. start %h%..\pslbuild\x86_64-w64-windows\psl\bpsl.exe -td 1000 -f %h%..\pslbuild\x86_64-w64-windows\red\reduce.img %*
    10. goto :done

    11. :x86

    12. start %h%..\pslbuild\i686-pc-windows\psl\bpsl.exe -td 16000000 -f %h%..\pslbuild\i686-pc-windows\red\reduce.img %*
    13. :done

    but bpsl.exe is in the folder ..\pslbuild\ x86_64-pc-windows\psl\bpsl.exe

    So I changed the lines 6. and 14. to

    if exist %h%..\pslbuild\ x86_64-pc-windows\psl\bpsl.exe goto :x64

    start %h%..\pslbuild\ x86_64-pc-windows\psl\bpsl.exe -td 1000 -f %h%..\pslbuild\ x86_64-pc-windows\red\reduce.img %*

    and it works!! Hurray!

    In retrospect, I could have found this much earlier, but I had some cold feet/lack of knowledge checking these things since I'm absolutely not familiar with linux/programming.

    Rainer, thanks for the help

    now I'm off to Reduce fun :-)

     
    Last edit: JLA 2014-03-20
  • Rainer Schöpf
    Rainer Schöpf
    2014-03-22

    The path names do work if you build 64bit Reduce in Cygwin32. You are the first person who built with Cygwin64, congratulations!

    Of course, they should always be correct. I'll check in the necessary changes.

    Rainer