1FROM debian:jessie 2 3LABEL maintainer="Jan Prach <jendap@google.com>" 4 5# Copy and run the install scripts. 6COPY install/*.sh /install/ 7RUN /install/install_bootstrap_deb_packages.sh 8RUN echo "deb http://www.debian.net/debian jessie-backports main" | \ 9 tee -a /etc/apt/sources.list 10# Workaround bug in Jessie backport repository deb packages 11# http://serverfault.com/questions/830636/cannot-install-openjdk-8-jre-headless-on-debian-jessie 12RUN apt-get update && \ 13 apt-get install -y --no-install-recommends -t jessie-backports \ 14 openjdk-8-jre-headless ca-certificates-java && \ 15 apt-get clean && \ 16 rm -rf /var/lib/apt/lists/* 17RUN /install/install_deb_packages.sh 18RUN /install/install_pip_packages.sh 19RUN /install/install_bazel.sh 20RUN /install/install_golang.sh 21 22# Fix a virtualenv install issue specific to Debian Jessie. 23RUN pip install --upgrade virtualenv 24 25# Set up the master bazelrc configuration file. 26COPY install/.bazelrc /etc/bazel.bazelrc 27