diff options
author | joe <joe@jerkface.net> | 2018-06-22 01:44:50 -0400 |
---|---|---|
committer | joe <joe@jerkface.net> | 2018-06-22 01:44:50 -0400 |
commit | babb35615121227e0ad2123d211fd138b6fe55c0 (patch) | |
tree | b3fe226c5dd68f81304c547c6c06347399d21122 /g | |
parent | e8446341d0dbe9b466571fa10875141ed22fbb47 (diff) |
Fix build script.
Diffstat (limited to 'g')
-rwxr-xr-x | g | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -2,7 +2,14 @@ | |||
2 | 2 | ||
3 | rootname=$(cat /etc/debian_chroot 2>/dev/null) | 3 | rootname=$(cat /etc/debian_chroot 2>/dev/null) |
4 | echo $PATH | grep '\.stack' >/dev/null && rootname="stack" | 4 | echo $PATH | grep '\.stack' >/dev/null && rootname="stack" |
5 | BUILDB=.stack-work/dist/x86_64-linux/Cabal-2.0.1.0/build | 5 | BUILDB= |
6 | for b in build/b/Presence/monitortty.o .stack-work/dist/x86_64-linux/Cabal-*/build/Presence/monitortty.o; do | ||
7 | if [ -f $b ]; then | ||
8 | BUILDB=$(dirname $(dirname $b)) | ||
9 | break | ||
10 | fi | ||
11 | done | ||
12 | [ -z "$BUILDB" ] && { echo "Where is monitortty.o?"; exit 1; } | ||
6 | 13 | ||
7 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" | 14 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" |
8 | exts="-XOverloadedStrings -XRecordWildCards" | 15 | exts="-XOverloadedStrings -XRecordWildCards" |
@@ -28,6 +35,7 @@ cd "$root" | |||
28 | 35 | ||
29 | me=${0##*/} | 36 | me=${0##*/} |
30 | me=${me%.*} | 37 | me=${me%.*} |
38 | set -x | ||
31 | ghc -threaded \ | 39 | ghc -threaded \ |
32 | $hide \ | 40 | $hide \ |
33 | $exts \ | 41 | $exts \ |