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