version 1.3, 2004/06/23 23:04:10 |
version 1.6, 2021/03/24 14:32:48 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/util/make-configure,v 1.2 2004/06/23 22:49:17 takayama Exp $ |
# $OpenXM: OpenXM/src/util/make-configure,v 1.5 2019/01/28 04:51:51 takayama Exp $ |
if test ! -f ./.configure_done |
if test ! -f ./.configure_done -o ! -f ./Makefile |
then |
then |
# make -f Makefile.conf |
# make -f Makefile.conf |
echo "--prefix=`cd ../../../OpenXM ; pwd`" |
echo "--prefix=`cd ../../../OpenXM ; pwd`" |
./configure --prefix="`cd ../../../OpenXM ; pwd`" |
if [ -z $TARGET_TYPE ] ; then |
|
./configure --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared |
|
else |
|
./configure --host=${TARGET_TYPE} --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared |
|
fi |
fi |
fi |
touch .configure_done |
touch .configure_done |