diff --git a/.docker/ci/Dockerfile b/.docker/ci/Dockerfile deleted file mode 100644 index de2a963dc3..0000000000 --- a/.docker/ci/Dockerfile +++ /dev/null @@ -1,50 +0,0 @@ -# moveit/moveit:melodic-ci -# Sets up a base image to use for running Continuous Integration on Travis - -FROM ros:melodic-ros-base -MAINTAINER Dave Coleman dave@picknik.ai - -ENV TERM xterm - -# Setup catkin workspace -ENV CATKIN_WS=/root/ws_moveit -WORKDIR $CATKIN_WS - -# Commands are combined in single RUN statement with "apt/lists" folder removal to reduce image size -# https://docs.docker.com/develop/develop-images/dockerfile_best-practices/#minimize-the-number-of-layers -RUN \ - mkdir src && \ - cd src && \ - # - # Download moveit source, so that we can get necessary dependencies - wstool init --shallow . https://raw.githubusercontent.com/ros-planning/moveit/${ROS_DISTRO}-devel/moveit.rosinstall && \ - # - # Update apt package list as previous containers clear the cache - apt-get -qq update && \ - apt-get -qq dist-upgrade && \ - # - # Install some base dependencies - apt-get -qq install -y \ - # Some source builds require a package.xml be downloaded via wget from an external location - wget \ - # Required for rosdep command - sudo \ - # Preferred build tools - python-catkin-tools \ - clang clang-format-3.9 clang-tidy clang-tools \ - ccache && \ - # - # Download all dependencies of MoveIt! - rosdep update && \ - rosdep install -y --from-paths . --ignore-src --rosdistro ${ROS_DISTRO} --as-root=apt:false && \ - # - # Remove the source code from this container - # TODO: in the future we may want to keep this here for further optimization of later containers - cd .. && \ - rm -rf src/ && \ - # - # Clear apt-cache to reduce image size - rm -rf /var/lib/apt/lists/* - -# Continous Integration Setting -ENV IN_DOCKER 1