diff options
author | joe <joe@jerkface.net> | 2017-11-22 22:18:40 -0500 |
---|---|---|
committer | joe <joe@jerkface.net> | 2017-11-22 22:18:40 -0500 |
commit | 928a72f71b66acac580ee176304be62e2087b172 (patch) | |
tree | 74defb5bb1e023fa0c62807f0b201cef0831bf75 /g | |
parent | c2937cc29fed0b09fbbdb7fe58fe49adc46b5d37 (diff) |
Updated build scripts.
Diffstat (limited to 'g')
-rwxr-xr-x | g | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" | 2 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" |
3 | exts="-XOverloadedStrings -XRecordWildCards" | 3 | exts="-XOverloadedStrings -XRecordWildCards" |
4 | defs="-DBENCODE_AESON -DTHREAD_DEBUG" | 4 | defs="-DXMPP -DBENCODE_AESON -DTHREAD_DEBUG" |
5 | hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" | 5 | hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" |
6 | 6 | ||
7 | root=${0%/*} | 7 | root=${0%/*} |
@@ -9,7 +9,7 @@ cd "$root" | |||
9 | 9 | ||
10 | me=${0##*/} | 10 | me=${0##*/} |
11 | me=${me%.*} | 11 | me=${me%.*} |
12 | ghc \ | 12 | ghc -threaded \ |
13 | $hide \ | 13 | $hide \ |
14 | $exts \ | 14 | $exts \ |
15 | $defs \ | 15 | $defs \ |