Skip to content
configure 772 B
Newer Older
#!/bin/sh
#
# This is just a driver for configure, the real configure is in src.
# This script identifies the machine, and creates a directory for
# the installation, where it runs ${srcdir}/configure.
set -e

srcdir=`pwd`/src

echo Switching to directory "\`${srcdir}'" to continue configuration.

#
# There are two ways to configure MKCL. If we use our own version of GMP,
# we let it configure itself and later on retrieve the appropiate flags
#
if ( echo $* | grep guess-host-cflags ); then
  echo ****
  echo **** The flag --enable-guest-host-cflags has been removed. Instead try
  echo ****   $* --enable-slow-conf
  echo ****
  exit 1
fi

cd ${srcdir}
./configure --srcdir=${srcdir} "$@"

echo Configuration complete. To build MKCL, issue 'make' in this directory.