Build wrapper script for Shake

build.sh

#!/bin/sh

# This script assumes that Build.hs is the only build script (it should not
# import any other local files)

set -e

if [ ! _shake/build -nt Build.hs ]; then
	mkdir -p _shake || exit 1
	ghc --make Build.hs -rtsopts -with-rtsopts=-I0 -outputdir=_shake -o _shake/build || exit 1
fi

_shake/build "$@"