Skip to content

GitLab

Commit d8190ba0 authored by Neil Mitchell's avatar Neil Mitchell Committed by Andrey Mokhov
Browse files
Options

Add all the default-on extensions to build.global-db.bat (#587)

parent 7c045215
Hide whitespace changes
Inline Side-by-side
Showing with 19 additions and 13 deletions
build.global-db.bat
View file @ d8190ba0
......@@ -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 ^
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment