Return to make-configure CVS log | Up to [local] / OpenXM / src / ox_toolkit |
File: [local] / OpenXM / src / ox_toolkit / make-configure (download)
Revision 1.6, Wed Mar 24 14:32:48 2021 UTC (3 years, 6 months ago) by fujimoto
Modified for cross build. If TARGET_TYPE is set, run 'configure' with --host=$TARGET_TYPE. |
#!/bin/sh # $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.6 2021/03/24 14:32:48 fujimoto Exp $ prefix=`cd ../..; pwd` cache_file=`pwd`/config.cache case "$1" in "-f"|"--force") automake autoconf touch ${cache_file} if [ -z $TARGET_TYPE ]; then ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared else ./configure --host=${TARGET_TYPE} --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared fi ;; *) if [ ! -f ./.configure_done ]; then if [ ! -f ./Makefile.in ]; then automake fi if [ ! -x ./configure ]; then autoconf fi touch ${cache_file} if [ -z $TARGET_TYPE ]; then ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared else ./configure --host=${TARGET_TYPE} --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared fi fi ;; esac touch .configure_done