From b06046fe4c3dfd3c29a5af5aa8e5f6f63736e8d3 Mon Sep 17 00:00:00 2001 From: Ettore Di Giacinto Date: Tue, 20 Aug 2024 18:06:55 +0200 Subject: [PATCH] chore: install llvm 10 Signed-off-by: Ettore Di Giacinto --- Dockerfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index e38675c3..e5cbbc83 100644 --- a/Dockerfile +++ b/Dockerfile @@ -81,13 +81,12 @@ RUN apt-get update && \ espeak \ python3-pip \ python-is-python3 \ - llvm \ python3-dev \ python3-venv && \ apt-get clean && \ rm -rf /var/lib/apt/lists/* && \ pip install --upgrade pip - +RUN curl -L https://apt.llvm.org/llvm.sh -o llvm.sh && chmod +x llvm.sh && ./llvm.sh 10 # Install grpcio-tools (the version in 22.04 is too old) RUN pip install --user grpcio-tools