diff options
author | joe <joe@jerkface.net> | 2017-11-09 18:46:45 -0500 |
---|---|---|
committer | joe <joe@jerkface.net> | 2017-11-09 18:46:45 -0500 |
commit | 105bd52877ad0bd9fdc64b3129d842c2d4294bca (patch) | |
tree | e549b8555dc0abd79dd9f80a73f3ff07db94ef7b /ci | |
parent | c9ab6d31afc30d42d5d1bee5bffaf76f8608d08a (diff) | |
parent | a85856d19cc905dd72188e3b048dc0736f1c07ce (diff) |
Merged tox dht-client with presence.
Diffstat (limited to 'ci')
-rwxr-xr-x | ci | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -0,0 +1,7 @@ | |||
1 | #!/bin/sh | ||
2 | compile=ghci | ||
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" | ||
5 | # cbits="cbits/*.c" | ||
6 | includes="-isrc -icryptonite-backport" | ||
7 | $compile -Wmissing-signatures -fdefer-typed-holes -freverse-errors $hide $includes -XOverloadedStrings -XRecordWildCards $defs $cbits "$@" | ||