#!/bin/sh
# $OpenXM: OpenXM/src/ox_gsl/make-configure,v 1.1 2018/04/07 03:30:50 takayama Exp $
if test ! -f ./.configure_done  -o ! -f ./Makefile
then 
# make -f Makefile.conf
 echo "--prefix=`cd ../../../OpenXM ; pwd`"
 ./configure --prefix="`cd ../../../OpenXM ; pwd`"
fi
touch .configure_done