![]() ![]() | ![]() |
File: [local] / OpenXM / src / polymake / fake / make-configure (download)
Revision 1.1, Thu Jul 15 05:39:08 2004 UTC (20 years, 1 month 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/polymake/fake/make-configure,v 1.1 2004/07/15 05:39:08 takayama Exp $ if test ! -f ./.configure_done -o ! -f ./Makefile then echo "--prefix=`cd ../../../../OpenXM ; pwd`" ./configure --prefix="`cd ../../../../OpenXM ; pwd`" fi touch .configure_done