version 1.1, 2000/02/01 09:59:43 |
version 1.8, 2019/01/28 04:51:51 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM$ |
# $OpenXM: OpenXM/src/kxx/make-configure,v 1.7 2004/06/30 22:42:33 takayama Exp $ |
if ! test -f ./.configure_done |
if test ! -f ./.configure_done -o ! -f ./Makefile |
then |
then |
if test -f configure |
# make -f Makefile.conf |
then |
echo "--prefix=`cd ../../../OpenXM ; pwd`" |
./configure |
./configure --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared |
else |
|
autoconf |
|
./configure |
|
fi |
|
fi |
fi |
touch .configure_done |
touch .configure_done |