diff options
Diffstat (limited to 'hadrian/build.global-db.bat')
-rw-r--r-- | hadrian/build.global-db.bat | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/hadrian/build.global-db.bat b/hadrian/build.global-db.bat deleted file mode 100644 index 0d6a6968a8..0000000000 --- a/hadrian/build.global-db.bat +++ /dev/null @@ -1,32 +0,0 @@ -@echo off -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 ^ - -o bin\hadrian - -set hadrianArgs=--lint ^ - --directory ^ - ".." ^ - %* - -ghc %ghcArgs% - -if %ERRORLEVEL% NEQ 0 EXIT /B %ERRORLEVEL% - -rem Unset GHC_PACKAGE_PATH variable, as otherwise ghc-cabal complains -set GHC_PACKAGE_PATH= -bin\hadrian %hadrianArgs% |