OpenXM/src/ox_toolkit/make-configure - view

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, 1 month ago) by fujimoto
Branch: MAIN
CVS Tags: HEAD
Changes since 1.5: +11 -3 lines

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