bp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#!/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                    \
    "$@"