diff options
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 13d6f71331..719f515485 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -233,6 +233,10 @@ function set_toolchain_paths() { export CABAL export HAPPY export ALEX + + if [[ "${CROSS_TARGET:-}" == *"wasm"* ]]; then + source "/home/ghc/.ghc-wasm/env" + fi } function cabal_update() { |