Re: GNAT ARM on Mac OS X?

[Simon Wright <simon@pushface.org>]

Simon Wright <simon@pushface.org> writes:

> (2) There has to be an RTS or gprbuild won't see the compiler. I don't
> know how this is determined.
>
> I started out copying the Linux distro's rts-zfp RTS to
> lib/gcc/arm-eabi/4.7.4/, but that didn't work, so I made symlinks from
> lib/gcc/arm-eabi/4.7.4/rts-zfp/adalib,adainclude to the level
> above. OK!
>
> I see that the Linux distro has the Ravenscar RTS in
> lib/gnat/arm-eabi/ravenscar-sfp-stm32f4, perhaps that's the clue.

There has to be some sort of RTS installed that gnatls can recognise.

I removed the symlinks, then the output of
  gprconfig -v -v --target-arm-eabi
includes

  GNAT is candidate: filename=arm-eabi-gnatmake
    target: executing "arm-eabi-gcc -dumpmachine" output="arm-eabi"
    target: grep matched="arm-eabi"
    version: executing "arm-eabi-gnatls -v" output="fatal error, run-time library not installed correctly
cannot locate file system.ads

raised TYPES.UNRECOVERABLE_ERROR : targparm.adb:184"
    version: grep no match
    Ignore compiler, since couldn't guess its version

Hmm. I can't work out what paths gnatls uses when looking for system.ads
(deep in the depths of namet.adb???), but

$ arm-eabi-gnatls -v --RTS=zfp

GNATLS GPL 2014 (20140331)
Copyright (C) 1997-2014, Free Software Foundation, Inc.

Source Search Path:
   <Current_Directory>
   /Users/simon/local-arm/lib/gcc/arm-eabi/4.7.4/rts-zfp/adainclude

shows part of the setup.

I'm going to revert to the symlinks.