comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Building Matreshka on Windows
Date: Thu, 03 Nov 2016 17:50:46 +0000
Date: 2016-11-03T17:50:46+00:00	[thread overview]
Message-ID: <lyeg2s8nbd.fsf@pushface.org> (raw)
In-Reply-To: nvfni5$1agt$1@gioia.aioe.org

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On 03/11/2016 16:32, Olivier Henley wrote:
>> On Thursday, November 3, 2016 at 4:18:07 AM UTC-4, Dmitry A. Kazakov wrote:
>>> BTW, gprbuild can C. Granted, gprbuild is a big step back from gnatmake,
>>> but still miles ahead of make.
>>
>> Why do say gprbuild is a big step back from gnatmake? I don't have
>> enough knowledge of both to evaluate your saying.
>
> Because in my opinion it is built upon an inferior technology. It uses
> XML, it is not self-contained (has a mess of semi-hidden supplementary
> files spread all around the system). It is very easy and common to
> have gprbuild not working where gnatmake never had any problem. The
> biggest danger is turning it into yet another "configure" / CMake.

Unless you go out of your way, the configuration files are all under
$prefix/share/gprconfig/

When things work, all is fine. When they don't, it can be tricky; the
way the configuration files specify commands to run and grepping the
output for particular patterns is challenging:

On the Mac, GCC 5 and 6 generate shared libraries with names like
libgnat-6.dylib; GCC 4, names like libgnat-4.8.dylib. gnatls reports
itself as e.g. GNATLS 6.1.0. The original share/gprconfig/compilers.xml
file looked for the first 2 fields of the version; libgnat-6.1.dylib
wasn't found. The fix was (cut back not to bore you)

     <version>
       <external>${PREFIX}gnatls -v --version</external>
-      <grep regexp="^GNATLS.+?(\d+(\.\d+)?)" group="1"></grep>
+      <grep regexp="^GNATLS.+?(\d+)" group="1"></grep>
     </version>

I'm very pleased that, since GPRBUILD 2016, I can use e.g.

   for Target use "arm-eabi";
   for Runtime ("ada") use "ravenscar-sfp-stm32f4";

in the GPR instead of having to specify on the command line.

  reply	other threads:[~2016-11-03 17:50 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-11-02 21:29 Building Matreshka on Windows Shark8
2016-11-03  8:18 ` Dmitry A. Kazakov
2016-11-03 15:32   ` Olivier Henley
2016-11-03 16:10     ` Dmitry A. Kazakov
2016-11-03 17:50       ` Simon Wright [this message]
2016-11-03 18:42         ` G.B.
2016-11-04  8:55           ` Simon Wright
2016-11-04  9:19             ` G.B.
2016-11-03 18:02       ` Olivier Henley
2016-11-03 20:18         ` Dmitry A. Kazakov
2016-11-03 22:39           ` gautier_niouzes
2016-11-04  8:28             ` Dmitry A. Kazakov
2016-11-04  8:57           ` G.B.
2016-11-04  9:29             ` Dmitry A. Kazakov
2016-11-04 13:28               ` Simon Wright
2016-11-04 16:08                 ` Dmitry A. Kazakov
2016-11-04 18:14                   ` Simon Wright
2016-11-04 16:37                 ` Jeffrey R. Carter
2016-11-04 18:19                   ` Simon Wright
2016-11-07  8:39                   ` Jacob Sparre Andersen
2016-11-07  8:50                     ` Simon Wright
2016-11-07  9:03                       ` Jacob Sparre Andersen
2016-11-29 15:22 ` Maxim Reznik
2016-11-29 23:49   ` Shark8
2016-11-30 11:45     ` Maxim Reznik
replies disabled

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