ecl/configure

24 lines
654 B
Bash
Executable file

#!/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.
if uname -a | grep -i 'mingw32' > /dev/null; then
srcdir=`pwd -W`/src;
else
srcdir=`pwd`/src
fi
buildir=build
if [ ! -d ${buildir} ] ; then
echo Creating directory "\`${buildir}'"
mkdir ${buildir}
fi
# Now run the real configure script
echo Switching to directory "\`${buildir}'" to continue configuration.
cd ${buildir}
${srcdir}/configure --srcdir=${srcdir} $*
echo Configuration complete. To build ECL, issue 'make' in this directory.