2021-07-27 21:58:16 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
pushd jerryscript
|
|
|
|
|
python3 tools/build.py --jerry-cmdline-snapshot ON
|
|
|
|
|
popd
|
|
|
|
|
pushd fossil-hr-watchface
|
|
|
|
|
export jerry=../jerryscript/build/bin/jerry-snapshot
|
|
|
|
|
$jerry generate -f '' open_source_watchface.js -o openSourceWatchface.bin
|
|
|
|
|
$jerry generate -f '' widget_date.js -o widgetDate.bin
|
|
|
|
|
$jerry generate -f '' widget_weather.js -o widgetWeather.bin
|
|
|
|
|
$jerry generate -f '' widget_steps.js -o widgetSteps.bin
|
|
|
|
|
$jerry generate -f '' widget_hr.js -o widgetHR.bin
|
2021-07-28 16:09:51 +02:00
|
|
|
$jerry generate -f '' widget_battery.js -o widgetBattery.bin
|
|
|
|
|
$jerry generate -f '' widget_calories.js -o widgetCalories.bin
|
|
|
|
|
$jerry generate -f '' widget_2nd_tz.js -o widget2ndTZ.bin
|
|
|
|
|
$jerry generate -f '' widget_activemins.js -o widgetActiveMins.bin
|
|
|
|
|
$jerry generate -f '' widget_chanceofrain.js -o widgetChanceOfRain.bin
|
2021-11-12 15:34:57 +01:00
|
|
|
$jerry generate -f '' widget_custom.js -o widgetCustom.bin
|
2021-07-27 21:58:16 +02:00
|
|
|
popd
|
2021-07-27 23:06:30 +02:00
|
|
|
mv fossil-hr-watchface/*.bin ../app/src/main/assets/fossil_hr/
|
