From 065f9c4965a2b6304de9dfe3b3e67b56b8429a8a Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Sat, 13 Nov 2021 16:56:38 +0100 Subject: [PATCH] Fix compile HLS CI --- .gitlab/script/ghcup_hls.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab/script/ghcup_hls.sh b/.gitlab/script/ghcup_hls.sh index 30425c3..ce7a571 100755 --- a/.gitlab/script/ghcup_hls.sh +++ b/.gitlab/script/ghcup_hls.sh @@ -43,7 +43,7 @@ cabal --version eghcup debug-info -eghcup compile hls -j $(nproc) -v ${HLS_TARGET_VERSION} ${GHC_VERSION} +eghcup compile hls -j $(nproc) -v ${HLS_TARGET_VERSION} --ghc ${GHC_VERSION} [ `$(eghcup whereis hls ${HLS_TARGET_VERSION}) --numeric-version` = "${HLS_TARGET_VERSION}" ] || [ `$(eghcup whereis hls ${HLS_TARGET_VERSION}) --numeric-version | sed 's/.0$//'` = "${HLS_TARGET_VERSION}" ]