Skip to content

Commit 8b9ddc6

Browse files
committed
Set GHC RTS options another way
1 parent 8fb5d91 commit 8b9ddc6

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

Dockerfile

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,9 @@ RUN \
116116
set -o errexit -o xtrace; \
117117
if test -n "$HLS_VERSION"; then \
118118
if echo "$HLS_VERSION" | grep --extended-regexp --quiet '^[0-9a-f]{40}$'; then \
119-
ghcup compile hls --cabal-update --ghc "$GHC_VERSION" --git-describe-version --git-ref "$HLS_VERSION" --verbose -- --ghc-options='+RTS -M2G -RTS'; \
119+
GHCRTS=-M2G; \
120+
export GHCRTS; \
121+
ghcup compile hls --cabal-update --ghc "$GHC_VERSION" --git-describe-version --git-ref "$HLS_VERSION" --verbose; \
120122
else \
121123
ghcup install hls "$HLS_VERSION" --set; \
122124
fi; \

0 commit comments

Comments
 (0)