From 1d2c995164f6a7bf2a761c2fae24cde0d03cbb2a Mon Sep 17 00:00:00 2001 From: Anton Kullberg <anton.kullberg@liu.se> Date: Wed, 10 Nov 2021 18:23:20 +0100 Subject: [PATCH] docker: added murty dependency --- Dockerfile | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/Dockerfile b/Dockerfile index 181ec1c..a43fca8 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,4 +4,21 @@ from jupyter/scipy-notebook RUN pip3 install jax jaxlib pyehm +RUN pip3 install cmake + +USER root + +RUN apt update && apt install -y \ + gcc \ + build-essential \ + libeigen3-dev + +USER ${NB_UID} + +# Clone and build Murty alg. C++ implementation +RUN git clone --recursive https://github.com/JohnPekl/murty.git +RUN cd murty && \ + sed -i 's/SET( EIGEN3_INCLUDE_DIR "\/usr\/local\/include\/eigen3" )/SET( EIGEN3_INCLUDE_DIR "\/usr\/include\/eigen3\/" )/' CMakeLists.txt && \ + make + ENTRYPOINT /bin/bash -- GitLab