diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2025-07-23 14:40:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-23 14:40:12 -0700 |
| commit | f9f23cbd92f13da4e8247c5131dbd0d812786d0c (patch) | |
| tree | ba665353e600b0121444e00896b9b4fe3f577420 /docs/design | |
| parent | 7b4c72379bf3c5feae58120cf3ef26d53d16ff10 (diff) | |
Update document to include lua build step (#7886)
Diffstat (limited to 'docs/design')
| -rw-r--r-- | docs/design/ir-instruction-definition.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/design/ir-instruction-definition.md b/docs/design/ir-instruction-definition.md index ecbbe9be3..b01f59ac7 100644 --- a/docs/design/ir-instruction-definition.md +++ b/docs/design/ir-instruction-definition.md @@ -95,7 +95,9 @@ To add a new IR instruction: - Run the validation script: + **Note**: Skip make command if lua is already built. ```bash + make -C external/lua MYCFLAGS="-DLUA_USE_POSIX" MYLIBS="" ./external/lua/lua extras/check-ir-stable-names.lua update ``` @@ -285,7 +287,9 @@ The traversal: **Stable name validation failures**: Run the update script and commit the changes: +**Note**: Skip make command if lua is already built. ```bash +make -C external/lua MYCFLAGS="-DLUA_USE_POSIX" MYLIBS="" ./external/lua/lua extras/check-ir-stable-names.lua update ``` |