summaryrefslogtreecommitdiff
path: root/g
diff options
context:
space:
mode:
authorjoe <joe@jerkface.net>2017-11-22 22:18:40 -0500
committerjoe <joe@jerkface.net>2017-11-22 22:18:40 -0500
commit928a72f71b66acac580ee176304be62e2087b172 (patch)
tree74defb5bb1e023fa0c62807f0b201cef0831bf75 /g
parentc2937cc29fed0b09fbbdb7fe58fe49adc46b5d37 (diff)
Updated build scripts.
Diffstat (limited to 'g')
-rwxr-xr-xg4
1 files changed, 2 insertions, 2 deletions
diff --git a/g b/g
index a48efef2..91cd3163 100755
--- a/g
+++ b/g
@@ -1,7 +1,7 @@
1#!/bin/bash 1#!/bin/bash
2warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" 2warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes"
3exts="-XOverloadedStrings -XRecordWildCards" 3exts="-XOverloadedStrings -XRecordWildCards"
4defs="-DBENCODE_AESON -DTHREAD_DEBUG" 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" 5hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
6 6
7root=${0%/*} 7root=${0%/*}
@@ -9,7 +9,7 @@ cd "$root"
9 9
10me=${0##*/} 10me=${0##*/}
11me=${me%.*} 11me=${me%.*}
12ghc \ 12ghc -threaded \
13 $hide \ 13 $hide \
14 $exts \ 14 $exts \
15 $defs \ 15 $defs \