Fix WASM CI: add missing REPL.c and remove debug_hash.cpp

- lake target: build both REPL and WasmRepl to generate REPL.c
- CMakeLists.txt: remove debug_hash.cpp from test_wasm_node sources

Author: junjihashimoto

.github/workflows/ci.yml

@@ -86,7 +86,7 @@ jobs:
       run: pixi run -e wasm-build fix-emscripten-links || true
 
     - name: Build Lean REPL (lake)
-      run: lake build WasmRepl
+      run: lake build REPL WasmRepl
 
     - name: Configure WASM build (emcmake)
       run: |

CMakeLists.txt

@@ -292,7 +292,7 @@ if(EMSCRIPTEN)
     # Node.js test executable (standalone, no xeus dependency)
     # ========================================================
 
-    add_executable(test_wasm_node test_wasm_node.cpp debug_hash.cpp ${WASM_SYMTAB_FILE})
+    add_executable(test_wasm_node test_wasm_node.cpp ${WASM_SYMTAB_FILE})
     target_include_directories(test_wasm_node PRIVATE ${LEAN4_INCLUDE_DIR})
     target_link_libraries(test_wasm_node PRIVATE
         ${STAGE0_REPL_LIB}

Makefile

@@ -28,7 +28,7 @@ all: build test
 
 # Generate .c files from Lean source (required before cmake)
 lake:
-	lake build WasmRepl
+	lake build REPL WasmRepl
 
 configure: lake
 	$(NIX_SHELL) '\