diff options
Diffstat (limited to 't')
-rwxr-xr-x | t | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -0,0 +1,14 @@ | |||
1 | #!/bin/bash | ||
2 | args="-fwarn-unused-imports -rtsopts -DRENDERFLUSH -optP-include -optPdist/build/autogen/cabal_macros.h" | ||
3 | |||
4 | root=${0%/*} | ||
5 | cd "$root" | ||
6 | |||
7 | me=${0##*/} | ||
8 | me=${me%.*} | ||
9 | ghc \ | ||
10 | -hidir build/$me -odir build/$me \ | ||
11 | -iPresence \ | ||
12 | $args \ | ||
13 | Presence/monitortty.c \ | ||
14 | "$@" | ||