From 3be927f53df5f32646d6978562a04e1c9f99378e Mon Sep 17 00:00:00 2001 From: Anton Baliasnikov Date: Wed, 3 Apr 2024 11:52:38 +0100 Subject: [PATCH] feat: add clang-format and downgrade python to 3.11 (#70) --- images/llvm_runner/ubuntu22-llvm15.Dockerfile | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/images/llvm_runner/ubuntu22-llvm15.Dockerfile b/images/llvm_runner/ubuntu22-llvm15.Dockerfile index 131aa5b..7c67f80 100644 --- a/images/llvm_runner/ubuntu22-llvm15.Dockerfile +++ b/images/llvm_runner/ubuntu22-llvm15.Dockerfile @@ -28,6 +28,7 @@ RUN apt-get update && \ clang-15=1:15.0.* \ lld-15=1:15.0.* \ clang-tidy-15=1:15.0.* \ + clang-format-15=1:15.0.* \ libboost-dev=1.74* \ libboost-filesystem-dev=1.74* \ libboost-test-dev=1.74* \ @@ -44,12 +45,14 @@ RUN apt-get update && \ libz3-dev=4.8.* \ && rm -rf /var/lib/apt/lists/* -# Install Python 3.12 +# Install Python 3.11 RUN add-apt-repository ppa:deadsnakes/ppa && \ apt-get install --yes --no-install-recommends \ - python3.12=3.12* \ - python3.12-dev=3.12* \ - python3.12-distutils=3.12* \ + python3.11=3.11* \ + python3.11-dev=3.11* \ + python3-distutils=3.10* \ + python3.11-venv=3.11* \ + python3-pip=22.0.* \ && rm -rf /var/lib/apt/lists/* # Set gcc-9 as default for old compiler builds @@ -57,6 +60,12 @@ RUN update-alternatives --install \ /usr/bin/gcc gcc /usr/bin/gcc-9 60 --slave /usr/bin/g++ g++ /usr/bin/g++-9 && \ update-alternatives --config gcc +# Set python3.11 as default python +RUN update-alternatives --install /usr/local/bin/python python \ + /usr/bin/python3.11 3 && \ + update-alternatives --install /usr/local/bin/python3 python3 \ + /usr/bin/python3.11 3 + # Install Rust ENV RUSTUP_HOME=/usr/local/rustup \ CARGO_HOME=/usr/local/cargo \