diff --git a/Dockerfile.dev-ubuntu b/Dockerfile.dev-ubuntu index e0b77381c..a9d860739 100644 --- a/Dockerfile.dev-ubuntu +++ b/Dockerfile.dev-ubuntu @@ -40,7 +40,8 @@ RUN apt-get update && apt-get install -y \ pkg-config make cmake \ autoconf automake autogen libtool \ flex bison \ - texinfo git curl tar + texinfo \ + git curl tar # Several tools only needed for developement and testing RUN apt-get update && apt-get install -y \ @@ -64,11 +65,10 @@ RUN apt-get update && apt-get install -y \ RUN pip install \ gcovr -# Some of the dependencies are only available in our own repo -ADD https://villas.fein-aachen.org/packages/villas.repo /etc/yum.repos.d/ - # Dependencies RUN apt-get update && apt-get install -y \ + libsodium-dev \ + libpgm-dev \ libssl-dev \ libconfig-dev \ libnl-3-dev libnl-route-3-dev \