Skip to content

Commit

Permalink
js-binding: cleaning
Browse files Browse the repository at this point in the history
  • Loading branch information
vhavlena committed Jan 5, 2025
1 parent 7b2cd1e commit 13f49d8
Showing 1 changed file with 1 addition and 31 deletions.
32 changes: 1 addition & 31 deletions .github/workflows/js-binding.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,16 +12,6 @@ on:
# allows to run the action from GitHub UI
workflow_dispatch:

# defaults:
# run:
# working-directory: src/api/js

# env:
# EM_VERSION: 3.1.73

# permissions:
# contents: read # to fetch code (actions/checkout)

jobs:
ubuntu-build:
name: JS Binding Ubuntu
Expand All @@ -45,24 +35,13 @@ jobs:
branch: devel
depth: 1

# - name: Install dependencies
# run: |
# sudo apt-get update
# sudo apt-get install catch2

- name: Install Mata
run: |
cd mata
mkdir build && cd build
emcmake cmake -DCMAKE_BUILD_TYPE=Release -DMATA_BUILD_EXAMPLES:BOOL=OFF -DBUILD_TESTING:BOOL=OFF ..
emmake make install
# - name: Setup emscripten
# uses: mymindstorm/setup-emsdk@v14
# with:
# version: 3.1.73
# actions-cache-folder: 'emsdk-cache'

- name: Compile JS Binding for Z3-Noodler
run: |
mkdir build
Expand All @@ -75,13 +54,4 @@ jobs:
- name: Test JS Binding
run: |
cd src/api/js
npm test
# - name: Build wasm
# run: |
# emsdk install ${EM_VERSION}
# emsdk activate ${EM_VERSION}
# source $(dirname $(which emsdk))/emsdk_env.sh
# which node
# which clang++
# npm run build:wasm
npm test

0 comments on commit 13f49d8

Please sign in to comment.