Re: a new language, designed for safety !

[Lucretia <laguest9000@googlemail.com>]

On Friday, 13 June 2014 13:03:28 UTC+1, Simon Clubley  wrote:

> There's no GNAT GPL cross compiler support for any other platforms/MCUs
> including the _very_ popular ARM Cortex-M{0,3,4} MCUs. There are however
> freely available C compilers for all these other MCUs (and in addition
> those C compilers don't have any restrictions on what you can do with
> the binaries you generate with them.)
> 
> So the reality is that most people just pick up the C cross compiler for
> the MCU in question and use that for their projects.
> 
> Simon.
> 
> PS: Luke/Brian: do you want to take this opportunity to report on the
> state of play and functionality of your work on your ports for ARM,
> PIC32MX and MSP430 ?

I have built arm-none-eabi-*, mips-elf-*, msp430-elf-*, x86_64-elf-* cross tools using a small configure patch which allows me to still build the cross tools, they do not install any RTS, you have to provide this (right now). I have not touched any runtime support for ages and my scripts are way out of date.

My last tool versions are:

$ ~/opt/tinyada/bin/arm-none-eabi-gcc -v
Using built-in specs.
COLLECT_GCC=/home/laguest/opt/tinyada/bin/arm-none-eabi-gcc
COLLECT_LTO_WRAPPER=/home/laguest/opt/tinyada/libexec/gcc/arm-none-eabi/4.9.0/lto-wrapper
Target: arm-none-eabi
Configured with: ../../../source/gcc-git-ro/configure --prefix=/home/laguest/opt/tinyada --target=arm-none-eabi --enable-interwork --enable-multilib --without-headers --disable-nls --disable-shared --disable-threads --disable-lto --with-gnu-as --with-gnu-ld --enable-languages=c,ada --enable-cross-gnattools --disable-libssp --disable-cloog-version-check --disable-isl-version-check --with-gmp=/home/laguest/opt/tinyada --with-mpfr=/home/laguest/opt/tinyada --with-mpc=/home/laguest/opt/tinyada --with-isl=/home/laguest/opt/tinyada --with-cloog=/home/laguest/opt/tinyada
Thread model: single
gcc version 4.9.0 20140122 (experimental) (GCC) 

$ ~/opt/tinyada/bin/mips-elf-gcc -v
Using built-in specs.
COLLECT_GCC=/home/laguest/opt/tinyada/bin/mips-elf-gcc
COLLECT_LTO_WRAPPER=/home/laguest/opt/tinyada/libexec/gcc/mips-elf/4.9.0/lto-wrapper
Target: mips-elf
Configured with: ../../../source/gcc-git-ro/configure --prefix=/home/laguest/opt/tinyada --target=mips-elf --enable-multilib --without-headers --disable-nls --disable-shared --disable-threads --disable-lto --with-gnu-as --with-gnu-ld --enable-languages=c,ada --enable-cross-gnattools --with-float=soft --disable-libssp --disable-cloog-version-check --disable-isl-version-check --with-gmp=/home/laguest/opt/tinyada --with-mpfr=/home/laguest/opt/tinyada --with-mpc=/home/laguest/opt/tinyada --with-isl=/home/laguest/opt/tinyada --with-cloog=/home/laguest/opt/tinyada
Thread model: single
gcc version 4.9.0 20140122 (experimental) (GCC)

$ ~/opt/tinyada/bin/msp430-elf-gcc -v
Using built-in specs.
COLLECT_GCC=/home/laguest/opt/tinyada/bin/msp430-elf-gcc
COLLECT_LTO_WRAPPER=/home/laguest/opt/tinyada/libexec/gcc/msp430-elf/4.9.0/lto-wrapper
Target: msp430-elf
Configured with: ../../../source/gcc-git-ro/configure --prefix=/home/laguest/opt/tinyada --target=msp430-elf --enable-multilib --without-headers --disable-nls --disable-shared --disable-threads --disable-lto --with-gnu-as --with-gnu-ld --enable-languages=c,ada --enable-cross-gnattools --disable-libssp --disable-cloog-version-check --disable-isl-version-check --with-gmp=/home/laguest/opt/tinyada --with-mpfr=/home/laguest/opt/tinyada --with-mpc=/home/laguest/opt/tinyada --with-isl=/home/laguest/opt/tinyada --with-cloog=/home/laguest/opt/tinyada
Thread model: single
gcc version 4.9.0 20140122 (experimental) (GCC) 

$ ~/opt/tinyada/bin/x86_64-elf-gcc -v
Using built-in specs.
COLLECT_GCC=/home/laguest/opt/tinyada/bin/x86_64-elf-gcc
COLLECT_LTO_WRAPPER=/home/laguest/opt/tinyada/libexec/gcc/x86_64-elf/4.9.0/lto-wrapper
Target: x86_64-elf
Configured with: ../../../source/gcc-git-ro/configure --prefix=/home/laguest/opt/tinyada --target=x86_64-elf --enable-multilib --without-headers --disable-nls --disable-shared --disable-threads --disable-lto --with-gnu-as --with-gnu-ld --enable-languages=c,ada --enable-cross-gnattools --disable-libssp --disable-cloog-version-check --disable-isl-version-check --with-gmp=/home/laguest/opt/tinyada --with-mpfr=/home/laguest/opt/tinyada --with-mpc=/home/laguest/opt/tinyada --with-isl=/home/laguest/opt/tinyada --with-cloog=/home/laguest/opt/tinyada
Thread model: single
gcc version 4.9.0 20140122 (experimental) (GCC) 

Running any of the *-gnat* tools gives:

$ ~/opt/tinyada/bin/arm-none-eabi-gnat
fatal error, run-time library not installed correctly
cannot locate file system.ads

raised TYPES.UNRECOVERABLE_ERROR : targparm.adb:180

due to no runtime installed.

These compilers have been untested by me also really. The only one tested was the host one I built.

There is no reason why any other backend for gcc should not work either, including AVR, from the same source. i.e. no more hacks that break the build.

If anyone from Farnell or similar want to pay me a shedload of cash to build them some toolchains or set one up for them, let me know :D

Luke.