1 files changed, 20 insertions, 0 deletions

diff --git a/dht/bp b/dht/bp
new file mode 100755
index 00000000..8d3335d4
--- /dev/null
+++ b/dht/bp
@@ -0,0 +1,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                    \
+    "$@"