diff options
author | joe <joe@jerkface.net> | 2018-06-19 12:29:51 -0400 |
---|---|---|
committer | joe <joe@jerkface.net> | 2018-06-19 12:29:51 -0400 |
commit | 365e2cb2dbcaae498df036df8b2a96284f9aecf2 (patch) | |
tree | e8b40848fddf523ed05fd0ed2ef38f2028d5ad5e | |
parent | 36fb0de16a53b390d560ddbc74d4c72543088d92 (diff) |
Tweaked build script, to work in stack lts-10 environment.
-rwxr-xr-x | g | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -5,7 +5,11 @@ rootname=$(cat /etc/debian_chroot 2>/dev/null) | |||
5 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" | 5 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" |
6 | exts="-XOverloadedStrings -XRecordWildCards" | 6 | exts="-XOverloadedStrings -XRecordWildCards" |
7 | defs="-DBENCODE_AESON -DTHREAD_DEBUG" | 7 | defs="-DBENCODE_AESON -DTHREAD_DEBUG" |
8 | hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" | 8 | hidden="crypto-random crypto-api crypto-numbers cryptohash prettyclass" |
9 | hide="" | ||
10 | for h in $hidden;do | ||
11 | ghc-pkg latest $h && hide="$hide -hide-package $h" | ||
12 | done | ||
9 | 13 | ||
10 | if [ "$rootname" == "stretch" ] | 14 | if [ "$rootname" == "stretch" ] |
11 | then | 15 | then |