🔨 Translate *.sh into *.bat (#46)

... for Microsoft Windows users
This commit is contained in:
Thomas Ramirez 2022-02-07 10:38:20 +01:00 committed by GitHub
parent f1d272b37d
commit e5e87231a0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 96 additions and 0 deletions

78
build_web.bat Normal file
View file

@ -0,0 +1,78 @@
@echo off
SET script_path=%~dp0
cd %script_path%
SET OPEN=0
SET FAST=0
:do_while
IF (%1) == () GOTO end_while
IF %1 == -h GOTO print_help
IF %1 == --help GOTO print_help
IF %1 == --fast (
SET FAST=1
SHIFT
GOTO do_while
)
IF %1 == --open (
SET OPEN=1
SHIFT
GOTO do_while
)
echo Unknown command "%1"
:end_while
@REM call this first : `./setup_web.bat`
for %%I in (.) do SET FOLDER_NAME=%%~nxI
@REM assume crate name is the same as the folder name
SET CRATE_NAME=%FOLDER_NAME%
@REM for those who name crates with-kebab-case
SET CRATE_NAME_SNAKE_CASE=%FOLDER_NAME:-=_%
@REM This is required to enable the web_sys clipboard API which egui_web uses
@REM https://rustwasm.github.io/wasm-bindgen/api/web_sys/struct.Clipboard.html
@REM https://rustwasm.github.io/docs/wasm-bindgen/web-sys/unstable-apis.html
SET RUSTFLAGS=--cfg=web_sys_unstable_apis
@REM Clear output from old stuff:
DEL /F docs\%CRATE_NAME_SNAKE_CASE%_bg.wasm
echo Building rust...
SET BUILD=release
cargo build -p %CRATE_NAME% --release --lib --target wasm32-unknown-unknown
@REM Get the output directory (in the workspace it is in another location)
FOR /F %%i IN ('cargo metadata --format-version=1 ^| jq --raw-output .target_directory') DO SET TARGET=%%i
echo Generating JS bindings for wasm...
SET TARGET_NAME=%CRATE_NAME_SNAKE_CASE%.wasm
wasm-bindgen "%TARGET%\wasm32-unknown-unknown\%BUILD%\%TARGET_NAME%" --out-dir "docs" --no-modules --no-typescript
IF %FAST% == 0 (
echo Optimizing wasm...
@REM to get wasm-opt: apt/brew/dnf install binaryen
@REM add -g to get debug symbols :
wasm-opt "docs\%CRATE_NAME%_bg.wasm" -O2 --fast-math -o "docs\%CRATE_NAME%_bg.wasm"
)
echo Finished: docs/%CRATE_NAME_SNAKE_CASE%.wasm"
IF %OPEN% == 1 start http://localhost:8080/index.html
GOTO end_program
:print_help
echo build_web.sh [--fast] [--open]
echo --fast: skip optimization step
echo --open: open the result in a browser
GOTO end_program
:end_program

7
setup_web.bat Normal file
View file

@ -0,0 +1,7 @@
@REM Pre-requisites:
rustup target add wasm32-unknown-unknown
cargo install wasm-bindgen-cli
cargo update -p wasm-bindgen
@REM For local tests with `./start_server`:
cargo install basic-http-server

11
start_server.bat Normal file
View file

@ -0,0 +1,11 @@
@echo off
@REM Starts a local web-server that serves the contents of the `doc/` folder,
@REM which is the folder to where the web version is compiled.
cargo install basic-http-server
echo "open http://localhost:8080"
(cd docs && basic-http-server --addr 127.0.0.1:8080 .)
@REM (cd docs && python3 -m http.server 8080 --bind 127.0.0.1)