===================================================================
RCS file: /home/cvs/OpenXM/src/ox_toolkit/make-configure,v
retrieving revision 1.1
retrieving revision 1.5
diff -u -p -r1.1 -r1.5
--- OpenXM/src/ox_toolkit/make-configure	2000/02/08 20:34:14	1.1
+++ OpenXM/src/ox_toolkit/make-configure	2019/01/28 04:51:51	1.5
@@ -1,9 +1,26 @@
 #!/bin/sh
-# $OpenXM$
+# $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.4 2005/01/17 22:54:46 ohara Exp $
+
+prefix=`cd ../..; pwd`
+cache_file=`pwd`/config.cache
+case "$1" in
+"-f"|"--force")
+    automake
+    autoconf
+    touch ${cache_file}
+    ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared
+    ;;
+*)
 if [ ! -f ./.configure_done ]; then 
+    if [ ! -f ./Makefile.in ]; then 
+		automake 
+  	fi
     if [ ! -x ./configure ]; then 
 		autoconf 
   	fi
-    ./configure 
+    touch ${cache_file}
+    ./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared
 fi
+    ;;
+esac
 touch .configure_done