From 52b80798c8387b8a18f99dbabffeeddf8f825fc3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ingo=20L=C3=BCtkebohle?= Date: Wed, 3 Jul 2019 19:18:05 +0000 Subject: [PATCH] Copy build dir into docker container. --- docker-ci-base/Dockerfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docker-ci-base/Dockerfile b/docker-ci-base/Dockerfile index 70db41d..093bb03 100644 --- a/docker-ci-base/Dockerfile +++ b/docker-ci-base/Dockerfile @@ -20,9 +20,12 @@ RUN apt-get install --no-install-recommends -y \ ENV RTI_NC_LICENSE_ACCEPTED=yes RUN apt-get install --no-install-recommends -y \ rti-connext-dds-5.3.1 + +RUN mkdir /root/ws +COPY . /root/ws +WORKDIR /root/ws RUN vcs import < instrumentation.repos && vcs import < ci_source_deps.repos RUN apt-get update && rosdep update && rosdep install --from-paths . --ignore-src --rosdistro dashing -y --skip-keys "console_bridge fastcdr fastrtps libopensplice67 libopensplice69 rti-connext-dds-5.3.1 urdfdom_headers" RUN apt-get purge -y ros-dashing-fastrtps RUN colcon build --symlink-install --cmake-args " -DWITH_LTTNG=ON" --packages-up-to rclcpp -