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)
prev 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