started project

1 files changed, 16 insertions, 0 deletions

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