CI: Use the build_to_wasm.sh script

rebcabin · Sep 17, 2023 · 1b52a44 · 1b52a44
1 parent 9df846c
commit 1b52a44
Showing 1 changed file with 1 addition and 15 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -170,21 +170,7 @@ jobs:
         run: |
             set -ex
             source $HOME/ext/emsdk/emsdk_env.sh # Activate Emscripten
-            ./build0.sh
-            emcmake cmake . -GNinja \
-              -DCMAKE_BUILD_TYPE=Debug \
-              -DCMAKE_CXX_FLAGS_DEBUG="-Wall -Wextra -fexceptions" \
-              -DWITH_LLVM=no \
-              -DLPYTHON_BUILD_TO_WASM=yes \
-              -DLFORTRAN_BUILD_ALL=yes \
-              -DWITH_STACKTRACE=no \
-              -DWITH_RUNTIME_STACKTRACE=no \
-              -DCMAKE_PREFIX_PATH="$CONDA_PREFIX" \
-              -DCMAKE_INSTALL_PREFIX=`pwd`/inst \
-              -DCMAKE_C_COMPILER_LAUNCHER=sccache \
-              -DCMAKE_CXX_COMPILER_LAUNCHER=sccache
-
-            cmake --build . -j16 --target install
+            ./build_to_wasm.sh
 
       - name: Test built lpython.wasm
         shell: bash -l {0}