1 files changed, 16 insertions, 0 deletions

diff --git a/dht/b b/dht/b
new file mode 100755
index 00000000..a116163e
--- /dev/null
+++ b/dht/b
@@ -0,0 +1,16 @@
+#!/bin/bash
+args="-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                    \
+    "$@"