summaryrefslogtreecommitdiff
path: root/b
blob: e505cdf580983bceeb3a78812586d10441265542 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/bash
args="-O2 -fwarn-unused-imports -rtsopts"

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

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