WIP update build instructions.md

immunant · Mar 1, 2024 · 91e516f · 91e516f
1 parent 711566b
commit 91e516f
Showing 1 changed file with 16 additions and 0 deletions.
diff --git 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 ...