Re: GNAT GPL 2015 Troubles

[Simon Wright <simon@pushface.org>]

"RasikaSrinivasan@gmail.com" <RasikaSrinivasan@gmail.com> writes:

> c. I don't have to specify the location of the profile for ARM targets
> (this is great) but I am not sure which profile the system is
> using. browsing the directories there appear to be 2 ravenscar
> profiles being installed.

I don't know the Windows setup, but - there are 2 Ravenscar profiles, as
you say.

In your project's GPR (you need to be using GNAT Projects), you should
be able to say

   for Runtime ("ada") use "ravenscar-sfp-stm32f4";

for the small-footprint profile, and

   for Runtime ("ada") use "ravenscar-full-stm32f4";

for the profile that allows exception propagation, has the containers
etc etc (but of course still restricted tasking!)

Check out $prefix/arm-eabi/lib/gnat (/ => \, of course).

It looks as though you can use the scenario variable BOARD, possible
values STM32F4-DISCO, STM32F429-DISCO, or STM32F7-EVAL to select the
board you're using.

One thing that puzzled me is how setup_pll.adb knows which board it's on
(I know the max clock frequency is different for STM32F4-DISCO and
STM32F429-DISCO, no idea about STM32F7-EVAL).

It would be a lot easier to navigate this IF ADACORE WOULD STOP USING
"use"!!! It would be far simpler to understand

   procedure Initialize_Clocks is

      HSECLK    : constant Integer := Integer (HSE_Clock (MCU_ID.DEV_ID));
      MCU_ID_Cp : constant MCU_ID_Register := MCU_ID;

if they hadn't said

with System.STM32F4; use System.STM32F4;             << MCU_ID
with System.STM32F4.RCC;
with System.BB.Parameters; use System.BB.Parameters; << HSE_Clock 

It turns out they're using the MCU device ID code, para 38.6.1 of ST's
document 018909 rev 7 (page 1667!)