Hello Dr. Scott,
Can you provide the compilation error (verbose output) that you receive for the 18.04 Ubuntu platform?
As for the other two platforms I am not surprised that the tools are “unavailable.” This is caused by the configuration of our Arduino Boards Manager Package Index JSON file (found here: https://raw.githubusercontent.com/spark … index.json)
You’ll see that under the “tools” section we are providing a newer version of the ARM gcc tools than those that come with, say, the Arduino SAMD21 boards.
“tools”: [
{
“version”: “8-2018-q4-major”,
“name”: “arm-none-eabi-gcc”,
“systems”: [
{
“host”: “x86_64-apple-darwin”,
“url”: “https://static.sparkfun.com/large/gcc-a … ac.tar.bz2”,
“checksum”: “SHA-256:0b528ed24db9f0fa39e5efdae9bcfc56bf9e07555cb267c70ff3fee84ec98460”,
“archiveFileName”: “gcc-arm-none-eabi-8-2018-q4-major-mac.tar.bz2”,
“size”: “111430151”
},
{
“host”: “i386-apple-darwin11”,
“url”: “https://static.sparkfun.com/large/gcc-a … ac.tar.bz2”,
“checksum”: “SHA-256:0b528ed24db9f0fa39e5efdae9bcfc56bf9e07555cb267c70ff3fee84ec98460”,
“archiveFileName”: “gcc-arm-none-eabi-8-2018-q4-major-mac.tar.bz2”,
“size”: “111430151”
},
{
“host”: “i686-linux-gnu”,
“url”: “https://static.sparkfun.com/large/gcc-a … ux.tar.bz2”,
“checksum”: “SHA-256:fb31fbdfe08406ece43eef5df623c0b2deb8b53e405e2c878300f7a1f303ee52”,
“archiveFileName”: “gcc-arm-none-eabi-8-2018-q4-major-linux.tar.bz2”,
“size”: “107253352”
},
{
“host”: “x86_64-pc-linux-gnu”,
“url”: “https://static.sparkfun.com/large/gcc-a … ux.tar.bz2”,
“checksum”: “SHA-256:fb31fbdfe08406ece43eef5df623c0b2deb8b53e405e2c878300f7a1f303ee52”,
“archiveFileName”: “gcc-arm-none-eabi-8-2018-q4-major-linux.tar.bz2”,
“size”: “107253352”
},
{
“host”: “i686-mingw32”,
“url”: “https://static.sparkfun.com/large/win32 … -major.zip”,
“checksum”: “SHA-256:93be44e2e12e66eee309370afb4d6c4333cbd09e9ff2cd335942c2910f0b613f”,
“archiveFileName”: “win32_aneg-8-2018_2018-q4-major.zip”,
“size”: “135765494”
}
]
},
Arduino matches the “host” field with the host that it identifies on your platform, and if there are no matches you’ll get the “not available on your platform” error. You could help us expand the list of supported platforms, if you would be willing.
Unfortunately the [Arduino IDE 1.6.x package_index.json format specification is not terribly clear about
a) what options there are for the “host” value
b) how to go about getting the “host” value for a particular IDE installation
I’ve tried to echo several values like “{host}”, “{runtime.host}”, and “{runtime.ide.host}” to no avail.
Maybe the best way to add hosts is yo look at the “package_index.json” file for a core that you know works on the desired platform (Jetson, RPi) and copy the relevant items. Could you provide some known-good host values from a core that works for you?
When adding this support we may also need to consider adding a slightly different binary distribution of the tools, unless the version that we have for Linux will just work directly on RPi and Jetson](Arduino IDE 1.6.x package_index.json format specification · arduino/Arduino Wiki · GitHub)