From f9f23cbd92f13da4e8247c5131dbd0d812786d0c Mon Sep 17 00:00:00 2001
From: Jay Kwak <82421531+jkwak-work@users.noreply.github.com>
Date: Wed, 23 Jul 2025 14:40:12 -0700
Subject: Update document to include lua build step (#7886)

---
 docs/design/ir-instruction-definition.md | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'docs/design')

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
 ```
 
-- 
cgit v1.2.3