Add all the default-on extensions to build.global-db.bat (#587)
authorNeil Mitchell <ndmitchell@gmail.com>
Fri, 27 Apr 2018 21:52:49 +0000 (22:52 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Fri, 27 Apr 2018 21:52:49 +0000 (22:52 +0100)
build.global-db.bat

index 0d6a696..1022beb 100644 (file)
@@ -3,19 +3,25 @@ setlocal
 cd %~dp0
 mkdir bin 2> nul
 
-set ghcArgs=--make                     ^
-            -Wall                      ^
-            -fno-warn-name-shadowing   ^
-            -XRecordWildCards          ^
-            src\Main.hs                ^
-            -threaded                  ^
-            -isrc                      ^
-            -i..\libraries\Cabal\Cabal ^
-            -rtsopts                   ^
-            -with-rtsopts=-I0          ^
-            -outputdir=bin             ^
-            -j                         ^
-            -O                         ^
+set ghcArgs=--make                       ^
+            -Wall                        ^
+            -fno-warn-name-shadowing     ^
+            -XDeriveGeneric              ^
+            -XFlexibleInstances          ^
+            -XGeneralizedNewtypeDeriving ^
+            -XLambdaCase                 ^
+            -XRecordWildCards            ^
+            -XScopedTypeVariables        ^
+            -XTupleSections              ^
+            src\Main.hs                  ^
+            -threaded                    ^
+            -isrc                        ^
+            -i..\libraries\Cabal\Cabal   ^
+            -rtsopts                     ^
+            -with-rtsopts=-I0            ^
+            -outputdir=bin               ^
+            -j                           ^
+            -O                           ^
             -o bin\hadrian
 
 set hadrianArgs=--lint      ^