Return to make-configure CVS log | Up to [local] / OpenXM / src / asir-contrib |
File: [local] / OpenXM / src / asir-contrib / make-configure (download)
Revision 1.2, Thu Jul 15 05:39:07 2004 UTC (19 years, 11 months ago) by takayama
1. The section on oxshell is included in the asir-contrib manual. 2. Fake polymake is introduced. It is used to debug oxshell and doPolymake on a machine where no polymake is installed. |
#!/bin/sh # $OpenXM: OpenXM/src/asir-contrib/make-configure,v 1.2 2004/07/15 05:39:07 takayama Exp $ if test ! -f ./.configure_done -o ! -f ./Makefile then echo "--prefix=`cd ../../../OpenXM ; pwd`" ./configure --prefix="`cd ../../../OpenXM ; pwd`" else echo ".configure_done exists. Do nothing." fi touch .configure_done