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 @@
+#!/bin/sh
+compile=ghci
+defs="-DBENCODE_AESON -DTHREAD_DEBUG"
+hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
+# cbits="cbits/*.c"
+includes="-isrc -icryptonite-backport"
+$compile -Wmissing-signatures -fdefer-typed-holes -freverse-errors $hide $includes -XOverloadedStrings -XRecordWildCards $defs $cbits "$@"

diff --git a/ci b/ci new file mode 100755 index 00000000..52e7c6b7 --- /dev/null +++ b/ci
@@ -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 "$@"