OpenXM/src/polymake/fake/make-configure - view

Return to make-configure CVS log

Up to [local] / OpenXM / src / polymake / fake

File: [local] / OpenXM / src / polymake / fake / make-configure (download)

Revision 1.1, Thu Jul 15 05:39:08 2004 UTC (19 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9

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