Merge pull request #2 from marijnvanwezel/1-use-release-of-hls-for-ghc-984

Use release version of HLS

Author: marijnvanwezel

Dockerfile

@@ -5,7 +5,7 @@ ARG GHC_VERSION=9.8.4
 ARG STACK_VERSION=3.1.1
 ARG STACK_RESOLVER=lts-23.8
 ARG CABAL_VERSION=3.12.1.0
-ARG HLS_GIT_REF=25c5d82ce09431a1b53dfa1784a276a709f5e479
+ARG HLS_VERSION=2.10.0.0
 
 ENV LANG=C.UTF-8 \
     DEBIAN_FRONTEND=noninteractive \
@@ -15,7 +15,7 @@ ENV LANG=C.UTF-8 \
     STACK_VERSION=${STACK_VERSION} \
     STACK_RESOLVER=${STACK_RESOLVER} \
     CABAL_VERSION=${CABAL_VERSION} \
-    HLS_GIT_REF=${HLS_GIT_REF}
+    HLS_VERSION=${HLS_VERSION}
 
 RUN ulimit -n 8192
 RUN apt-get update --yes && \
@@ -69,8 +69,8 @@ RUN ((stack ghc -- --version 2>/dev/null) || true) && \
     stack config --system-ghc set resolver ${STACK_RESOLVER}
 RUN printf "ghc-options:\n  \"\$everything\": -haddock\n" >> ~/.stack/config.yaml
 
-# Compile HLS from source
-RUN ghcup compile hls --ghc ${GHC_VERSION} --git-ref ${HLS_GIT_REF} --set
+# Install HLS
+RUN ghcup install hls ${HLS_VERSION} --set
 
 # Install useful dependencies
 RUN cabal update && \