diff options
Diffstat (limited to 'ci')
-rwxr-xr-x | ci | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,5 +3,5 @@ compile=ghci | |||
3 | defs="-DBENCODE_AESON -DTHREAD_DEBUG" | 3 | defs="-DBENCODE_AESON -DTHREAD_DEBUG" |
4 | hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" | 4 | hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" |
5 | # cbits="cbits/*.c" | 5 | # cbits="cbits/*.c" |
6 | $compile -fdefer-typed-holes -Wno-typed-holes -freverse-errors $hide -isrc -XOverloadedStrings -XRecordWildCards $defs $cbits "$@" | 6 | includes="-isrc -icryptonite-backport" |
7 | 7 | $compile -Wmissing-signatures -fdefer-typed-holes -freverse-errors $hide $includes -XOverloadedStrings -XRecordWildCards $defs $cbits "$@" | |