cryptol-remote-api Dockerfile: Properly declare ARGs in toolchain stage

Addresses the issue identified in #1600 (comment).
GaloisInc · Jan 5, 2024 · c182d70 · c182d70
1 parent 8b0d188
commit c182d70
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cryptol-remote-api/Dockerfile b/cryptol-remote-api/Dockerfile
@@ -33,7 +33,10 @@ RUN ghcup install cabal ${CABALVER} --set
 ENV PATH=/root/.cabal/bin:$PATH
 ADD ./cryptol-remote-api/ghc-portability.patch .
 ARG GHCVER
+ARG CABALVER
 ARG GHCVER_BOOTSTRAP
+ARG ALEXVER
+ARG HAPPYVER
 RUN if ${PORTABILITY}; then \
         ghcup install ghc ${GHCVER_BOOTSTRAP} && \
         ghcup set ghc ${GHCVER_BOOTSTRAP} && \