summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
Diffstat (limited to 'ci')
-rwxr-xr-xci4
1 files changed, 2 insertions, 2 deletions
diff --git a/ci b/ci
index 0b74496b..52e7c6b7 100755
--- a/ci
+++ b/ci
@@ -3,5 +3,5 @@ compile=ghci
3defs="-DBENCODE_AESON -DTHREAD_DEBUG" 3defs="-DBENCODE_AESON -DTHREAD_DEBUG"
4hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass" 4hide="-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 "$@" 6includes="-isrc -icryptonite-backport"
7 7$compile -Wmissing-signatures -fdefer-typed-holes -freverse-errors $hide $includes -XOverloadedStrings -XRecordWildCards $defs $cbits "$@"