version 1.2, 2004/06/28 12:39:11 |
version 1.5, 2019/01/28 04:51:51 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.1 2000/02/08 20:34:14 ohara Exp $ |
# $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 |
case "$1" in |
"-f"|"--force") |
"-f"|"--force") |
automake |
automake |
autoconf |
autoconf |
./configure --prefix="$(cd ../..; pwd)" |
touch ${cache_file} |
;; |
./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared |
|
;; |
*) |
*) |
if [ ! -f ./.configure_done ]; then |
if [ ! -f ./.configure_done ]; then |
if [ ! -f ./Makefile.in ]; then |
if [ ! -f ./Makefile.in ]; then |
Line 15 if [ ! -f ./.configure_done ]; then |
|
Line 18 if [ ! -f ./.configure_done ]; then |
|
if [ ! -x ./configure ]; then |
if [ ! -x ./configure ]; then |
autoconf |
autoconf |
fi |
fi |
./configure --prefix="$(cd ../..; pwd)" |
touch ${cache_file} |
|
./configure --prefix=${prefix} --with-gmp --cache-file=${cache_file} --enable-shared |
fi |
fi |
;; |
;; |
esac |
esac |