summaryrefslogtreecommitdiff
path: root/bp
blob: 8d3335d4eec40e8762e9bd5a694eca6fc2ad7c4a (plain)
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                    \
    "$@"