add git to base images

Author: aplr

lean/Dockerfile

@@ -1,14 +1,17 @@
+ARG DEBIAN_VERSION=bookworm
 ARG SHIMMY_VERSION=latest
 
 FROM ghcr.io/lambda-feedback/shimmy:${SHIMMY_VERSION} as shimmy
 
-FROM debian:bookworm-slim as base
+FROM debian:${DEBIAN_VERSION}-slim as base
 
 # set common workdir
 WORKDIR /app
 
-# Install curl
+# curl & git is required to fetch the lean version specified in `lean-toolchain` if
+# it differs from `LEAN_VERSION`, and to fetch external lake dependencies.
 RUN apt-get update && apt-get install -y \
+    git \
     curl \
     && rm -rf /var/lib/apt/lists/*
 

python/Dockerfile

@@ -9,13 +9,14 @@ FROM python:${PYTHON_VERSION}-slim-${DEBIAN_VERSION} as base
 # set common workdir
 WORKDIR /app
 
-FROM base as lambda-rie
-
-# Install curl
+# Install git so we can install python packages from git repositories
 RUN apt-get update && apt-get install -y \
+    git \
     curl \
     && rm -rf /var/lib/apt/lists/*
 
+FROM base as lambda-rie
+
 # Install the AWS Lambda Runtime Interface Emulator
 RUN case $(uname -m) in \
     "aarch64") export RIE_BINARY_NAME="aws-lambda-rie-arm64" ;; \
@@ -26,6 +27,11 @@ RUN case $(uname -m) in \
 
 FROM base
 
+# Install git so we can install python packages from git repositories
+RUN apt-get update && apt-get install -y \
+    git \
+    && rm -rf /var/lib/apt/lists/*
+
 ENV LOG_FORMAT="production"
 
 # add shimmy