blob: fc37a5bb289aebc6442b5ece44787cbe76401d24 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
FROM debian:jessie
MAINTAINER Jan Prach <jendap@google.com>
# Copy and run the install scripts.
COPY install/*.sh /install/
RUN /install/install_bootstrap_deb_packages.sh
RUN echo "deb http://http.debian.net/debian jessie-backports main" | tee -a /etc/apt/sources.list
RUN /install/install_deb_packages.sh
RUN /install/install_bazel.sh
# Set up bazelrc.
COPY install/.bazelrc /root/.bazelrc
ENV BAZELRC /root/.bazelrc
|
