Merge branch 'master' into 'task-token'

[simgrid.git] / docs / source / tuto_disk / Dockerfile

diff --git a/docs/source/tuto_disk/Dockerfile b/docs/source/tuto_disk/Dockerfile
index 468451b9f44a194bc84ee7e1fcc4744fae264e44..582d016b984610d86c214f78bddb2800e9881df0 100644 (file)
--- a/docs/source/tuto_disk/Dockerfile
+++ b/docs/source/tuto_disk/Dockerfile
@@ -20,7 +20,7 @@ RUN printf '%s\n' \
     r-cran-plyr \
     r-cran-jsonlite \
     r-cran-gridextra \
-# simgrid dependencies
+# SimGrid dependencies
     g++ \
     gcc \
     git \
@@ -28,6 +28,7 @@ RUN printf '%s\n' \
     gfortran \
     libboost-dev \
     libboost-all-dev \
+    libeigen3-dev \
     cmake \
     dpkg-dev \
 # misc tools
@@ -40,7 +41,7 @@ RUN printf '%s\n' \
 RUN mkdir /source && cd /source && \
     git clone https://github.com/msnoigrs/ox-rst.git ox-rst.git
 
-# compile install simgrid
+# compile install SimGrid
 RUN cd /source && git clone --depth=1 https://framagit.org/simgrid/simgrid.git simgrid.git && \
     cd simgrid.git && \
     cmake -DCMAKE_INSTALL_PREFIX=/usr/ -Denable_documentation=OFF -Denable_smpi=ON -Denable_compile_optimizations=ON . && \