summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorjoe <joe@jerkface.net>2017-07-28 03:31:26 -0400
committerjoe <joe@jerkface.net>2017-07-28 03:31:26 -0400
commitd75d803562f13641a0cff8754de088eac5eee207 (patch)
treee93bcdf869514cae5850e8a1ebdbea7b4c81f7af /ci
parent45a1baad8bf90a07654b6ade1a9ed2e5a2d5c92b (diff)
Useful build scripts.
Diffstat (limited to 'ci')
-rwxr-xr-xci4
1 files changed, 4 insertions, 0 deletions
diff --git a/ci b/ci
new file mode 100755
index 00000000..0a699757
--- /dev/null
+++ b/ci
@@ -0,0 +1,4 @@
1#!/bin/sh
2defs="-DBENCODE_AESON -DTHREAD_DEBUG"
3hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
4ghci -freverse-errors $hide -isrc -XOverloadedStrings -XRecordWildCards $defs "$@"