From b50207e5e972debdb72b2edbc3395f1a928476b9 Mon Sep 17 00:00:00 2001 From: Oleg Kalachev Date: Fri, 23 Sep 2022 18:44:18 +0300 Subject: [PATCH] Install ROS to /opt/ros/ --- builder/image-build-ros.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/builder/image-build-ros.sh b/builder/image-build-ros.sh index ab04f9c4..2e7e0113 100755 --- a/builder/image-build-ros.sh +++ b/builder/image-build-ros.sh @@ -67,6 +67,8 @@ echo "--- Resolve dependencies" rosdep install --from-paths ./src --ignore-packages-from-source --rosdistro $ROS_DISTRO -y --os=debian:$VERSION_CODENAME --skip-keys="python3-catkin-pkg python3-catkin-pkg-modules python3-rosdep-modules" echo "--- Build ROS" -./src/catkin/bin/catkin_make_isolated --install -DCMAKE_BUILD_TYPE=Release -DSETUPTOOLS_DEB_LAYOUT=OFF # https://github.com/ros/catkin/issues/863#issuecomment-290392074 +./src/catkin/bin/catkin_make_isolated --install -DCMAKE_BUILD_TYPE=Release \ + -DSETUPTOOLS_DEB_LAYOUT=OFF \ # https://github.com/ros/catkin/issues/863#issuecomment-290392074 + --install-space=/opt/ros/$ROS_DISTRO source ~/ros_catkin_ws/install_isolated/setup.bash