diff --git a/environments/Dockerfile b/environments/Dockerfile index 522814c..800ad32 100644 --- a/environments/Dockerfile +++ b/environments/Dockerfile @@ -14,6 +14,7 @@ RUN apt-get update && $INST \ gcc \ git \ git-lfs \ + libeigen3-dev \ libglfw3 \ libglfw3-dev \ libglib2.0-0 \