diff --git a/docker/Dockerfile b/docker/Dockerfile index 95d845ace..5a1ab7ba0 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -3,9 +3,9 @@ FROM ubuntu:20.04 RUN apt-get update \ && DEBIAN_FRONTEND="noninteractive" apt-get -y install tzdata \ && apt-get install -y \ - time git-core build-essential gcc-multilib \ + time git-core build-essential gcc-multilib clang \ libncurses5-dev zlib1g-dev gawk flex gettext wget unzip python \ - python3 python3-pip python3-yaml libssl-dev rsync \ + python3 python3-pip python3-yaml libssl-dev rsync llvm llvm-12 \ && apt-get clean RUN git config --global user.email "you@example.com" RUN git config --global user.name "Your Name"