summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjoe <joe@jerkface.net>2018-06-19 12:29:51 -0400
committerjoe <joe@jerkface.net>2018-06-19 12:29:51 -0400
commit365e2cb2dbcaae498df036df8b2a96284f9aecf2 (patch)
treee8b40848fddf523ed05fd0ed2ef38f2028d5ad5e
parent36fb0de16a53b390d560ddbc74d4c72543088d92 (diff)
Tweaked build script, to work in stack lts-10 environment.
-rwxr-xr-xg6
1 files changed, 5 insertions, 1 deletions
diff --git a/g b/g
index 629785c0..64bdf356 100755
--- a/g
+++ b/g
@@ -5,7 +5,11 @@ rootname=$(cat /etc/debian_chroot 2>/dev/null)
5warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" 5warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes"
6exts="-XOverloadedStrings -XRecordWildCards" 6exts="-XOverloadedStrings -XRecordWildCards"
7defs="-DBENCODE_AESON -DTHREAD_DEBUG" 7defs="-DBENCODE_AESON -DTHREAD_DEBUG"
8hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" 8hidden="crypto-random crypto-api crypto-numbers cryptohash prettyclass"
9hide=""
10for h in $hidden;do
11 ghc-pkg latest $h && hide="$hide -hide-package $h"
12done
9 13
10if [ "$rootname" == "stretch" ] 14if [ "$rootname" == "stretch" ]
11 then 15 then