From 8acc56c79d21d33fceed9d094fbb1702c3f7cb01 Mon Sep 17 00:00:00 2001 From: Cheng Shao Date: Mon, 9 Jan 2023 16:21:42 +0000 Subject: ci: source the toolchain env file in wasm jobs --- .gitlab/ci.sh | 4 ++++ 1 file changed, 4 insertions(+) (limited to '.gitlab') 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() { -- cgit v1.2.1