#!/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