chore: install llvm 10

Signed-off-by: Ettore Di Giacinto <mudler@users.noreply.github.com>
This commit is contained in:
Ettore Di Giacinto 2024-08-20 18:06:55 +02:00 committed by GitHub
parent 6d350ccce0
commit b06046fe4c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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