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