SOLVED (I THINK)
Using Linux I was unable to download the MIOS32 Toolchain using the sudo wget command. ( I still can't !)
However I downloaded the gcc-arm-none-eabi /etc / tar.bz2 file by clicking on the linux version on the midibox.org link. Using Archive manager in Linux Mint I uncompressed the file. Then I transferred to file to usr/local/ mios32_toolchain. I added the latter directory. This did not work either. Then I realised that the path to the appropriate bin file was i