1@ECHO OFF 2 3ECHO INFO: Setting up the environment for ARM Developer Studio 2020.0... 4 5SET "AZRTOS_TEST_DIR=%~dp0" 6 7SET AZRTOS_ARM_DS_DIR="C:\Program Files\Arm\Development Studio 2020.0" 8IF NOT EXIST %AZRTOS_ARM_DS_DIR% ( 9 ECHO ERROR: ARM Developer Studio directory not found 10 EXIT /B 2 11) 12 13SET AZRTOS_ARM_DS_IDEC=%AZRTOS_ARM_DS_DIR%\bin\armds_idec.exe 14IF NOT EXIST %AZRTOS_ARM_DS_IDEC% ( 15 ECHO ERROR: armds_idec.exe not found 16 EXIT /B 2 17) ELSE ( 18 ECHO INFO: armds_idec.exe found at %AZRTOS_ARM_DS_IDEC% 19) 20 21SET AZRTOS_ARM_DS_DBG=%AZRTOS_ARM_DS_DIR%\bin\armdbg.exe 22IF NOT EXIST %AZRTOS_ARM_DS_DBG% ( 23 ECHO ERROR: armdbg.exe not found 24 EXIT /B 2 25) ELSE ( 26 ECHO INFO: armdbg.exe found at %AZRTOS_ARM_DS_DBG% 27) 28 29ECHO INFO: ARM Developer Studio 2020.0 environment setup completed. 30
