Split the batch file into multiple lines, add missing flags (-j -O).
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Thu, 24 Dec 2015 03:29:32 +0000 (03:29 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Thu, 24 Dec 2015 03:29:32 +0000 (03:29 +0000)
build.bat

index ab26e07..a4e2548 100644 (file)
--- a/build.bat
+++ b/build.bat
@@ -1,2 +1,19 @@
 @mkdir .shake 2> nul\r
-@ghc --make -Wall src/Main.hs -isrc -rtsopts -with-rtsopts=-I0 -outputdir=.shake -o .shake/build && .shake\build --lint --directory ".." %*\r
+\r
+@set ghcArgs=--make            ^\r
+             -Wall             ^\r
+             src/Main.hs       ^\r
+             -isrc             ^\r
+             -rtsopts          ^\r
+             -with-rtsopts=-I0 ^\r
+             -outputdir=.shake ^\r
+             -j                ^\r
+             -O                ^\r
+             -o .shake/build\r
+\r
+@set shakeArgs=--lint      ^\r
+               --directory ^\r
+               ".."        ^\r
+               %*\r
+\r
+@ghc %ghcArgs% && .shake\build %shakeArgs%\r