From 96b8441c3c8c98c819e7880964a1741da8b958d5 Mon Sep 17 00:00:00 2001 From: Dorian Eikenberg Date: Tue, 2 May 2023 15:03:52 +0200 Subject: [PATCH] Fix clang paths for non-default clang installation --- build/Dockerfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/build/Dockerfile b/build/Dockerfile index fd6fe65e..1166358f 100644 --- a/build/Dockerfile +++ b/build/Dockerfile @@ -3,7 +3,6 @@ FROM ubuntu:lunar RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y -q \ bison \ clang-16 \ - clang-tidy-16 \ cmake \ curl \ flex \ @@ -26,6 +25,10 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y -q \ wget \ && rm -rf /var/lib/apt/lists/* +RUN update-alternatives --install /usr/bin/clang clang /usr/bin/clang-16 100 \ + && update-alternatives --install /usr/bin/clang++ clang++ /usr/bin/clang++-16 100 \ + && update-alternatives --install /usr/bin/clang-cpp clang-cpp /usr/bin/clang-cpp-16 100 + RUN git clone https://github.com/bitdefender/libkvmi.git \ && cd libkvmi \ && ./bootstrap \