1 FROM debian:jessie 2 3 LABEL maintainer="Jan Prach <jendap (a] google.com>" 4 5 # Copy and run the install scripts. 6 COPY install/*.sh /install/ 7 RUN /install/install_bootstrap_deb_packages.sh 8 RUN 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 12 RUN 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/* 17 RUN /install/install_deb_packages.sh 18 RUN /install/install_pip_packages.sh 19 RUN /install/install_bazel.sh 20 RUN /install/install_golang.sh 21 22 # Fix a virtualenv install issue specific to Debian Jessie. 23 RUN pip install --upgrade virtualenv 24 25 # Set up the master bazelrc configuration file. 26 COPY install/.bazelrc /etc/bazel.bazelrc 27
