FixInfer #7

Merged
rboullard merged 1 commits from FixInfer into main 2026-01-30 20:00:16 +00:00

View File

@@ -49,7 +49,7 @@ RUN apt-get update && apt-get install -y \
RUN VERSION=1.2.0; \ RUN VERSION=1.2.0; \
curl -sSL "https://github.com/facebook/infer/releases/download/v$VERSION/infer-linux-x86_64-v$VERSION.tar.xz" \ curl -sSL "https://github.com/facebook/infer/releases/download/v$VERSION/infer-linux-x86_64-v$VERSION.tar.xz" \
| tar -C /opt -xJ && \ | tar -C /opt -xJ && \
ln -s "/opt/infer-linux64-v$VERSION/bin/infer" /usr/bin/infer ln -s "/opt/infer-linux-x86_64-v$VERSION/bin/infer" /usr/bin/infer
# Install pipx and Conan # Install pipx and Conan
RUN pipx ensurepath \ RUN pipx ensurepath \