| version 1.3, 2004/06/23 23:04:10 |
version 1.5, 2019/01/28 04:51:51 |
|
|
| #!/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.4 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 |
| echo "--prefix=`cd ../../../OpenXM ; pwd`" |
echo "--prefix=`cd ../../../OpenXM ; pwd`" |
| ./configure --prefix="`cd ../../../OpenXM ; pwd`" |
./configure --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared |
| fi |
fi |
| touch .configure_done |
touch .configure_done |
![[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 / util