Skip to content
Snippets Groups Projects

Install time

Merged Ben Gamari requested to merge time into master
5 files
+ 5
5
Compare changes
  • Side-by-side
  • Inline
Files
5
@@ -8,7 +8,7 @@ SHELL ["/bin/bash", "-o", "pipefail", "-c"]
@@ -8,7 +8,7 @@ SHELL ["/bin/bash", "-o", "pipefail", "-c"]
RUN apt-get update \
RUN apt-get update \
&& apt-get install --no-install-recommends -qy zlib1g-dev libtinfo-dev libsqlite3-0 libsqlite3-dev \
&& apt-get install --no-install-recommends -qy zlib1g-dev libtinfo-dev libsqlite3-0 libsqlite3-dev \
ca-certificates g++ git make automake autoconf gcc \
ca-certificates g++ git make automake autoconf gcc \
perl python3 texinfo xz-utils bzip2 patch openssh-client sudo \
perl python3 texinfo xz-utils bzip2 patch openssh-client sudo time \
jq wget curl libnuma-dev \
jq wget curl libnuma-dev \
# Documentation tools
# Documentation tools
python3-sphinx texlive-xetex texlive-latex-extra \
python3-sphinx texlive-xetex texlive-latex-extra \
Loading