diff options
| author | Cheng Shao <terrorjack@type.dance> | 2023-01-09 16:21:42 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-13 11:47:17 +0000 |
| commit | 8acc56c79d21d33fceed9d094fbb1702c3f7cb01 (patch) | |
| tree | 539e1dd3d67175584730ed9842ed826cd88b16d5 /.gitlab | |
| parent | 93b9bbc177ca848bc80dc23aea3571c42d640192 (diff) | |
| download | haskell-8acc56c79d21d33fceed9d094fbb1702c3f7cb01.tar.gz | |
ci: source the toolchain env file in wasm jobs
Diffstat (limited to '.gitlab')
| -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() { |