From 805b686697e34c747b35e091b22dba3b247effa1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mike=20Gr=C3=BCne?= Date: Thu, 1 Aug 2019 11:00:48 +0200 Subject: [PATCH] Add Armadillo to Dockerfile --- docker/Dockerfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docker/Dockerfile b/docker/Dockerfile index bee5290..d2d18c0 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -13,3 +13,6 @@ RUN apt -y install \ RUN git clone https://github.com/eclipse/paho.mqtt.c.git ; cd paho.mqtt.c ; git checkout v1.2.1 ; cmake -Bbuild -H. -DPAHO_WITH_SSL=OFF ; cmake --build build/ --target install ; ldconfig RUN git clone https://github.com/eclipse/paho.mqtt.cpp ; cd paho.mqtt.cpp ; cmake -Bbuild -H. -DPAHO_WITH_SSL=OFF ; cmake --build build/ --target install RUN rm -rf paho.mqtt.c paho.mqtt.cpp +ADD https://rwth-aachen.sciebo.de/s/igDWzLpdO5zYHBj/download?path=%2Fubuntu%2F18.10.24-armadillo-linux&files=armadillo-8.500.1-linux.zip /root/armadillo.zip +RUN unzip /root/armadillo.zip -d /root/ +ENV Armadillo_HOME=/root/armadillo-8.500.1-linux -- GitLab