version 1.4, 2000/08/20 12:15:10 |
version 1.8, 2019/01/28 04:51:51 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/kxx/make-configure,v 1.3 2000/02/03 09:33:46 ohara Exp $ |
# $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 |
make -f Makefile.conf |
# make -f Makefile.conf |
./configure |
echo "--prefix=`cd ../../../OpenXM ; pwd`" |
|
./configure --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared |
fi |
fi |
touch .configure_done |
touch .configure_done |