diff options
-rw-r--r-- | hadrian/build-cabal.bat | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/hadrian/build-cabal.bat b/hadrian/build-cabal.bat index aa0acab4e4..ee64694368 100644 --- a/hadrian/build-cabal.bat +++ b/hadrian/build-cabal.bat @@ -1,6 +1,12 @@ @echo off -set CABAL=cabal -set CABFLAGS=--disable-documentation --disable-profiling --disable-library-profiling + +if "%CABAL%"=="" ( + set CABAL=cabal +) + +if "%CABFLAGS%"=="" ( + set CABFLAGS=--disable-documentation --disable-profiling --disable-library-profiling +) rem It is currently more robust to pass Cabal an absolute path to the project file. set PROJ="%CD%/hadrian/cabal.project" |