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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: ANN: gcc 4.9.1bis for Darwin
Date: Sun, 25 Jan 2015 16:41:43 +0000
Organization: A noiseless patient Spider
Message-ID: <lyoapmhkxk.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="8878eaae66d49f7d529ec3c7abf78fb7";
 logging-data="23101"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX19vW9uqwzykiyg0EqcWDhPN4SFYWVRwDdg="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (darwin)
Cancel-Lock: sha1:mSQuo5W7982h4CLR1WXu8gzlv/A=
 sha1:hmH3IoH6LVnUYhBQ0adzu3R3v0c=
Xref: number.nntp.giganews.com comp.lang.ada:192043
Date: 2015-01-25T16:41:43+00:00
List-Id: <comp.lang.ada>

This is to announce two GCC 4.9.1 compilers, one a Darwin native
compiler (the same as previously uploaded, but can be installed in a
place of your choice) and one a cross-compiler to arm-eabi, aka
arm-none-eabi, as found on the STMicroelectronics[1] STM32F4 series.

Both compilers work on Mavericks and Yosemite.

The compilers are at the usual place[2]. They each have a similar
installation mechanism as that in the GNAT GPL series,so you can choose
where to install them (the default is /opt/gcc-4.9.1, but
/usr/local/gcc-4.9.1 works too; there may be problems with longer
paths). You can install the cross compiler on top of the native one.

The cross-compiler comes without an RTS. You can find suitable RTSs at
[3], together with a compiled copy of stlink (the tools that enable
download to the board and debug). The 20150124 version comes in two
variants: one that just supports the STCube BSP, and - more
interestingly - one that additionally supports Ravenscar tasking via
FreeRTOS[4].

The tasking RTS has the following restrictions (aside from pragma
Profile (Ravenscar)):

   pragma Restrictions (No_Allocators);
   pragma Restrictions (No_Dispatch);
   pragma Restrictions (No_Enumeration_Maps);
   pragma Restrictions (No_Exception_Propagation);
   pragma Restrictions (No_Finalization);
   pragma Restrictions (No_Recursion);
   pragma Restrictions (No_Secondary_Stack);

and the following bugs/features (see the Tickets tab at [3]):

o You have to start tasking by calling FreeRTOS.Tasks.Start_Scheduler
   from your main program (it doesn't return unless something is
   horribly wrong).

o Ada.Real_Time.Clock is only valid for 50 days (and has a tick of 1
  ms).

o The Interrupt_Priority aspect on a PO doesn't affect the actual
  interrupt's priority (it does affect the PO's ceiling priority).

o Some weird interaction between the compiler and the RTS code means
  that a protected spec hides package Interfaces. You can 'use
  Interfaces;' before the protected spec, though.

[1] http://www.st.com
[2]
http://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/4.9.1bis/
[3] http://sourceforge.net/projects/stm32f4-gnat-rts/files/
[4] http://www.freertos.org