If you prefer a simpler approach, you can simulate STM32 programmed via Arduino Core:
REM Check which path exists if exist %PROTEUS_PATH1% ( set PROTEUS_LIB=%PROTEUS_PATH1% ) else if exist %PROTEUS_PATH2% ( set PROTEUS_LIB=%PROTEUS_PATH2% ) else if exist %PROTEUS_PATH3% ( set PROTEUS_LIB=%PROTEUS_PATH3% ) else ( echo Proteus library folder not found! pause exit /b 1 ) proteus library for stm32 install