configure 1.01 KB
Newer Older
jjgarcia's avatar
jjgarcia committed
1 2 3 4 5
#!/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.
6
set -e
jjgarcia's avatar
jjgarcia committed
7

jjgarcia's avatar
jjgarcia committed
8 9 10 11 12 13
#if uname -a | grep -i 'mingw32' > /dev/null; then
#  srcdir=`pwd -W`/src;
#else
#  srcdir=`pwd`/src
#fi
srcdir=`pwd`/src
14 15
[ "x$buildir" = "x" ] && buildir=build
export buildir
jjgarcia's avatar
jjgarcia committed
16 17 18 19 20 21 22 23

if [ ! -d ${buildir} ] ; then
   echo Creating directory "\`${buildir}'"
   mkdir ${buildir}
fi

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

24 25 26 27
#
# There are two ways to configure ECL. If we use our own version of GMP,
# we let it configure itself and later on retrieve the appropiate flags
#
jjgarcia's avatar
jjgarcia committed
28
if ( echo $* | grep guess-host-cflags ); then
29 30 31 32 33
  echo ****
  echo **** The flag --enable-guest-host-cflags has been removed. Instead try
  echo ****   $* --enable-slow-conf
  echo ****
  exit 1
34
fi
35 36

cd ${buildir}
37
${srcdir}/configure --srcdir=${srcdir} "$@"
38

jjgarcia's avatar
jjgarcia committed
39
echo Configuration complete. To build ECL, issue 'make' in this directory.