js-binding: build preparations

VeriFIT · Jan 5, 2025 · 881ed6a · 881ed6a
1 parent 3eacf3e
commit 881ed6a
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/js-binding.yml b/.github/workflows/js-binding.yml
@@ -57,9 +57,11 @@ jobs:
       - name: Check out repository code
         uses: actions/checkout@v3
 
-      - name: Compile Z3-Noodler release
+      - name: Compile JS Binding for Z3-Noodler
         run: |
-          echo $EMSDK
           mkdir build
           cd src/api/js
-          sed -i 's/REPLACE THIS TEXT WITH THE PATH TO libmata.a/'
+          sed -i "s|REPLACE THIS TEXT WITH THE PATH TO libmata.a|${EMSDK}/upstream/emscripten/cache/sysroot/lib/libmata.a|g" scripts/build-wasm.ts
+          npm install
+          npm run build:ts
+          npm run build:wasm