Return to configure CVS log

Up to [local] / OpenXM_contrib2 / asir2000

Annotation of OpenXM_contrib2/asir2000/configure, Revision 1.3

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