diff --git a/Dockerfile b/Dockerfile index 569cdaaca3079cb347c5505d68b5979764f66b7b..96d03cef406e81f258a6c418634b52021b45a3bf 100644 --- a/Dockerfile +++ b/Dockerfile @@ -15,6 +15,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ git \ libc-dev \ libcgal-dev \ + libeigen3-dev \ liblapack-dev \ libmetis-dev \ libmumps-seq-dev \