blob: f80d04a83dab2be34287039bb24a91fa6ca982ae [file] [log] [blame]
# Create a Docker image that is ready to run the full Checker Framework tests,
# including building the manual and Javadoc, using JDK 8.
FROM ubuntu
MAINTAINER Michael Ernst <mernst@cs.washington.edu>
# According to
# https://docs.docker.com/engine/userguide/eng-image/dockerfile_best-practices/:
# * Put "apt-get update" and "apt-get install" and apt cleanup in the same RUN command.
# * Do not run "apt-get upgrade"; instead get upstream to update.
RUN export DEBIAN_FRONTEND=noninteractive \
&& apt-get -qqy update \
&& apt-get -qqy install \
openjdk-8-jdk \
&& update-java-alternatives --set java-1.8.0-openjdk-amd64
RUN export DEBIAN_FRONTEND=noninteractive \
&& apt-get -qqy update \
&& apt-get -qqy install \
ant \
cpp \
git \
gradle \
jq \
libcurl3-gnutls \
make \
maven \
mercurial \
python3-pip \
python3-requests \
unzip \
wget
RUN export DEBIAN_FRONTEND=noninteractive \
&& apt-get -qqy update \
&& apt-get -qqy install \
devscripts \
dia \
hevea \
imagemagick \
latexmk \
librsvg2-bin \
pdf2svg \
rsync \
shellcheck \
texlive-font-utils \
texlive-fonts-recommended \
texlive-latex-base \
texlive-latex-extra \
texlive-latex-recommended
RUN pip3 install black flake8 html5validator
RUN export DEBIAN_FRONTEND=noninteractive \
&& apt-get clean \
&& rm -rf /var/lib/apt/lists/*