From a41bcb1e08ea093abdba3bcec311bb6c95e20015 Mon Sep 17 00:00:00 2001 From: Leonhard Applis Date: Fri, 28 May 2021 14:05:28 +0200 Subject: [PATCH] Added Haskell Installation to theia-full-docker Signed-off-by: Leonhard Applis --- theia-full-docker/Dockerfile | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/theia-full-docker/Dockerfile b/theia-full-docker/Dockerfile index c479595a..6bf56ebe 100644 --- a/theia-full-docker/Dockerfile +++ b/theia-full-docker/Dockerfile @@ -311,6 +311,26 @@ RUN apt-get clean && \ # Change permissions to make the `yang-language-server` executable. RUN chmod +x ./plugins/yangster/extension/server/bin/yang-language-server +USER theia + +# Haskell Installation + +ARG ghcup_version=0.1.14.1 +ARG ghc_version=9.0.1 +ARG haskell_stack_ubuntu_version=1.5.1-1 + +RUN wget https://downloads.haskell.org/~ghcup/${ghcup_version}/x86_64-linux-ghcup-${ghcup_version} +RUN mv x86_64-linux-ghcup-${ghcup_version} ghcup && chmod +x ghcup +RUN ./ghcup install ghc $ghc_version +RUN ./ghcup set ghc $ghc_version +RUN ./ghcup install cabal +# Update the Path to find everything +ENV PATH="/home/theia/.cabal/bin:/home/theia/.ghcup/bin:${PATH}" +# Get Haskell Stack +USER root +RUN apt-get update && apt-get install haskell-stack=$haskell_stack_ubuntu_version -y +RUN stack upgrade --binary-only + USER theia EXPOSE 3000 # Configure Theia