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.1

1.1     ! takayama    1: #!/bin/sh
        !             2: # $OpenXM$
        !             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." ; \
        !            78:        (cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \
        !            79: fi
        !            80:
        !            81:
        !            82: echo "Installation is completed."
        !            83:
        !            84:
        !            85: