summaryrefslogtreecommitdiff
path: root/g
diff options
context:
space:
mode:
Diffstat (limited to 'g')
-rwxr-xr-xg11
1 files changed, 9 insertions, 2 deletions
diff --git a/g b/g
index 736b2463..cab1b16e 100755
--- a/g
+++ b/g
@@ -1,5 +1,8 @@
1#!/bin/bash 1#!/bin/bash
2args="-fwarn-unused-imports -O2" 2warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes"
3exts="-XOverloadedStrings -XRecordWildCards"
4defs="-DBENCODE_AESON -DTHREAD_DEBUG"
5hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
3 6
4root=${0%/*} 7root=${0%/*}
5cd "$root" 8cd "$root"
@@ -7,9 +10,13 @@ cd "$root"
7me=${0##*/} 10me=${0##*/}
8me=${me%.*} 11me=${me%.*}
9ghc \ 12ghc \
13 $hide \
14 $exts \
15 $defs \
10 -hidir build/$me -odir build/$me \ 16 -hidir build/$me -odir build/$me \
11 -iPresence \ 17 -iPresence \
12 -iArchive \ 18 -iArchive \
19 -isrc \
13 build/b/Presence/monitortty.o \ 20 build/b/Presence/monitortty.o \
14 $args \ 21 $warn \
15 "$@" 22 "$@"