Return to asir-install.sh CVS log

Up to [local] / OpenXM / src / asir-port

Annotation of OpenXM/src/asir-port/asir-install.sh, Revision 1.2

1.1       takayama    1: #!/bin/sh
1.2     ! takayama    2: # $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.1 2004/02/27 00:12:22 takayama Exp $
1.1       takayama    3: # Downloading Risa/Asir for FLL-free systems.
                      4: # Risa/Asir is installed under $OpenXM_HOME/bin
                      5: os=`uname -s`
                      6: md=`cat $OpenXM_HOME/lib/asir/distinfo-asir`
                      7: libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib`
                      8: # For testing
                      9: #asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe"
                     10: #asirname="gzip.exe"
                     11: #asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/tar.exe"
                     12: #asirlibname="tar.exe"
                     13: #
                     14: asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/asir-$os-$md.gz"
                     15: asirnamegunzip="asir-$os-$md"
                     16: asirname="asir-$os-$md.gz"
                     17: asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/asirlib-$os-$libmd.tar.gz"
                     18: asirlibname="asirlib-$os-$libmd.tar.gz"
                     19: ot="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/ox-texmacs-$os.tar.gz"
                     20: otname="ox-texmacs-$os.tar.gz"
                     21:
                     22: ASIR_LIB_FILES=alph bfct bgk const cyclic defs.h dmul fctrdata fctrtest \
                     23:                fff gr ifplot katsura mat nf num primdec \
                     24:                ratint robot solve sp sturm xm
                     25:
                     26: if [ $# = 1 ]; then
                     27: if [ $1 = "--force" ]; then
                     28:  rm -rf $HOME/.asir-tmp
                     29: fi
                     30: fi
                     31:
                     32: _agree() {
                     33:        echo "------------------------------------------------------------------"
                     34:        echo "This script install Risa/Asir under $OpenXM_HOME"
                     35:        echo "Risa/Asir is distributed with no warranty for non-commercial use."
                     36:        echo "OpenXM subcomponents are distributed with no warranty under BSD license or GPL."
                     37:        echo "Do you agree with the licenses under $OpenXM_HOME/Copyright?"
                     38:        echo "------------------------------------------------------------------"
                     39:        echo "y: agree, n: do not agree, v: read the detail of the asir license."
                     40:        read -e -p "(y/n/v)" ans
                     41:        if [ $ans = "y" ]; then
                     42:                return
                     43:        fi
                     44:        if [ $ans = "n" ]; then
                     45:                echo "Aborting the installation." ; \
                     46:                exit
                     47:     fi
                     48:        if [ $ans = "v" ]; then
                     49:                more $OpenXM_HOME/Copyright/Copyright.asir ; \
                     50:                _agree ; \
                     51:                return
                     52:        fi
                     53:        _agree
                     54: }
                     55:
                     56:
                     57: if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then
                     58:        _agree ; \
                     59:        echo -n "Downloading the binary of asir (1.5M) $asir ... " ; \
                     60:        oxfetch.sh $asir $HOME/.asir-tmp ; \
                     61:        echo "Done." ; \
                     62:        gunzip $HOME/.asir-tmp/$asirname ; \
                     63:        chmod +x $HOME/.asir-tmp/$asirnamegunzip ; \
                     64:        install -m 755 $HOME/.asir-tmp/$asirnamegunzip $OpenXM_HOME/bin/asir ; \
                     65: fi
                     66: if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then
                     67:        echo -n "Downloading the asir library  $asirlib... " ; \
                     68:        oxfetch.sh $asirlib $HOME/.asir-tmp ; \
                     69:        echo "Done." ; \
                     70:        (cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \
                     71:        (cd $OpenXM_HOME/lib/asir ; rm -f $ASIR_LIB_FILES) ; \
                     72:        (cd $HOME/.asir-tmp ; install -m 644 $ASIR_LIB_FILES $OpenXM_HOME/lib/asir) ; \
                     73: fi
                     74: if [ ! -f $HOME/.asir-tmp/$otname ]; then
                     75:        echo -n "Downloading the $ot plugin... " ; \
                     76:        oxfetch.sh $ot $HOME/.asir-tmp ; \
                     77:        echo "Done." ; \
1.2     ! takayama   78:        if [ -f $HOME/.TeXmacs/progs/my-init-texmacs.scm ]; then \
        !            79:                echo "Warning .TeXmacs/progs/my-init-texmacs.scm exists"; \
        !            80:                echo "Copy from ~/.asir-tmp/$otname by hand."; \
        !            81:     else (cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \
        !            82:     fi
1.1       takayama   83: fi
                     84:
                     85:
                     86: echo "Installation is completed."
                     87:
                     88:
                     89: