#!/bin/sh
# $OpenXM: OpenXM/src/util/make-configure,v 1.6 2021/03/24 14:32:48 fujimoto Exp $
if test ! -f ./.configure_done   -o ! -f ./Makefile
then 
# make -f Makefile.conf
  echo "--prefix=`cd ../../../OpenXM ; pwd`"
  if [ -z $TARGET_TYPE ] ; then 
    ./configure --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared
  else
    ./configure --host=${TARGET_TYPE} --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared
  fi
fi
touch .configure_done