blob: 884744757a3c03313e1fa135f204c440f5b3ff3c (
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 -DRENDERFLUSH"
root=${0%/*}
cd "$root"
me=${0##*/}
me=${me%.*}
ghc \
-hidir build/$me -odir build/$me \
-iPresence \
$args \
-o presence \
Presence/monitortty.c \
Presence/main \
"$@"
|