prepare_jenkins_catkin_workspace.sh 1.2 KB

123456789101112131415161718192021222324252627282930313233
  1. #!/bin/sh
  2. # Copyright 2016 The Cartographer Authors
  3. #
  4. # Licensed under the Apache License, Version 2.0 (the "License");
  5. # you may not use this file except in compliance with the License.
  6. # You may obtain a copy of the License at
  7. #
  8. # http://www.apache.org/licenses/LICENSE-2.0
  9. #
  10. # Unless required by applicable law or agreed to in writing, software
  11. # distributed under the License is distributed on an "AS IS" BASIS,
  12. # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13. # See the License for the specific language governing permissions and
  14. # limitations under the License.
  15. set -o errexit
  16. set -o verbose
  17. . /opt/ros/${ROS_DISTRO}/setup.sh
  18. # Create a new workspace in 'catkin_ws'.
  19. mkdir -p catkin_ws/src
  20. cd catkin_ws/src
  21. wstool init
  22. # Merge the cartographer_ros.rosinstall file and fetch code for dependencies.
  23. wstool merge ../../cartographer_ros/cartographer_ros.rosinstall
  24. wstool merge -y https://raw.githubusercontent.com/googlecartographer/cartographer_fetch/master/cartographer_fetch.rosinstall
  25. wstool merge -y https://raw.githubusercontent.com/magazino/cartographer_magazino/master/cartographer_magazino.rosinstall
  26. wstool set cartographer -v ${CARTOGRAPHER_VERSION} -y
  27. wstool remove cartographer_ros
  28. wstool update