===================================================================
RCS file: /home/cvs/OpenXM/src/ox_toolkit/make-configure,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/ox_toolkit/make-configure	2004/12/15 12:17:32	1.3
+++ OpenXM/src/ox_toolkit/make-configure	2005/01/17 22:54:46	1.4
@@ -1,13 +1,15 @@
 #!/bin/sh
-# $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.2 2004/06/28 12:39:11 ohara Exp $
+# $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.3 2004/12/15 12:17:32 ohara Exp $
 
 prefix=`cd ../..; pwd`
+cache_file=`pwd`/config.cache
 case "$1" in
 "-f"|"--force")
-   automake
-   autoconf
-   ./configure --prefix=${prefix} --with-gmp
-   ;;
+    automake
+    autoconf
+    touch ${cache_file}
+    ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file}
+    ;;
 *)
 if [ ! -f ./.configure_done ]; then 
     if [ ! -f ./Makefile.in ]; then 
@@ -16,7 +18,8 @@ if [ ! -f ./.configure_done ]; then 
     if [ ! -x ./configure ]; then 
 		autoconf 
   	fi
-    ./configure --prefix=${prefix} --with-gmp
+    touch ${cache_file}
+    ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file}
 fi
     ;;
 esac