From 4ecd94fdaa5ebfe3c40300857c56fabf5d00222e Mon Sep 17 00:00:00 2001
From: Marijn van Wezel <96489967+marijnvanwezel@users.noreply.github.com>
Date: Wed, 14 May 2025 13:14:14 +0200
Subject: [PATCH] Use release version of HLS

---
 Dockerfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 77d033e..07853dd 100644
--- a/Dockerfile
+++ b/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 && \