diff --git a/docker/Dockerfile b/docker/Dockerfile index 7844d2cb4afbc122b5a01da45af72ebc25285ac8..fdc744993d78e470b34a215bb130added73aeeab 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -3,7 +3,8 @@ FROM ubuntu:24.04 LABEL org.opencontainers.image.authors="daniel.de.leng@liu.se" -RUN apt update && apt install -y build-essential cmake python3-full python3-pybind11 python3-pip python3-sphinx python3-sphinx-design python3-mypy python3-mypy-extensions +RUN apt update && apt install -y build-essential cmake python3-full python3-pybind11 python3-pip python3-sphinx python3-sphinx-design +RUN pip3 install mypy==1.10.0 --break-system-packages # Workaround for python3-mypy having outdated version <1.10.0 ENV HOME=/root WORKDIR /root