diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2018-01-14 17:14:12 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
| commit | efb4ce65962f555ee76533c1089b2c9ebdf4edb5 (patch) | |
| tree | 8663ca2d726f082d68ea631c3ee0733a763b19cf /scripts/ci | |
| parent | a543f44bd9541d13d85d9284332705e846c6cb20 (diff) | |
Refactor 'compileHelper' to cache helper in all cases
Diffstat (limited to 'scripts/ci')
| -rw-r--r-- | scripts/ci/steps/30-build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/ci/steps/30-build.sh b/scripts/ci/steps/30-build.sh index 1dbaad7..8e71aa3 100644 --- a/scripts/ci/steps/30-build.sh +++ b/scripts/ci/steps/30-build.sh @@ -1,3 +1,4 @@ -cabal --sandbox-config="$sandbox_config" configure --builddir="$build_dir" --enable-tests +# -fdev enables building the helper "main" exe directly and enables more warnings +cabal --sandbox-config="$sandbox_config" configure --builddir="$build_dir" --enable-tests -fdev cabal --sandbox-config="$sandbox_config" build --builddir="$build_dir" cabal --sandbox-config="$sandbox_config" haddock --builddir="$build_dir" |