===================================================================
RCS file: /home/cvs/OpenXM/src/ox_pari/make-configure,v
retrieving revision 1.1
retrieving revision 1.3
diff -u -p -r1.1 -r1.3
--- OpenXM/src/ox_pari/make-configure	2016/09/22 10:20:30	1.1
+++ OpenXM/src/ox_pari/make-configure	2021/03/24 14:32:48	1.3
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $OpenXM$
+# $OpenXM: OpenXM/src/ox_pari/make-configure,v 1.2 2016/09/23 03:04:22 takayama Exp $
 
 prefix=`cd ../..; pwd`
 cache_file=`pwd`/config.cache
@@ -8,8 +8,28 @@ case "$1" in
     automake
     autoconf
     touch ${cache_file}
-    ./configure --prefix=${prefix} --cache-file=${cache_file}
+    if [ -z $TARGET_TYPE ]; then
+        ./configure --prefix=${prefix} --cache-file=${cache_file}
+    else
+        ./configure --host=${TARGET_TYPE} --prefix=${prefix} --cache-file=${cache_file}
+    fi
     ;;
+"-d"|"--disable-shared")
+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} --cache-file=${cache_file} --disable-shared
+    else
+        ./configure --host=${TARGET_TYPE} --prefix=${prefix} --cache-file=${cache_file} --disable-shared
+    fi
+fi
+;;
 *)
 if [ ! -f ./.configure_done ]; then 
     if [ ! -f ./Makefile.in ]; then 
@@ -19,7 +39,11 @@ if [ ! -f ./.configure_done ]; then 
 		autoconf 
   	fi
     touch ${cache_file}
-    ./configure --prefix=${prefix} --cache-file=${cache_file}
+    if [ -z $TARGET_TYPE ]; then
+        ./configure --prefix=${prefix} --cache-file=${cache_file}
+    else
+        ./configure --host=${TARGET_TYPE} --prefix=${prefix} --cache-file=${cache_file}
+    fi
 fi
     ;;
 esac