ghc-shake

#!/bin/bash
ARGS=()
for var in "$@"; do
    if [[ "$var" != '--make' || -n "$DISABLE_SHAKE" ]]
    then
        ARGS+=("$var")
    else
        ARGS+=("--frontend")
        ARGS+=("GhcShake")
        ARGS+=("-ffrontend-opt")
        ARGS+=("--digest-and")
        ARGS+=("-ffrontend-opt")
        ARGS+=("--profile")
        #ARGS+=("-ffrontend-opt")
        #ARGS+=("--debug")
        #ARGS+=("-ffrontend-opt")
        #ARGS+=("--keep-going")
        #ARGS+=("-ffrontend-opt")
        #ARGS+=("--progress=record")
        #ARGS+=("-ffrontend-opt")
        #ARGS+=("--no-time")
        ARGS+=("-ffrontend-opt")
        ARGS+=("--exception")
        ARGS+=("-package-db")
        ARGS+=("/home/ezyang/.cabal/store/ghc-8.0.1/package.db")
        ARGS+=("-package-db")
        ARGS+=("/srv/code/ghc-shake/dist-newstyle/packagedb/ghc-8.0.1")
        ARGS+=("-plugin-package")
        ARGS+=("ghc-shake")
        ARGS+=("-Wredundant-constraints")
    fi
done
exec "$(dirname $(realpath $0))/ghc" "${ARGS[@]}" $SHAKE_ARGS