From b280790b4517ffe401fdce73675cdb8f563e7e82 Mon Sep 17 00:00:00 2001
From: Anton Kullberg <anton.kullberg@liu.se>
Date: Fri, 12 Nov 2021 14:22:25 +0100
Subject: [PATCH] docker: added development dockerfile
---
dev-docker.dockerfile | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
create mode 100644 dev-docker.dockerfile
diff --git a/dev-docker.dockerfile b/dev-docker.dockerfile
new file mode 100644
index 0000000..49cfc23
--- /dev/null
+++ b/dev-docker.dockerfile
@@ -0,0 +1,20 @@
+from jupyter/scipy-notebook
+
+RUN pip3 install jax jaxlib pyehm cmake pdoc3
+
+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