diff --git a/docker/Dockerfile b/docker/Dockerfile index dd5cba9b752d26bb141aa2e48ef23f7bdb17b9fc..bf0569135365ab387a2c2c72ba2f64a81f8dc543 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -3,7 +3,7 @@ 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 +RUN apt update && apt install -y build-essential cmake python3-full python3-pybind11 python3-pip python3-sphinx python3-sphinx-design python3-mypy ENV HOME=/root WORKDIR /root