Add shake launcher.
authorAndrey Mokhov <andrey.mokhov@ncl.ac.uk>
Tue, 23 Dec 2014 17:28:03 +0000 (17:28 +0000)
committerAndrey Mokhov <andrey.mokhov@ncl.ac.uk>
Tue, 23 Dec 2014 17:28:03 +0000 (17:28 +0000)
build.bat [new file with mode: 0644]

diff --git a/build.bat b/build.bat
new file mode 100644 (file)
index 0000000..5400131
--- /dev/null
+++ b/build.bat
@@ -0,0 +1,2 @@
+@mkdir _shake 2> nul\r
+@ghc --make Main.hs -rtsopts -with-rtsopts=-I0 -outputdir=_shake -o _shake/build && _shake\build --lint --directory ".." %*\r