| version 1.1, 2016/09/22 10:20:30 |
version 1.3, 2021/03/24 14:32:48 |
|
|
| #!/bin/sh |
#!/bin/sh |
| # $OpenXM$ |
# $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") |
| |
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 ./.configure_done ]; then |
| if [ ! -f ./Makefile.in ]; then |
if [ ! -f ./Makefile.in ]; then |
| Line 19 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 |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to make-configure CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / ox_pari