Return to configure CVS log

Up to [local] / OpenXM_contrib2 / asir2000

Annotation of OpenXM_contrib2/asir2000/configure, Revision 1.2

1.1       noro        1: #!/bin/sh
1.2     ! noro        2: # $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.1.1.1 1999/12/03 07:39:06 noro Exp $
        !             3:
        !             4: oxhome=`( cd ../../OpenXM ; pwd )`
        !             5: use_plot=0
        !             6: use_pari=0
        !             7:
        !             8: while [ $# -gt 0 ]
        !             9: do
        !            10:        case $1 in
        !            11:        -oxhome)
        !            12:                shift; oxhome=$1 ;;
        !            13:        -plot)
        !            14:                use_plot=1 ;;
        !            15:        -pari)
        !            16:                use_pari=1 ;;
        !            17:        esac
        !            18:        shift
        !            19: done
        !            20:
        !            21: libname=libasir
        !            22:
        !            23: rm -f include/config.h
        !            24: echo "#define OpenXM_HOME ${oxhome}" >> include/config.h
        !            25:
        !            26: #cat > include/config.h <<EOF
        !            27: ##define OpenXM_HOME ${oxhome}
        !            28: #EOF
        !            29:
        !            30: if [ $use_pari != 0 ]; then
        !            31: libname=$libname"_pari"
        !            32: echo "#define USE_PARI" >> include/config.h
        !            33: fi
        !            34:
        !            35: if [ $use_plot != 0 ]; then
        !            36: libname=$libname"_X"
        !            37: echo "#define USE_PLOT" >> include/config.h
1.1       noro       38: fi
1.2     ! noro       39:
        !            40: echo LIBASIR=$libname.a >> include/config.h