#!/bin/sh # $OpenXM: OpenXM/src/ox_toolkit/make-configure,v 1.3 2004/12/15 12:17:32 ohara Exp $ prefix=`cd ../..; pwd` case "$1" in "-f"|"--force") automake autoconf ./configure --prefix=${prefix} --with-gmp ;; *) if [ ! -f ./.configure_done ]; then if [ ! -f ./Makefile.in ]; then automake fi if [ ! -x ./configure ]; then autoconf fi ./configure --prefix=${prefix} --with-gmp fi ;; esac touch .configure_done