Return to configure CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / old

Annotation of OpenXM_contrib2/asir2000/old/configure, Revision 1.1

1.1     ! noro        1: #!/bin/sh
        !             2: # $OpenXM$
        !             3:
        !             4: use_plot=0
        !             5: use_pari=0
        !             6: use_interval=0
        !             7: use_fep=0
        !             8: oxhome=/usr/local
        !             9:
        !            10: if [ -d ../../OpenXM ]; then
        !            11: oxhome=`( cd ../../OpenXM ; pwd )`
        !            12: fi
        !            13:
        !            14: while [ $# -gt 0 ]
        !            15: do
        !            16:        case $1 in
        !            17:        -oxhome)
        !            18:                shift; oxhome=$1 ;;
        !            19:        -plot)
        !            20:                use_plot=1 ;;
        !            21:        -oldpari)
        !            22:                use_pari=1 ;;
        !            23:        -pari)
        !            24:                use_pari=2 ;;
        !            25:        -interval)
        !            26:                use_interval=1 ;;
        !            27:        -fep)
        !            28:                use_fep=1 ;;
        !            29:        esac
        !            30:        shift
        !            31: done
        !            32:
        !            33: libname=libasir
        !            34:
        !            35: rm -f include/config.h
        !            36: echo "#define OpenXM_HOME ${oxhome}" >> include/config.h
        !            37:
        !            38: #cat > include/config.h <<EOF
        !            39: ##define OpenXM_HOME ${oxhome}
        !            40: #EOF
        !            41:
        !            42: if [ $use_pari = 1 ]; then
        !            43: libname=$libname"_pari"
        !            44: libpari=pari
        !            45: echo "#define USE_PARI" >> include/config.h
        !            46: fi
        !            47:
        !            48: if [ $use_pari = 2 ]; then
        !            49: libname=$libname"_pari"
        !            50: libpari=pari-2.2
        !            51: echo "#define USE_PARI" >> include/config.h
        !            52: fi
        !            53:
        !            54: if [ $use_plot != 0 ]; then
        !            55: libname=$libname"_X"
        !            56: echo "#define USE_PLOT" >> include/config.h
        !            57: fi
        !            58:
        !            59: if [ $use_interval != 0 ]; then
        !            60: libname=$libname"_itv"
        !            61: echo "#define USE_INTERVAL" >> include/config.h
        !            62: fi
        !            63:
        !            64: if [ $use_fep != 0 ]; then
        !            65: echo "#define USE_FEP" >> include/config.h
        !            66: fi
        !            67:
        !            68: echo LIBPARI=$libpari >> include/config.h
        !            69: echo LIBASIR=$libname.a >> include/config.h
        !            70: