#!/bin/bash
args="-rtsopts -hisuf p_hi -osuf p_o -prof -fprof-auto -fprof-auto-exported"

root=${0%/*}
cd "$root"

me=${0##*/}
me=${me%.*}
ghc                                  \
    -hidir build/$me -odir build/$me \
    -iPresence                       \
    Data/BitSyntax.hs
ghc                                  \
    -hidir build/$me -odir build/$me \
    -iPresence                       \
    $args                            \
    -o presence                      \
    build/b/Presence/monitortty.o    \
    Presence/main                    \
    "$@"