diff options
Diffstat (limited to '.circleci/images/x86_64-freebsd/Dockerfile')
| -rw-r--r-- | .circleci/images/x86_64-freebsd/Dockerfile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.circleci/images/x86_64-freebsd/Dockerfile b/.circleci/images/x86_64-freebsd/Dockerfile index 9c51cc021c..1b8bedd342 100644 --- a/.circleci/images/x86_64-freebsd/Dockerfile +++ b/.circleci/images/x86_64-freebsd/Dockerfile @@ -1,6 +1,8 @@ FROM ubuntu:16.04 -RUN apt-get update && apt-get install -y --no-install-recommends \ +RUN apt-get update + +RUN apt-get install -y --no-install-recommends \ autoconf \ automake \ bzip2 \ @@ -20,5 +22,8 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ wget \ xz-utils +# Documentation tools +RUN apt-get install -qy python3-sphinx texlive-xetex texlive-latex-extra + COPY build-toolchain.sh /tmp/ RUN /tmp/build-toolchain.sh x86_64 |