Lines Matching refs:build

20 and CTest. Others use a custom python-based build system. New proofs
21 should use CMake. This README describes how to build and run both kinds
25 CMake-based build
31 `~/src/freertos` and you wish to build the proofs into
32 `~/build/freertos`. The following three commands build and run
36 cmake -S~/src/freertos -B~/build/freertos -DCOMPILER=cbmc
38 cmake --build ~/build/freertos --target all-proofs
39 cd ~/build/freertos && ctest -L cbmc
43 have the Ninja build tool installed:
46 ctest --build-and-test                \
48     ~/build/freertos           \
49     --build-target cbmc               \
50     --build-generator Ninja           \
51     --build-options                   \
60 Python-based build
88     cmake --build build
92   on Windows), and `goto-instrument` from the command line. If you build
94   `build/bin/Debug` directory under the top-level `cbmc` directory; you