diff --git a/Dockerfile b/Dockerfile index 295ad0e..3a3660e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,6 +7,7 @@ RUN apt-get update && \ build-essential \ cmake \ wget \ + curl \ zip \ git \ doxygen \