diff options
author | joe <joe@jerkface.net> | 2018-05-24 19:36:53 -0400 |
---|---|---|
committer | joe <joe@jerkface.net> | 2018-05-24 19:36:53 -0400 |
commit | 8c428b1cd2a2e34bed4c1128bb52222e8449be2d (patch) | |
tree | 67f099a67da936a000f0262db8e081d4327a6458 | |
parent | 34a45811b35ce680270c88834951d36f19c7e4e8 (diff) |
Update build script for targeting Debian stretch.
-rwxr-xr-x | g | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -1,9 +1,19 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | |||
3 | rootname=$(cat /etc/debian_chroot 2>/dev/null) | ||
4 | |||
2 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" | 5 | warn="-freverse-errors -fwarn-unused-imports -Wmissing-signatures -fdefer-typed-holes" |
3 | exts="-XOverloadedStrings -XRecordWildCards" | 6 | exts="-XOverloadedStrings -XRecordWildCards" |
4 | defs="-DXMPP -DBENCODE_AESON -DTHREAD_DEBUG" | 7 | 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" | 8 | hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" |
6 | 9 | ||
10 | if [ "$rootname" == "stretch" ] | ||
11 | then | ||
12 | echo "Building with cryptonite backport. (chroot = $rootname)" | ||
13 | defs="$defs -DCRYPTONITE_BACKPORT -icryptonite-backport" | ||
14 | warn="build/b/cbits/cryptonite_salsa.o build/b/cbits/cryptonite_xsalsa.o $warn" | ||
15 | fi | ||
16 | |||
7 | root=${0%/*} | 17 | root=${0%/*} |
8 | cd "$root" | 18 | cd "$root" |
9 | 19 | ||
@@ -13,7 +23,7 @@ ghc -threaded \ | |||
13 | $hide \ | 23 | $hide \ |
14 | $exts \ | 24 | $exts \ |
15 | $defs \ | 25 | $defs \ |
16 | -hidir build/$me -odir build/$me \ | 26 | -hidir build/$me$rootname -odir build/$me$rootname \ |
17 | -iPresence \ | 27 | -iPresence \ |
18 | -iArchive \ | 28 | -iArchive \ |
19 | -isrc \ | 29 | -isrc \ |