Useful build scripts.

2 files changed, 8 insertions, 0 deletions

diff --git a/c b/c
new file mode 100755
index 00000000..1b5970d9
--- /dev/null
+++ b/c
@@ -0,0 +1,4 @@
+#!/bin/sh
+defs="-DBENCODE_AESON -DTHREAD_DEBUG"
+hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
+ghc -freverse-errors $hide -isrc -XOverloadedStrings -XRecordWildCards $defs "$@"
diff --git a/ci b/ci
new file mode 100755
index 00000000..0a699757
--- /dev/null
+++ b/ci
@@ -0,0 +1,4 @@
+#!/bin/sh
+defs="-DBENCODE_AESON -DTHREAD_DEBUG"
+hide="-hide-package crypto-random -hide-package crypto-api -hide-package crypto-numbers -hide-package cryptohash -hide-package prettyclass"
+ghci -freverse-errors $hide -isrc -XOverloadedStrings -XRecordWildCards $defs "$@"