Dockerfile

# This is a Dockerfile for installing Lean using elan on Debian Linux.
#
# The following commands can be used to build and run the container:
#
#   docker build -t lambda-lifting-lean .
#   docker run --rm -it lambda-lifting-lean
#   lake build
#
# Lean releases can also be downloaded directly from
# https://github.com/leanprover/lean4/releases

FROM debian:stable-slim

# Install curl.
RUN apt-get update && apt-get install -y curl

# Install elan.
# (based on https://github.com/leanprover/lean-action/blob/v1.2.0/scripts/install_elan.sh)
RUN curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | \
      sh -s -- -y --default-toolchain none

# Set up the PATH environment variable.
ENV PATH="$PATH:/root/.elan/bin"

# Set the working directory.
WORKDIR lambda-lifting-lean

# Install the Lean version specified in lean-toolchain.
COPY lean-toolchain .
RUN lean --version

# Add the rest of the project to the container.
COPY . .