ARM: Use ARM provided toolchain archive instead of PPA#53
ARM: Use ARM provided toolchain archive instead of PPA#53cladmi merged 2 commits intoRIOT-OS:masterfrom
Conversation
78f6d14 to
b8e8735
Compare
|
I am building the image and will check I can still do a "buildtest" with it. (I will remove this |
|
We are currently already using this version (from the print_toolchain output in murdock). Maybe we should directly use this one here. |
|
The latest available release on arm.com is 7-2018-q2-update. q3 is not available yet. |
|
Ok. |
|
Good for me, I could run I am completely in favor of fixing versions. |
|
It is also 0.06GB smaller than |
|
I rerun the build to be with the last master and have the travis output. Will merge on success. |
|
Hmm… is not travis supposed to test the merge version with |
The purpose of this change is to make the build more explicit with regards to toolchain versions, and to make the ARM installation more similar to the other supported platforms in the container. This will also make transitioning to a newer OS release (#42) easier.
The MD5 sum is verified after download against the expected MD5 sum from the ARM website, this way the user can be certain that this image uses a particular version of the toolchain.
The selected toolchain is the latest release currently available from arm.com, and the same release as found in the PPA. I did not verify that the files are the same in the downloaded archive as in the PPA, but they carry the same GCC version number, so the impact should be minimal.