summaryrefslogtreecommitdiff
path: root/gi
diff options
context:
space:
mode:
Diffstat (limited to 'gi')
-rwxr-xr-xgi19
1 files changed, 15 insertions, 4 deletions
diff --git a/gi b/gi
index 8101348e..84dc9696 100755
--- a/gi
+++ b/gi
@@ -1,14 +1,25 @@
1#!/bin/bash 1#!/bin/bash
2args="-fwarn-unused-imports" 2warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes"
3exts="-XOverloadedStrings -XRecordWildCards"
4defs="-DXMPP -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"
6 9
7me=g 10me=${0##*/}
8ghci \ 11me=${me%.*}
12ghci -fobject-code \
13 $hide \
14 $exts \
15 $defs \
9 -hidir build/$me -odir build/$me \ 16 -hidir build/$me -odir build/$me \
10 -iPresence \ 17 -iPresence \
11 -iArchive \ 18 -iArchive \
19 -isrc \
20 -icryptonite-backport \
12 build/b/Presence/monitortty.o \ 21 build/b/Presence/monitortty.o \
13 $args \ 22 build/b/cbits/cryptonite_salsa.o \
23 build/b/cbits/cryptonite_xsalsa.o\
24 $warn \
14 "$@" 25 "$@"