@@ -36,34 +36,34 @@ jobs:
3636 - name : Install 64-bit toolchain
3737 run : |
3838 set -ex
39- wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07 /binrel/gcc- arm-10.3-2021.07 -x86_64-aarch64-none-elf.tar.xz
40- tar xf gcc- arm-10.3-2021.07 -x86_64-aarch64-none-elf.tar.xz
39+ wget -q https://developer.arm.com/-/media/Files/downloads/gnu/13.3.rel1 /binrel/arm-gnu-toolchain-13.3.rel1 -x86_64-aarch64-none-elf.tar.xz
40+ tar xf arm-gnu-toolchain-13.3.rel1 -x86_64-aarch64-none-elf.tar.xz
4141
4242 - name : Build for Raspberry Pi 5 (64-bit)
4343 run : |
4444 set -ex
45- export PATH=$(readlink -f ./gcc- arm-10.3-2021.07-x86_64-aarch64-none-elf /bin):$PATH
45+ export PATH=$(readlink -f ./arm-* /bin/ ):$PATH
4646 RPI=5 bash -ex build.sh
4747 cp ./src/kernel*.img ./sdcard/
4848
4949 - name : Build for Raspberry Pi 4 (64-bit)
5050 run : |
5151 set -ex
52- export PATH=$(readlink -f ./gcc- arm-10.3-2021.07-x86_64-aarch64-none-elf /bin):$PATH
52+ export PATH=$(readlink -f ./arm-* /bin/ ):$PATH
5353 RPI=4 bash -ex build.sh
5454 cp ./src/kernel*.img ./sdcard/
5555
5656 - name : Build for Raspberry Pi 3 (64-bit)
5757 run : |
5858 set -ex
59- export PATH=$(readlink -f ./gcc- arm-10.3-2021.07-x86_64-aarch64-none-elf /bin):$PATH
59+ export PATH=$(readlink -f ./arm-* /bin/ ):$PATH
6060 RPI=3 bash -ex build.sh
6161 cp ./src/kernel*.img ./sdcard/
6262
6363 - name : Prepare SD card content for 64-bit
6464 run : |
6565 set -ex
66- export PATH=$(readlink -f ./gcc- arm-10.3-2021.07-x86_64-aarch64-none-elf /bin):$PATH
66+ export PATH=$(readlink -f ./arm-* /bin/ ):$PATH
6767 cd ./circle-stdlib/libs/circle/boot
6868 make
6969 make armstub64
@@ -121,20 +121,20 @@ jobs:
121121 - name : Install 32-bit toolchain
122122 run : |
123123 set -ex
124- wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07 /binrel/gcc- arm-10.3-2021.07 -x86_64-arm-none-eabi.tar.xz
125- tar xf gcc- arm-10.3-2021.07 -x86_64-arm-none-eabi.tar.xz
124+ wget -q https://developer.arm.com/-/media/Files/downloads/gnu/13.3.rel1 /binrel/arm-gnu-toolchain-13.3.rel1 -x86_64-arm-none-eabi.tar.xz
125+ tar xf arm-gnu-toolchain-13.3.rel1 -x86_64-arm-none-eabi.tar.xz
126126
127127 - name : Build for Raspberry Pi 2 (32-bit)
128128 run : |
129129 set -ex
130- export PATH=$(readlink -f ./gcc- arm-10.3-2021.07-x86_64-arm-none-eabi /bin):$PATH
130+ export PATH=$(readlink -f ./arm-* /bin/ ):$PATH
131131 RPI=2 bash -ex build.sh
132132 cp ./src/kernel*.img ./sdcard/
133133
134134 - name : Build for Raspberry Pi 1 (32-bit)
135135 run : |
136136 set -ex
137- export PATH=$(readlink -f ./gcc- arm-10.3-2021.07-x86_64-arm-none-eabi /bin):$PATH
137+ export PATH=$(readlink -f ./arm-* /bin/ ):$PATH
138138 RPI=1 bash -ex build.sh
139139 cp ./src/kernel*.img ./sdcard/
140140
0 commit comments