RUN git clone https://gitlab.com/libeigen/eigen.git && \ cd eigen && git checkout tags/${EIGEN3_VERSION} && \ mkdir build && cd build && \ cmake -DCMAKE_BUILD_TYPE=RELEASE \ -DCMAKE_INSTALL_PREFIX=/usr/local .. && \ cmake --build . && make install ENV Pangolin_VERSION="v...