===================================================================
RCS file: /home/cvs/OpenXM/src/ox_toolkit/make-configure,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- OpenXM/src/ox_toolkit/make-configure	2019/01/28 04:51:51	1.5
+++ OpenXM/src/ox_toolkit/make-configure	2021/03/24 14:32:48	1.6
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.4 2005/01/17 22:54:46 ohara Exp $
+# $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.5 2019/01/28 04:51:51 takayama Exp $
 
 prefix=`cd ../..; pwd`
 cache_file=`pwd`/config.cache
@@ -8,7 +8,11 @@ case "$1" in
     automake
     autoconf
     touch ${cache_file}
-    ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared
+    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 
@@ -19,7 +23,11 @@ if [ ! -f ./.configure_done ]; then 
 		autoconf 
   	fi
     touch ${cache_file}
-    ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared
+    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