Install Reduce psl

Help
DiodeZener
2013-04-08
2013-04-09
  • DiodeZener

    DiodeZener - 2013-04-08

    Hi,

    I am trying to install reduce psl since I need to use daisy. But things haven't gone that far. I am using Cygwin 3.8 on my Windows 7 Pro. According to another thread on the website. I installed cygwin including the Devel group and if I use "type -a make", it will show me "make is /usr/bin/make". Then I used svn co ~ to get all the trunk files and used "./configure --with-psl". Here is what I got:

    $ ./configure --with-psl
    configure: Absolute path to source directory = /home/admin/reduce-algebra/trunk
    checking build system type... i686-pc-cygwin
    checking host system type... i686-pc-cygwin
    in-place build attempt = yes
    configure: host=i686-pc-cygwin args= '--with-psl'
    configure: Will build in the i686-pc-windows subdirectory
    configure: +++ Will build in /home/admin/reduce-algebra/trunk/pslbuild/i686-pc-w indows
    checking build system type... i686-pc-cygwin
    checking host system type... i686-pc-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 for cygpath... cygpath
    configure: Build platform specified as i686-pc-windows
    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 build system type... i686-pc-cygwin
    checking host system type... i686-pc-cygwin
    configure: Building under cygwin
    configure: For windows I install in c:\bin by default
    checking for gcc... gcc
    checking whether the C compiler works... no
    configure: error: in /home/admin/reduce-algebra/trunk/pslbuild/i686-pc-windows/xport': configure: error: C compiler cannot create executables Seeconfig.log' for more details
    make: ** No targets specified and no makefile found. Stop.
    configure: Will build this PSL using the win32 initial binaries
    configure: About to update PSL binaries from master web-site at ZIB
    /home/admin/reduce-algebra/trunk/psl/configure: line 2443: ../xport/xport: No such file or directory
    chmod: cannot access `bpsl
    ': No such file or directory
    configure: creating ./config.status
    config.status: creating Makefile

    I guess there is something wrong because if I use "make" and then go to bin and type ./reduce. It shows me -bash: ./reduce: Permission denied

    So please help me. Thanks in advance.

     
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-08

    The log you posted shows the problem:

    checking whether the C compiler works... no
    

    You don't have a C compiler installed. Install gcc under cygwin.

    Rainer

     
    • DiodeZener

      DiodeZener - 2013-04-09

      Rainer, thanks for your reply. I am new with cygwin or any linux system. Can you tell me in detail how to do that? I have already installed the whole Devel group when I installed cygwin. I believe "gcc" as well as "make" are parts of Devel. Do I need to enter some extra command in the cygwin terminal to install gcc? Thanks

       
    • DiodeZener

      DiodeZener - 2013-04-09

      If I typed g++ -version or gcc -version, it will show me gcc or g++ (GCC) 4.5.3 copyright and blah blah...

       
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-09

    config.log contains a detailed protocol which shows exactly what goes wrong.

     
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-09

    Please try the following (which is not completely tested, but should work):

    DONT_USE_XPORT=1 ./configure --with-psl

     
    • DiodeZener

      DiodeZener - 2013-04-09

      Rainer, thanks for your reply. Unfortunately, the command doesn't work. And the error "c compiler works--no" remains. Here is my config.log file under the trunk->pslbuild->i686-pc-windows folder.

       
      Last edit: DiodeZener 2013-04-09
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-09

    Please update your working copy (svn update) and try again.

     
    • DiodeZener

      DiodeZener - 2013-04-09

      Hi Rainer, I updated using snv update. And it showed "Updating '.' at revision 1856". Then I tried ./configure and DON_USE_XPORT ./configure again. The problem still remains. I tried on my laptop and my desktop. Both have the same problem and the problem remains. I am not sure if this matters, I use PSCAD thus I have GNU/EGCS installed on both computers.

       
      Last edit: DiodeZener 2013-04-09
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-09

    That cannot be right: the latest revision is 1971.

    THe command is

    DONT_USE_XPORT=1 ./configure --with-psl

     
    • DiodeZener

      DiodeZener - 2013-04-09

      Hi rainer, thanks for your reply. Here is the url I used insdie svn co command.
      svn co https://reduce-algebra.svn.sourceforge.net/svnroot/reduce-algebra reduce-algebra
      And If I went to this url using my browser, it shows reduce-algebra revision 1856.
      I typed "svn update" into cygwin terminal under reduce-algebra directory. And it showed revision 1856. If I typed "svn update" under the root directory of cygwin. It said:

      $ svn update
      Skipped '.'
      Summary of conflicts:
      Skipped paths: 1

       
      Last edit: DiodeZener 2013-04-09
  • Rainer Schöpf

    Rainer Schöpf - 2013-04-09

    This URL is out-of-date, where did you find it?

    See
    http://reduce-algebra.sourceforge.net/downloading.html
    for up-to-date information

     
    • DiodeZener

      DiodeZener - 2013-04-09

      Emm... I googled REDUCE psl installation. And the first entry is:
      https://sourceforge.net/apps/mediawiki/reduce-algebra/index.php?title=Installation
      I guess I didn't notice it's three years ago.
      After incredibly long downloading time, I used the command you told me (./configure --with-psl not working still):
      DONT_USE_XPORT=1 ./configure --with-psl
      And everything is fine!!!!!!!! :)
      And I was able to load DAISY as well.
      Thanks so much for your time.

       

Log in to post a comment.