|
|
@ -11,7 +11,8 @@ if [ -z "$BUILD_TYPE" ]; then
|
|
|
|
BUILD_TYPE=Release
|
|
|
|
BUILD_TYPE=Release
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
mkdir -p build/wasm
|
|
|
|
# CI: already had emsdk installed.
|
|
|
|
|
|
|
|
if ! command -v emcc; then
|
|
|
|
if [ ! -d ../../build/emsdk ]; then
|
|
|
|
if [ ! -d ../../build/emsdk ]; then
|
|
|
|
git clone https://github.com/emscripten-core/emsdk.git ../../build/emsdk
|
|
|
|
git clone https://github.com/emscripten-core/emsdk.git ../../build/emsdk
|
|
|
|
fi
|
|
|
|
fi
|
|
|
@ -21,7 +22,9 @@ pushd ../../build/emsdk
|
|
|
|
./emsdk activate 3.0.0
|
|
|
|
./emsdk activate 3.0.0
|
|
|
|
source ./emsdk_env.sh
|
|
|
|
source ./emsdk_env.sh
|
|
|
|
popd # ../../build/emsdk
|
|
|
|
popd # ../../build/emsdk
|
|
|
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mkdir -p build/wasm
|
|
|
|
pushd build/wasm
|
|
|
|
pushd build/wasm
|
|
|
|
emcmake cmake -DCMAKE_BUILD_TYPE="$BUILD_TYPE" ../..
|
|
|
|
emcmake cmake -DCMAKE_BUILD_TYPE="$BUILD_TYPE" ../..
|
|
|
|
make -j
|
|
|
|
make -j
|
|
|
|