web analytics
Newspapers

 
Categories: Compiler

GnatDroid for Android-x86

The GNAT-to-Android/ARM cross-compiler known as GnatDroid-ARMv7 has been available on FreeBSD and DragonFly since even before it was officially supported in GCC.

I've produced a second cross-compiler, GnatDroid-86 which targets the 32-bit Android/x86 platform.

Categories: Compiler

GCC 5.2.0 for OS X El Capitan

There's not a lot of added Ada goodness compared to 5.1.0, but the El
Capitan-related problem
that David Botton recently encountered is fixed.

If you need PR66509 fixed and also arm-eabi support, put this compiler
on your PATH before the 5.1.0 compiler
e.g. PATH=/opt/gcc-5.2.0/bin:/opt/gcc-5.1.0/bin:/the/rest/of/your/path

Downloads on SourceForge, prepared by Simon Wright

Categories: Tools

AdaControl v1.17r3 released

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs.
Its first goal is to control proper usage of style or programming rules

This version gives better support of Ada 2005/2012 constructs... especially in the handling of anonymous subtypes.

EEC GDPR compliant