diff --git a/docker/code-analysis/Dockerfile b/docker/code-analysis/Dockerfile index bbde0179315495091b76e3c2213fa3a275866a2d..eff854a92b605e935bd1db7d3b5258f64036dea9 100644 --- a/docker/code-analysis/Dockerfile +++ b/docker/code-analysis/Dockerfile @@ -223,21 +223,6 @@ RUN \ unzip pmd-bin-${PMD_VERSION}.zip && \ mv pmd-bin-${PMD_VERSION} /usr/local/pmd -# microxml -ARG MICROXML_VERSION=72965423184f24cc0b963d91c2d1863cdb01b6aa -RUN \ - cd /opt/dev && \ - git clone https://dev.iopsys.eu/mirror/microxml.git && \ - cd microxml && \ - git checkout ${MICROXML_VERSION} && \ - autoreconf -i; \ - cd /opt/dev/microxml && \ - ./configure --prefix=/usr --disable-threads --enable-shared --enable-static && \ - make -j$(nproc) && \ - make install && \ - ln -sf /usr/lib/libmicroxml.so.1.0 /lib/libmicroxml.so && \ - ln -sf /usr/lib/libmicroxml.so.1.0 /lib/libmicroxml.so.1 - # Download the Infer release ARG INFER_VERSION=v1.2.0 RUN cd /opt/dev && \