diff --git a/packaging/docker/Dockerfile.dev b/packaging/docker/Dockerfile.dev index 4101b295f..cebb1dc8a 100644 --- a/packaging/docker/Dockerfile.dev +++ b/packaging/docker/Dockerfile.dev @@ -35,6 +35,14 @@ ARG GIT_BRANCH=unknown ARG VERSION=unknown ARG VARIANT=unknown +# Some of the dependencies are only available in our own repo +ADD https://packages.fein-aachen.org/redhat/fein.repo /etc/yum.repos.d/ + +# We need to use our own RPM packages of libwebsockets +# as the official ones do contain the CMake files +RUN dnf -y install --repo=fein \ + libwebsockets-2.4.2 + # Toolchain RUN dnf -y install \ gcc gcc-c++ \ @@ -60,14 +68,6 @@ RUN pip install \ gcovr \ protobuf -# Some of the dependencies are only available in our own repo -ADD https://packages.fein-aachen.org/redhat/fein.repo /etc/yum.repos.d/ - -# We need to use our own RPM packages of libwebsockets -# as the official ones do contain the CMake files -RUN dnf -y install --repo=villas \ - libwebsockets-2.4.2 - # Dependencies RUN dnf -y install \ openssl openssl-devel \