Searched refs:build (Results 1 – 18 of 18) sorted by relevance
12 cmake -S . -B build -DFREERTOS_PLUS_TCP_TEST_CONFIGURATION=ENABLE_ALL13 cmake --build build --target freertos_plus_tcp_build_test18 cmake -S . -B build -DFREERTOS_PLUS_TCP_TEST_CONFIGURATION=DISABLE_ALL19 cmake --build build --target freertos_plus_tcp_build_test24 cmake -S . -B build -DFREERTOS_PLUS_TCP_TEST_CONFIGURATION=DEFAULT_CONF25 cmake --build build --target freertos_plus_tcp_build_test34 cmake -S . -B build -DFREERTOS_PLUS_TCP_TEST_CONFIGURATION=ENABLE_ALL -DCMAKE_GENERATOR_PLATFORM=Wi…36 Open the generated Visual Studio Solution file `test\build-combination\build\FreeRTOS-Plus-TCP Buil…41 cmake -S . -B build -DFREERTOS_PLUS_TCP_TEST_CONFIGURATION=ENABLE_ALL -DCMAKE_GENERATOR_PLATFORM=Wi…43 Open the generated Visual Studio Solution file `test\build-combination\build\FreeRTOS-Plus-TCP Buil…[all …]
77 # Common build combination test.
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`.
1 add_subdirectory(build-combination)
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..." )236 # Include CMock build configuration.246 …clone it manually, or set BUILD_CLONE_SUBMODULES to 'ON' to automatically clone it during build." )254 # Add build targets for CMock and Unit, required for unit testing.260 # 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.
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 $…143 # If not defined will be default compile with one of the test build combinations AllEnable.146 # This is only used when freertos_config is not defined, otherwise the build test will be performed205 # Suppressions required to build clean with clang.
25 …cs.aws.amazon.com/freertos/latest/userguide/getting_started_xilinx.html) to build and run the demo.59 - this particular example supports a native and cross-compiled build option.102 …om/FreeRTOS/FreeRTOS-Kernel)/[Litani-port](https://github.com/awslabs/aws-build-accumulator)) the …
10 …+ Build separation feature introduced to achieve low memory footprint. Supported build combination…17 …+ Support added in FreeRTOS-plus-TCP git repository CI tool to validate various build configuratio…28 3. Code size details for various build configurations52 …+ Introduced build separation feature to achieve low memory footprint. Supported build combination…
4 …ary with only the required functionalities. For more details on supported build combinations, see …
2 * Windows.h and WinBase.h are include files used to build FreeRTOS (the parts we currently test) on…
87 # places the generated source file in the build directory
