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!border2.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: Re: GNAT ARM on Mac OS X?
Date: Sat, 08 Nov 2014 16:12:56 +0000
Organization: A noiseless patient Spider
Message-ID: <ly1tpdisc7.fsf@pushface.org>
References: <1013422b-4823-4e5d-b8b6-46bf2d63a7fb@googlegroups.com>
 <lybnolhhrp.fsf@pushface.org>
 <545a71ed$0$56557$c3e8da3$38634283@news.astraweb.com>
 <ly8ujliw6q.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="ff529209d97605a4e00265a5af81ac3e";
 logging-data="27804"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX18JbFxNba36/dvb6SNoqh65toy0IYvH83k="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:2NVFYUgMH1m++S+QtLkufCADIfo=
 sha1:nxbTo2cJXv7i/s6FoRrUmqignjQ=
Xref: number.nntp.giganews.com comp.lang.ada:190388
Date: 2014-11-08T16:12:56+00:00
List-Id: <comp.lang.ada>

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.