summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorjoe <joe@jerkface.net>2017-11-09 18:46:45 -0500
committerjoe <joe@jerkface.net>2017-11-09 18:46:45 -0500
commit105bd52877ad0bd9fdc64b3129d842c2d4294bca (patch)
treee549b8555dc0abd79dd9f80a73f3ff07db94ef7b /ci
parentc9ab6d31afc30d42d5d1bee5bffaf76f8608d08a (diff)
parenta85856d19cc905dd72188e3b048dc0736f1c07ce (diff)
Merged tox dht-client with presence.
Diffstat (limited to 'ci')
-rwxr-xr-xci7
1 files changed, 7 insertions, 0 deletions
diff --git a/ci b/ci
new file mode 100755
index 00000000..52e7c6b7
--- /dev/null
+++ b/ci
@@ -0,0 +1,7 @@
1#!/bin/sh
2compile=ghci
3defs="-DBENCODE_AESON -DTHREAD_DEBUG"
4hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
5# cbits="cbits/*.c"
6includes="-isrc -icryptonite-backport"
7$compile -Wmissing-signatures -fdefer-typed-holes -freverse-errors $hide $includes -XOverloadedStrings -XRecordWildCards $defs $cbits "$@"