-if [ -f mk/build.mk ]; then
- mv mk/build.mk mk/build.mk.bak
-fi
-
-# The default is a "quick" build
-echo "BuildFlavour = quick" > mk/build.mk
-echo "HADDOCK_DOCS = YES" >> mk/build.mk
-cat mk/build.mk.sample >> mk/build.mk
-echo "SRC_HC_OPTS += -Werror" >> mk/build.mk
-echo "SRC_CC_OPTS += -Werror" >> mk/build.mk
-
-# You can override the default validate settings using mk/validate.mk
-# e.g. you could add GhcLibWays=p to test profiling.
-echo '-include $(TOP)/mk/validate.mk' >>mk/build.mk
-
-case $OSTYPE in
- cygwin|msys) config_args=--build=i386-unknown-mingw32
- if [ -f c:/mingw/bin/gcc.exe ]; then
- config_args="$config_args --with-gcc=c:/mingw/bin/gcc"
- fi
- ;;
-esac