dodsonmg

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

dodsonmg

#
# Copyright (c) 2016 Alex Richardson
# All rights reserved.
#
# This software was developed by SRI International and the University of
# Cambridge Computer Laboratory under DARPA/AFRL contract FA8750-10-C-0237
# ("CTSRD"), as part of the DARPA CRASH research programme.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions