js-binding: prepare compilation

VeriFIT · Jan 5, 2025 · 3eacf3e · 3eacf3e
1 parent 7cc9d87
commit 3eacf3e
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/.github/workflows/js-binding.yml b/.github/workflows/js-binding.yml
@@ -52,4 +52,14 @@ jobs:
           cd mata
           mkdir build && cd build
           emcmake cmake -DCMAKE_BUILD_TYPE=Release -DMATA_BUILD_EXAMPLES:BOOL=OFF -DBUILD_TESTING:BOOL=OFF ..
-          emmake make install
+          emmake make install
+
+      - name: Check out repository code
+        uses: actions/checkout@v3
+
+      - name: Compile Z3-Noodler release
+        run: |
+          echo $EMSDK
+          mkdir build
+          cd src/api/js
+          sed -i 's/REPLACE THIS TEXT WITH THE PATH TO libmata.a/'