Return to make-configure CVS log

Up to [local] / OpenXM / src / ox_pari

Annotation of OpenXM/src/ox_pari/make-configure, Revision 1.3

1.1       ohara       1: #!/bin/sh
1.3     ! fujimoto    2: # $OpenXM: OpenXM/src/ox_pari/make-configure,v 1.2 2016/09/23 03:04:22 takayama Exp $
1.1       ohara       3:
                      4: prefix=`cd ../..; pwd`
                      5: cache_file=`pwd`/config.cache
                      6: case "$1" in
                      7: "-f"|"--force")
                      8:     automake
                      9:     autoconf
                     10:     touch ${cache_file}
1.3     ! fujimoto   11:     if [ -z $TARGET_TYPE ]; then
        !            12:         ./configure --prefix=${prefix} --cache-file=${cache_file}
        !            13:     else
        !            14:         ./configure --host=${TARGET_TYPE} --prefix=${prefix} --cache-file=${cache_file}
        !            15:     fi
1.1       ohara      16:     ;;
1.2       takayama   17: "-d"|"--disable-shared")
                     18: if [ ! -f ./.configure_done ]; then
                     19:     if [ ! -f ./Makefile.in ]; then
                     20:                automake
                     21:        fi
                     22:     if [ ! -x ./configure ]; then
                     23:                autoconf
                     24:        fi
                     25:     touch ${cache_file}
1.3     ! fujimoto   26:     if [ -z $TARGET_TYPE ]; then
        !            27:         ./configure --prefix=${prefix} --cache-file=${cache_file} --disable-shared
        !            28:     else
        !            29:         ./configure --host=${TARGET_TYPE} --prefix=${prefix} --cache-file=${cache_file} --disable-shared
        !            30:     fi
1.2       takayama   31: fi
                     32: ;;
1.1       ohara      33: *)
                     34: if [ ! -f ./.configure_done ]; then
                     35:     if [ ! -f ./Makefile.in ]; then
                     36:                automake
                     37:        fi
                     38:     if [ ! -x ./configure ]; then
                     39:                autoconf
                     40:        fi
                     41:     touch ${cache_file}
1.3     ! fujimoto   42:     if [ -z $TARGET_TYPE ]; then
        !            43:         ./configure --prefix=${prefix} --cache-file=${cache_file}
        !            44:     else
        !            45:         ./configure --host=${TARGET_TYPE} --prefix=${prefix} --cache-file=${cache_file}
        !            46:     fi
1.1       ohara      47: fi
                     48:     ;;
                     49: esac
                     50: touch .configure_done