diff --git a/Dockerfile b/Dockerfile index 0d4b3a4b9d2065d86afd231cea6813e5c46409df..b601ac0b516dc7aa942c7df94e44239d15398358 100644 --- a/Dockerfile +++ b/Dockerfile @@ -62,10 +62,14 @@ RUN gpg --recv-key 48457EE0 ; gpg --recv-key 48457EE0 ADD https://github.com/bazelbuild/bazel/releases/download/0.4.5/bazel-0.4.5-dist.zip / ADD https://github.com/bazelbuild/bazel/releases/download/0.4.5/bazel-0.4.5-dist.zip.sig / -RUN gpg --verify bazel-0.4.5-dist.zip.sig && unzip -d /tmp/bazel-0.4.5-dist bazel-0.4.5-dist.zip +RUN gpg --verify bazel-0.4.5-dist.zip.sig && unzip -d /tmp/bazel-0.4.5-dist bazel-0.4.5-dist.zip && \ + /bin/rm bazel-0.4.5-dist.zip.sig bazel-0.4.5-dist.zip # enable the new devtoolset RUN echo 'cd /tmp/bazel-0.4.5-dist && bash ./compile.sh && cp output/bazel /usr/local/bin' | scl enable devtoolset-3 bash +# cleanup +RUN [ -f /usr/local/bin/bazel ] && /bin/rm -rf /tmp/bazel-0.4.5-dist + # stop here if you only need bazel (to build tensorflow for instance) # if you want to build the git version of bazel uncomment the following 2 lines. #RUN git clone https://github.com/bazelbuild/bazel /tmp/bazel && \