From 91e516f2117f69936dfdded68b69d2c7fff17be3 Mon Sep 17 00:00:00 2001 From: Ayrton Munoz Date: Thu, 29 Feb 2024 21:37:42 -0500 Subject: [PATCH] WIP update build instructions.md --- docs/build_instructions.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/docs/build_instructions.md b/docs/build_instructions.md index 37d4a89ae..38f2be0c4 100644 --- a/docs/build_instructions.md +++ b/docs/build_instructions.md @@ -25,10 +25,26 @@ cmake .. \ -G Ninja ``` +### Notable CMake variables + ## Build and run the tests *Note*: Pass `-v` to ninja to see build commands and output from failing tests. +TODO: mention difference between check and check-ia2 targets +TODO: consider renaming check-ia2 to check-rewriter or similar + ``` ninja check-ia2 ``` + +## CMake targets + +``` +ia2-rewriter +pad-tls +libia2 +partition-alloc +``` + +CMake tests are enumerated in `rewriter/tests/CMakeLists.txt`. To build a specific test use `$TEST_main_wrapped` as the target. To add a new test ...