2010-12-05 13:40:02 +01:00
|
|
|
#!/bin/sh
|
2016-12-11 17:30:12 +01:00
|
|
|
# Run this to generate all the initial makefiles, etc.
|
|
|
|
|
|
|
|
test -f mu/mu.cc || {
|
|
|
|
echo "*** Run this script from the top-level mu source directory"
|
|
|
|
exit 1
|
|
|
|
}
|
|
|
|
|
2019-11-06 16:13:39 +01:00
|
|
|
# opportunistically; usually not needed, but occasionally it'll
|
2019-07-12 13:45:00 +02:00
|
|
|
# avoid build errors that would otherwise confuse users.
|
|
|
|
test -f Makefile && {
|
|
|
|
echo "*** clear out old things"
|
|
|
|
make distclean 2> /dev/null
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2017-11-04 11:49:28 +01:00
|
|
|
command -V autoreconf > /dev/null
|
2018-01-25 04:30:04 +01:00
|
|
|
if [ $? != 0 ]; then
|
2016-12-11 17:30:12 +01:00
|
|
|
echo "*** No autoreconf found, please install it ***"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2016-12-28 15:32:03 +01:00
|
|
|
rm -f config.cache
|
2016-12-11 17:30:12 +01:00
|
|
|
rm -rf autom4te.cache
|
2016-12-28 15:32:03 +01:00
|
|
|
|
2016-12-11 17:30:12 +01:00
|
|
|
autoreconf --force --install --verbose || exit $?
|
|
|
|
|
|
|
|
if test -z "$*"; then
|
|
|
|
echo "# Configuring without parameters"
|
|
|
|
else
|
|
|
|
echo "# Configure with parameters $*"
|
|
|
|
fi
|
|
|
|
|
2019-07-30 07:50:15 +02:00
|
|
|
./configure --config-cache $@
|