Skip to content

Instantly share code, notes, and snippets.

@dodsonmg
Created April 17, 2020 11:28
Show Gist options
  • Save dodsonmg/3b46955db0404153fa7d608fc85b4201 to your computer and use it in GitHub Desktop.
Save dodsonmg/3b46955db0404153fa7d608fc85b4201 to your computer and use it in GitHub Desktop.
colcon build invocation
colcon build \
--packages-skip-build-finished \
--cmake-args \
-DCMAKE_TOOLCHAIN_FILE=$TOOLCHAIN_PATH \
-DBUILD_TESTING=NO \
-DTHIRDPARTY=ON \
-DCMAKE_PREFIX_PATH="$CHERI_PREFIX_PATH;$CMAKE_PREFIX_PATH" \
--no-warn-unused-cli
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment