comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: How to use Zero Footprint runtime with GNAT GPL 2017
Date: Fri, 14 Jul 2017 16:41:34 +0100
Date: 2017-07-14T16:41:34+01:00	[thread overview]
Message-ID: <lyd193auvl.fsf@pushface.org> (raw)
In-Reply-To: 4f0cc0ce-2609-4581-9a8c-010a380214af@googlegroups.com

joakimds@kth.se writes:

> Den fredag 14 juli 2017 kl. 10:43:00 UTC+2 skrev Egil H H:
>> On Friday, July 14, 2017 at 10:34:16 AM UTC+2, joak...@kth.se wrote:
>> > However, gprbuild complains "no language defined for project" instead.
>> > 
>> 
>> That's usually a hint about the project missing a
>>    for Languages use ("Ada");
>
> I added that and then gprbuild complained something about "not being
> able to find a corresponding compiler". I've googled for that too, and
> what I could understand is that something is wrong with the
> configuration and one should use gprconfig to fix it. Anyways, it
> didn't seem like the right path.
>
> The version of GNAT GPL 2017 I am using the 64-bit Darwin version for
> Mac OS X. Maybe the ZFP runtime is only supplied with the ARM ELF
> cross-compiler? I'm at work now and can't investigate that until I
> come home tonight...

The ZFP native runtime is only provided in the Linux and Windows
versions of GNAT GPL 2017. Darwin has an ios-simulator RTS instead :-)

You could always report the lack of zfp as a problem to AdaCore!

It doesn't look as if it would be too difficult to make a ZFP for
Darwin.


  reply	other threads:[~2017-07-14 15:41 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-07-14  8:34 How to use Zero Footprint runtime with GNAT GPL 2017 joakimds
2017-07-14  8:42 ` Egil H H
2017-07-14  8:58   ` joakimds
2017-07-14 15:41     ` Simon Wright [this message]
2017-07-14 21:35       ` ake.ragnar.dahlgren
2017-07-17  7:13         ` Mark Lorenzen
2017-07-17  7:27           ` Simon Wright
2017-07-17 20:52             ` Luke A. Guest
2017-07-26 21:29               ` joakimds
2017-07-26 21:31             ` joakimds
2017-07-26 21:28           ` joakimds
2017-07-14  9:56 ` Mark Lorenzen
2017-07-15 13:16 ` Mr. Man-wai Chang
2017-07-15 16:29   ` Lucretia
2017-07-16 13:39     ` Jacob Sparre Andersen
2017-07-16 15:00       ` Lucretia
2017-07-16 14:17     ` Mr. Man-wai Chang
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox