Add sudo to base images

This commit is contained in:
r0qs
2023-05-15 19:37:53 +02:00
parent 9804085934
commit 5640353603
5 changed files with 10 additions and 10 deletions
@@ -33,13 +33,13 @@
# Using $(em-config CACHE)/sysroot/usr seems to work, though, and still has cmake find the
# dependencies automatically.
FROM emscripten/emsdk:3.1.19 AS base
LABEL version="15"
LABEL version="16"
ADD emscripten.jam /usr/src
RUN set -ex && \
\
apt-get update && \
apt-get install lz4 --no-install-recommends && \
apt-get install lz4 sudo --no-install-recommends && \
\
cd /usr/src && \
git clone https://github.com/Z3Prover/z3.git -b z3-4.12.1 --depth 1 && \