Update idris2-lsp install steps (#58)

Because idris2-lsp project changes, we only build devcontainer for latest.

Author: jiwhiz

.github/workflows/build-test-deploy.yml

@@ -130,13 +130,10 @@ jobs:
     needs: base-deploy
     strategy:
       matrix:
-        # latest does not work right now!
-        idris-version: ["v0.5.1", "v0.6.0"]
+        idris-version: ["latest"]
         include:
-          - idris-version: "v0.5.1"
-            lsp-version: "idris2-0.5.1"
-          - idris-version: "v0.6.0"
-            lsp-version: "idris2-0.6.0"
+          - idris-version: "latest"
+            lsp-version: "latest"
     env:
       TEST_TAG: devcontainer-test
     steps:
@@ -179,13 +176,10 @@ jobs:
     needs: devcontainer-build-test
     strategy:
       matrix:
-        # latest does not work right now!
-        idris-version: ["v0.5.1", "v0.6.0"]
+        idris-version: ["latest"]
         include:
-          - idris-version: "v0.5.1"
-            lsp-version: "idris2-0.5.1"
-          - idris-version: "v0.6.0"
-            lsp-version: "idris2-0.6.0"
+          - idris-version: "latest"
+            lsp-version: "latest"
     steps:
       - name: Checkout Repo
         uses: actions/checkout@v3

devcontainer.Dockerfile

@@ -1,13 +1,10 @@
 ARG IDRIS_VERSION=latest
-# LSP_VERSION is in the form "idris2-0.5.1", or "latest"
-ARG IDRIS_LSP_VERSION=latest
 
 FROM ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION} as base
 
 FROM debian:bullseye as builder 
-# args are not shared between build stages
-# https://github.com/moby/moby/issues/37345
-ARG IDRIS_LSP_VERSION
+# IDRIS_LSP_VERSION is in the form "idris2-0.5.1", "idris2-0.6.0", or "latest"
+ARG IDRIS_LSP_VERSION=latest
 ARG IDRIS_LSP_SHA
 
 RUN apt-get update && \
@@ -26,23 +23,29 @@ RUN if [ $IDRIS_LSP_VERSION = "latest" ] ; \
     fi
 
 WORKDIR /build/idris2-lsp
-RUN git submodule update --init --recursive
+RUN git submodule update --init Idris2
 WORKDIR /build/idris2-lsp/Idris2
-RUN make bootstrap SCHEME=scheme PREFIX=/usr/local/lib/idris2 && make install PREFIX=/usr/local/lib/idris2
+RUN make bootstrap SCHEME=scheme PREFIX=/usr/local/lib/idris2
+RUN make install PREFIX=/usr/local/lib/idris2
 
 # ensure idris2 is in path
 ENV PATH="/usr/local/lib/idris2/bin:${PATH}"
 ENV LD_LIBRARY_PATH="/usr/local/lib/idris2/lib:${LD_LIBRARY_PATH}"
 
-# Manual install of idris2-lsp 
-# https://github.com/idris-community/idris2-lsp#manual-installation
+RUN make clean PREFIX=/usr/local/lib/idris2
+RUN make all PREFIX=/usr/local/lib/idris2
+RUN make install PREFIX=/usr/local/lib/idris2
 RUN make install-with-src-libs PREFIX=/usr/local/lib/idris2
 RUN make install-with-src-api PREFIX=/usr/local/lib/idris2
+
+# Manually install LSP library and idris2-lsp
 WORKDIR /build/idris2-lsp
-# we need an IDRIS2_PREFIX env var instead of PREFIX
-# https://github.com/idris-community/idris2-lsp/pull/56
-# WAIT, DO WE? It seems that they can rely on `idris2 --prefix`
-RUN make install
+RUN git submodule update --init LSP-lib
+WORKDIR /build/idris2-lsp/LSP-lib
+ENV IDRIS2_PREFIX="/usr/local/lib/idris2"
+RUN idris2 --install-with-src
+WORKDIR /build/idris2-lsp
+RUN make install PREFIX=/usr/local/lib/idris2
 
 FROM mcr.microsoft.com/vscode/devcontainers/base:bullseye
 
@@ -55,4 +58,3 @@ COPY --from=base /root/scheme-lib/ /usr/lib/
 # set new Idris2
 ENV PATH="/usr/local/lib/idris2/bin:${PATH}"
 ENV LD_LIBRARY_PATH="/usr/local/lib/idris2/lib:${LD_LIBRARY_PATH}"
-