From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.224.64.198 with SMTP id f6mr644310qai.3.1402673686003; Fri, 13 Jun 2014 08:34:46 -0700 (PDT) X-Received: by 10.50.67.42 with SMTP id k10mr98178igt.5.1402673685827; Fri, 13 Jun 2014 08:34:45 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!i13no625520qae.1!news-out.google.com!a8ni3066qaq.1!nntp.google.com!a13no611852igq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 13 Jun 2014 08:34:45 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2.121.192.150; posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS NNTP-Posting-Host: 2.121.192.150 References: <1402308235.2520.153.camel@pascal.home.net> <85ioo9yukk.fsf@stephe-leake.org> <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <794c270e-7382-4eca-925a-dcbd31135395@googlegroups.com> Subject: Re: a new language, designed for safety ! From: Lucretia Injection-Date: Fri, 13 Jun 2014 15:34:45 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 6937 X-Received-Body-CRC: 2754115391 Xref: news.eternal-september.org comp.lang.ada:20289 Date: 2014-06-13T08:34:45-07:00 List-Id: 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.) >=20 > 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. >=20 > Simon. >=20 > 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 cros= s 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=3D/home/laguest/opt/tinyada/bin/arm-none-eabi-gcc COLLECT_LTO_WRAPPER=3D/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=3D/home/lagu= est/opt/tinyada --target=3Darm-none-eabi --enable-interwork --enable-multil= ib --without-headers --disable-nls --disable-shared --disable-threads --dis= able-lto --with-gnu-as --with-gnu-ld --enable-languages=3Dc,ada --enable-cr= oss-gnattools --disable-libssp --disable-cloog-version-check --disable-isl-= version-check --with-gmp=3D/home/laguest/opt/tinyada --with-mpfr=3D/home/la= guest/opt/tinyada --with-mpc=3D/home/laguest/opt/tinyada --with-isl=3D/home= /laguest/opt/tinyada --with-cloog=3D/home/laguest/opt/tinyada Thread model: single gcc version 4.9.0 20140122 (experimental) (GCC)=20 $ ~/opt/tinyada/bin/mips-elf-gcc -v Using built-in specs. COLLECT_GCC=3D/home/laguest/opt/tinyada/bin/mips-elf-gcc COLLECT_LTO_WRAPPER=3D/home/laguest/opt/tinyada/libexec/gcc/mips-elf/4.9.0/= lto-wrapper Target: mips-elf Configured with: ../../../source/gcc-git-ro/configure --prefix=3D/home/lagu= est/opt/tinyada --target=3Dmips-elf --enable-multilib --without-headers --d= isable-nls --disable-shared --disable-threads --disable-lto --with-gnu-as -= -with-gnu-ld --enable-languages=3Dc,ada --enable-cross-gnattools --with-flo= at=3Dsoft --disable-libssp --disable-cloog-version-check --disable-isl-vers= ion-check --with-gmp=3D/home/laguest/opt/tinyada --with-mpfr=3D/home/lagues= t/opt/tinyada --with-mpc=3D/home/laguest/opt/tinyada --with-isl=3D/home/lag= uest/opt/tinyada --with-cloog=3D/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=3D/home/laguest/opt/tinyada/bin/msp430-elf-gcc COLLECT_LTO_WRAPPER=3D/home/laguest/opt/tinyada/libexec/gcc/msp430-elf/4.9.= 0/lto-wrapper Target: msp430-elf Configured with: ../../../source/gcc-git-ro/configure --prefix=3D/home/lagu= est/opt/tinyada --target=3Dmsp430-elf --enable-multilib --without-headers -= -disable-nls --disable-shared --disable-threads --disable-lto --with-gnu-as= --with-gnu-ld --enable-languages=3Dc,ada --enable-cross-gnattools --disabl= e-libssp --disable-cloog-version-check --disable-isl-version-check --with-g= mp=3D/home/laguest/opt/tinyada --with-mpfr=3D/home/laguest/opt/tinyada --wi= th-mpc=3D/home/laguest/opt/tinyada --with-isl=3D/home/laguest/opt/tinyada -= -with-cloog=3D/home/laguest/opt/tinyada Thread model: single gcc version 4.9.0 20140122 (experimental) (GCC)=20 $ ~/opt/tinyada/bin/x86_64-elf-gcc -v Using built-in specs. COLLECT_GCC=3D/home/laguest/opt/tinyada/bin/x86_64-elf-gcc COLLECT_LTO_WRAPPER=3D/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=3D/home/lagu= est/opt/tinyada --target=3Dx86_64-elf --enable-multilib --without-headers -= -disable-nls --disable-shared --disable-threads --disable-lto --with-gnu-as= --with-gnu-ld --enable-languages=3Dc,ada --enable-cross-gnattools --disabl= e-libssp --disable-cloog-version-check --disable-isl-version-check --with-g= mp=3D/home/laguest/opt/tinyada --with-mpfr=3D/home/laguest/opt/tinyada --wi= th-mpc=3D/home/laguest/opt/tinyada --with-isl=3D/home/laguest/opt/tinyada -= -with-cloog=3D/home/laguest/opt/tinyada Thread model: single gcc version 4.9.0 20140122 (experimental) (GCC)=20 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 w= as the host one I built. There is no reason why any other backend for gcc should not work either, in= cluding 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 buil= d them some toolchains or set one up for them, let me know :D Luke.