comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: gprbuild fun
Date: Mon, 29 Jun 2015 12:10:25 +0100
Date: 2015-06-29T12:10:25+01:00	[thread overview]
Message-ID: <lytwtqahy6.fsf@pushface.org> (raw)
In-Reply-To: mmr4rk$g12$1@dont-email.me

Brian Drummond <brian@shapes.demon.co.uk> writes:

> On Sun, 28 Jun 2015 18:28:13 +0100, Simon Wright wrote:
>
>> I have a mixed-language GPR like
>> 
>>    project build is
>>       for languages use ("ada", "c");
>>       for source_files use ("a.adb", "c.c");
>>       package ide is
>>          for compiler_command ("ada") use "gnatmake";
>>       end ide;
>>    end build;
>
>> and, if I have the native gcc and arm-eabi-gcc present in the PATH,
>> gprbuild chooses to use the native gcc for the Ada part and arm-eabi-gcc
>> for the C part!
>> 
>> Fix: delete the compiler_command line.
>
> Presumably, ... editing it to arm-eabi-gnatmake would also work?

But I wanted the native version! --target=x86_64-apple-darwin13. Which
I've never had to say before.

As you suggest, for compiler_command ("ada") use "arm-eabi-gnatmake"
works, in the sense of selecting a consistent set of tools.

But the thing is, if you specify compiler_command, gprconfig is invoked
with e.g.

   gprconfig --batch -o /Users/simon/tmp/gprbuild-problem/auto.cgpr
   --target=all --config=c,, --config=ada,,,,gnatmake

but if you don't it's invoked with

   gprconfig --batch -o /Users/simon/tmp/gprbuild-problem/auto.cgpr
   --target=x86_64-darwin --config=c,, --config=ada,,

So where did it get --target=all from?! (and come to that where did
x86_64-darwin come from? x86_64-apple-darwin I would have understood)


      parent reply	other threads:[~2015-06-29 11:10 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-28 17:28 gprbuild fun Simon Wright
2015-06-28 18:09 ` Dmitry A. Kazakov
2015-06-28 19:22   ` David Botton
2015-06-28 21:37     ` vincent.diemunsch
2015-06-28 23:02       ` David Botton
2015-06-29  8:24         ` vincent.diemunsch
2015-06-29  8:36           ` Simon Wright
2015-06-29  8:57             ` Vincent
2015-06-29  8:29         ` Simon Wright
2015-06-28 20:08   ` Simon Wright
2015-06-29  9:58 ` Brian Drummond
2015-06-29 10:11   ` Mark Lorenzen
2015-06-29 11:17     ` Simon Wright
2015-06-29 11:10   ` Simon Wright [this message]
replies disabled

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