2022-03-30 03:04:49 +00:00
|
|
|
#!/bin/bash -eux
|
|
|
|
|
|
|
|
source common.sh
|
|
|
|
|
2022-04-10 04:23:22 +00:00
|
|
|
pushd "$BUILD_DIR"
|
2022-08-04 02:23:25 +00:00
|
|
|
rm -rf webshims-build
|
|
|
|
mkdir webshims-build
|
|
|
|
pushd webshims-build
|
2022-03-30 03:04:49 +00:00
|
|
|
|
2022-08-04 02:23:25 +00:00
|
|
|
emcmake cmake -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" "$SOURCES_DIR/webshims"
|
2022-03-30 03:04:49 +00:00
|
|
|
emmake make
|
|
|
|
emmake make install
|
|
|
|
|
|
|
|
echo "webshims OK"
|