Searched refs:build (Results 1 – 14 of 14) sorted by relevance
12 cmake -S test/build-combination -B test/build-combination/build/ -DTEST_CONFIGURATION=ENABLE_ALL13 make -C test/build-combination/build/18 cmake -S test/build-combination -B test/build-combination/build/ -DTEST_CONFIGURATION=DISABLE_ALL19 make -C test/build-combination/build/24 cmake -S test/build-combination -B test/build-combination/build/ -DTEST_CONFIGURATION=DEFAULT_CONF25 make -C test/build-combination/build/34 cmake -S test/build-combination -B test/build-combination/build/ -DTEST_CONFIGURATION=ENABLE_ALL -D…36 Open the generated Visual Studio Solution file `test\build-combination\build\FreeRTOS-Plus-TCP Buil…41 cmake -S test/build-combination -B test/build-combination/build/ -DTEST_CONFIGURATION=ENABLE_ALL -D…43 Open the generated Visual Studio Solution file `test\build-combination\build\FreeRTOS-Plus-TCP Buil…[all …]
13 # Do not allow in-source build.15 …sage( FATAL_ERROR "In-source build is not allowed. Please build in a separate directory, such as $…39 set( TEST_DIR ${MODULE_ROOT_DIR}/test/build-combination )
20 and CTest. Others use a custom python-based build system. New proofs21 should use CMake. This README describes how to build and run both kinds25 CMake-based build31 `~/src/freertos` and you wish to build the proofs into32 `~/build/freertos`. The following three commands build and run36 cmake -S~/src/freertos -B~/build/freertos -DCOMPILER=cbmc38 cmake --build ~/build/freertos --target all-proofs39 cd ~/build/freertos && ctest -L cbmc43 have the Ninja build tool installed:46 ctest --build-and-test \[all …]
17 # Do not allow in-source build.19 …sage( FATAL_ERROR "In-source build is not allowed. Please build in a separate directory, such as $…32 message( STATUS "FreeRTOS-Kernel is required for this build. Submoduling it..." )
5 …ttps://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/main/test/Coverity/ConfigFiles) required to build27 ### To build and run coverity:33 2. Create the build files using CMake in a `build` directory35 cmake -B build -S test/Coverity37 3. Go to the build directory and copy the coverity configuration file39 cd build/44 cov-build --emit-complementary-info --dir cov-out make
84 def build(): function115 build()
20 # In this example, @doctocat owns any files in the build/logs23 # /build/logs/ @doctocat27 # `docs/build-app/troubleshooting.md`.
16 # Do not allow in-source build.18 …sage( FATAL_ERROR "In-source build is not allowed. Please build in a separate directory, such as $…33 message( STATUS "FreeRTOS-Kernel is required for this build. Submoduling it..." )181 # Include CMock build configuration.191 …clone it manually, or set BUILD_CLONE_SUBMODULES to 'ON' to automatically clone it during build." )199 # Add build targets for CMock and Unit, required for unit testing.205 # Include unit-test build configuration
42 BUILD_DIR="${UNIT_TEST_DIR}/build/"44 # Create the build directory using CMake:78 Reading tracefile test/unit-test/build/coverage.info
15 # Macro utility to add library targets for Unity and CMock to build configuration.
3 # in their Cmake based build system by including this file.
2 * Windows.h and WinBase.h are include files used to build FreeRTOS (the parts we currently test) on…
19 …cs.aws.amazon.com/freertos/latest/userguide/getting_started_xilinx.html) to build and run the demo.61 …om/FreeRTOS/FreeRTOS-Kernel)/[Litani-port](https://github.com/awslabs/aws-build-accumulator)) the …
87 # places the generated source file in the build directory
