This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# | |
# 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 |