version 1.2, 2016/09/23 03:04:22 |
version 1.3, 2021/03/24 14:32:48 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/ox_pari/make-configure,v 1.1 2016/09/22 10:20:30 ohara Exp $ |
# $OpenXM: OpenXM/src/ox_pari/make-configure,v 1.2 2016/09/23 03:04:22 takayama Exp $ |
|
|
prefix=`cd ../..; pwd` |
prefix=`cd ../..; pwd` |
cache_file=`pwd`/config.cache |
cache_file=`pwd`/config.cache |
|
|
automake |
automake |
autoconf |
autoconf |
touch ${cache_file} |
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") |
"-d"|"--disable-shared") |
if [ ! -f ./.configure_done ]; then |
if [ ! -f ./.configure_done ]; then |
Line 19 if [ ! -f ./.configure_done ]; then |
|
Line 23 if [ ! -f ./.configure_done ]; then |
|
autoconf |
autoconf |
fi |
fi |
touch ${cache_file} |
touch ${cache_file} |
./configure --prefix=${prefix} --cache-file=${cache_file} --disable-shared |
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 |
fi |
;; |
;; |
*) |
*) |
Line 31 if [ ! -f ./.configure_done ]; then |
|
Line 39 if [ ! -f ./.configure_done ]; then |
|
autoconf |
autoconf |
fi |
fi |
touch ${cache_file} |
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 |
fi |
;; |
;; |
esac |
esac |