Skip to content

Commit 1b85263

Browse files
Disable OMPL's demos in moveit2 image (#228).
This commit disables OMPL's demos, due to a build error that results in a header file not being found. ``` <PATH_TO_OMPL>/demos/DubinsAirplane.cpp:48:10: fatal error: ompl/tools/debug/Profiler.h: No such file or directory 48 | #include <ompl/tools/debug/Profiler.h> ```
1 parent 9eb24d5 commit 1b85263

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

moveit2/Dockerfile

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -129,8 +129,10 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \
129129
&& rosdep install --from-paths src --ignore-src --rosdistro ${ROS_DISTRO} -r -y --skip-keys \"$(cat /tmp/rosdep-skip.txt | tr '\n' ' ')\""
130130

131131
# Build MoveIt2
132+
#
133+
# We temporarily disable OMPL's demos due to a build error.
132134
RUN /bin/bash -c 'source ${SPACEROS_DIR}/install/setup.bash \
133-
&& colcon build --cmake-args -DCMAKE_BUILD_TYPE=Release -DCMAKE_EXPORT_COMPILE_COMMANDS=ON --event-handlers desktop_notification- status-'
135+
&& colcon build --cmake-args -DCMAKE_BUILD_TYPE=Release -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DOMPL_BUILD_DEMOS=OFF --event-handlers desktop_notification- status-'
134136

135137
# Add a couple sample GUI apps for testing
136138
RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \

0 commit comments

Comments
 (0)