mirror of
https://github.com/gradio-app/gradio.git
synced 2025-04-12 12:40:29 +08:00
15 lines
321 B
Batchfile
15 lines
321 B
Batchfile
@echo off
|
|
setlocal EnableDelayedExpansion
|
|
|
|
:: Change to parent directory of script location
|
|
cd /d "%~dp0.."
|
|
|
|
:: Check for pnpm
|
|
call scripts\helpers.bat pnpm_required
|
|
|
|
:: Generate theme using Python script
|
|
python scripts\generate_theme.py
|
|
|
|
echo Building the frontend...
|
|
pnpm i --frozen-lockfile --ignore-scripts
|
|
pnpm build |