Return to make-configure CVS log

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

Annotation of OpenXM/src/polymake/fake/make-configure, Revision 1.1

1.1     ! takayama    1: #!/bin/sh
        !             2: # $OpenXM$
        !             3: if test ! -f ./.configure_done  -o ! -f ./Makefile
        !             4: then
        !             5:  echo "--prefix=`cd ../../../../OpenXM ; pwd`"
        !             6:  ./configure --prefix="`cd ../../../../OpenXM ; pwd`"
        !             7: fi
        !             8: touch .configure_done