From 8fd3acec4cc22e151a0f008ea74688439e339356 Mon Sep 17 00:00:00 2001 From: Stephen Skeirik Date: Tue, 16 Jun 2020 17:21:54 -0400 Subject: [PATCH] improve docker build speed by downloading less --- Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 940626f..dec7de1 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,10 +1,10 @@ FROM ros:kinetic-ros-core -RUN apt-get update && apt-get install -y default-jdk-headless clang-6.0 maven python3-pip python3-yaml ros-kinetic-marti-common-msgs python-catkin-tools +RUN apt-get update && apt-get --no-install-recommends install -y openjdk-8-jdk-headless clang-6.0 llvm-6.0-dev maven python3-pip python3-yaml ros-kinetic-marti-common-msgs python-catkin-tools RUN pip3 install pytest WORKDIR /app -RUN git clone -b darpa https://github.com/runtimeverification/rv-monitor -RUN git clone https://github.com/Formal-Systems-Laboratory/ROSRV +RUN git clone --depth 1 -b darpa https://github.com/runtimeverification/rv-monitor +RUN git clone --depth 1 https://github.com/Formal-Systems-Laboratory/ROSRV RUN cd rv-monitor && mvn install -DskipTests -pl '!installer' ENV RVMONITOR="/app/rv-monitor" RUN cd ROSRV/src/rosmop && mvn package -DskipTests