Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Linux is obsolete -- Andrew Tanenbaum

devel / comp.lang.ada / Big differences between gnatmake and gprbuild

SubjectAuthor
* Big differences between gnatmake and gprbuildDoug Telford
`* Re: Big differences between gnatmake and gprbuildGautier write-only address
 +- Re: Big differences between gnatmake and gprbuildDoug Telford
 `* Re: Big differences between gnatmake and gprbuildDoug Telford
  `- Re: Big differences between gnatmake and gprbuildSimon Wright

1
Big differences between gnatmake and gprbuild

<9536f60f-acf6-4db6-8998-e938ae2a5947n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6435&group=comp.lang.ada#6435

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:1088:: with SMTP id a8mr13327890qtj.653.1640569185651;
Sun, 26 Dec 2021 17:39:45 -0800 (PST)
X-Received: by 2002:a25:73c3:: with SMTP id o186mr12085951ybc.216.1640569185099;
Sun, 26 Dec 2021 17:39:45 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 26 Dec 2021 17:39:44 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=198.252.153.109; posting-account=LBKZMwoAAACyb23WkR7bXyzn4HM81md_
NNTP-Posting-Host: 198.252.153.109
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9536f60f-acf6-4db6-8998-e938ae2a5947n@googlegroups.com>
Subject: Big differences between gnatmake and gprbuild
From: doug719...@gmail.com (Doug Telford)
Injection-Date: Mon, 27 Dec 2021 01:39:45 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 0
 by: Doug Telford - Mon, 27 Dec 2021 01:39 UTC

I am using gnatmake 9.3.0 and gprbuild community edition 2021. The Ada executable from gnatmake is about 50% smaller than that of gprbuild and runs much slower than the gprbuild version. Is gnatmake deprecated, obsolete, or not maintained?

Re: Big differences between gnatmake and gprbuild

<21598422-1ecc-44ad-ba28-c1a7ca4af8bbn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6436&group=comp.lang.ada#6436

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:28d0:: with SMTP id l16mr7729138qkp.449.1640585967604;
Sun, 26 Dec 2021 22:19:27 -0800 (PST)
X-Received: by 2002:a25:ed0f:: with SMTP id k15mr19531526ybh.148.1640585967470;
Sun, 26 Dec 2021 22:19:27 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!2.us.feeder.erje.net!feeder.erje.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 26 Dec 2021 22:19:27 -0800 (PST)
In-Reply-To: <9536f60f-acf6-4db6-8998-e938ae2a5947n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4596:5040:d4b3:6ffe:2453:c5cf;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4596:5040:d4b3:6ffe:2453:c5cf
References: <9536f60f-acf6-4db6-8998-e938ae2a5947n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <21598422-1ecc-44ad-ba28-c1a7ca4af8bbn@googlegroups.com>
Subject: Re: Big differences between gnatmake and gprbuild
From: gautier_...@hotmail.com (Gautier write-only address)
Injection-Date: Mon, 27 Dec 2021 06:19:27 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 7
 by: Gautier write-only a - Mon, 27 Dec 2021 06:19 UTC

> I am using gnatmake 9.3.0 and gprbuild community edition 2021. The Ada executable from gnatmake is about 50% smaller than that of gprbuild and runs much slower than the gprbuild version. Is gnatmake deprecated, obsolete, or not maintained?

It looks like the compiler, linker & binder options that, in your case, gnatmake sends to GNAT, are different than those gprbuild sends, especially optimization options.
What are the command line options to gnatmake you are using ? And to gprbuild ?
_________________________
Gautier's Ada programming
http://gautiersblog.blogspot.com/search/label/Ada
NB: follow the above link for a valid e-mail address

Re: Big differences between gnatmake and gprbuild

<2835c96d-f3f0-4aa1-a9c9-6b222b4b0e9fn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6442&group=comp.lang.ada#6442

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:21aa:: with SMTP id t10mr15155849qvc.50.1640618080116;
Mon, 27 Dec 2021 07:14:40 -0800 (PST)
X-Received: by 2002:a25:ed0f:: with SMTP id k15mr21477160ybh.148.1640618079936;
Mon, 27 Dec 2021 07:14:39 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 27 Dec 2021 07:14:39 -0800 (PST)
In-Reply-To: <21598422-1ecc-44ad-ba28-c1a7ca4af8bbn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=198.252.153.109; posting-account=LBKZMwoAAACyb23WkR7bXyzn4HM81md_
NNTP-Posting-Host: 198.252.153.109
References: <9536f60f-acf6-4db6-8998-e938ae2a5947n@googlegroups.com> <21598422-1ecc-44ad-ba28-c1a7ca4af8bbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2835c96d-f3f0-4aa1-a9c9-6b222b4b0e9fn@googlegroups.com>
Subject: Re: Big differences between gnatmake and gprbuild
From: doug719...@gmail.com (Doug Telford)
Injection-Date: Mon, 27 Dec 2021 15:14:40 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 7
 by: Doug Telford - Mon, 27 Dec 2021 15:14 UTC

On Sunday, December 26, 2021 at 11:19:28 PM UTC-7, gautier...@hotmail.com wrote:
> > I am using gnatmake 9.3.0 and gprbuild community edition 2021. The Ada executable from gnatmake is about 50% smaller than that of gprbuild and runs much slower than the gprbuild version. Is gnatmake deprecated, obsolete, or not maintained?
> It looks like the compiler, linker & binder options that, in your case, gnatmake sends to GNAT, are different than those gprbuild sends, especially optimization options.
> What are the command line options to gnatmake you are using ? And to gprbuild ?
> _________________________
> Gautier's Ada programming
> http://gautiersblog.blogspot.com/search/label/Ada
> NB: follow the above link for a valid e-mail address

Re: Big differences between gnatmake and gprbuild

<844f2fbf-b38b-493d-b4cd-1564e740c4e0n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6443&group=comp.lang.ada#6443

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ad4:5b82:: with SMTP id 2mr15649199qvp.93.1640620297808;
Mon, 27 Dec 2021 07:51:37 -0800 (PST)
X-Received: by 2002:a25:c401:: with SMTP id u1mr16857825ybf.498.1640620297302;
Mon, 27 Dec 2021 07:51:37 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 27 Dec 2021 07:51:37 -0800 (PST)
In-Reply-To: <21598422-1ecc-44ad-ba28-c1a7ca4af8bbn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=198.252.153.109; posting-account=LBKZMwoAAACyb23WkR7bXyzn4HM81md_
NNTP-Posting-Host: 198.252.153.109
References: <9536f60f-acf6-4db6-8998-e938ae2a5947n@googlegroups.com> <21598422-1ecc-44ad-ba28-c1a7ca4af8bbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <844f2fbf-b38b-493d-b4cd-1564e740c4e0n@googlegroups.com>
Subject: Re: Big differences between gnatmake and gprbuild
From: doug719...@gmail.com (Doug Telford)
Injection-Date: Mon, 27 Dec 2021 15:51:37 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 8
 by: Doug Telford - Mon, 27 Dec 2021 15:51 UTC

On Sunday, December 26, 2021 at 11:19:28 PM UTC-7, gautier...@hotmail.com wrote:
> > I am using gnatmake 9.3.0 and gprbuild community edition 2021. The Ada executable from gnatmake is about 50% smaller than that of gprbuild and runs much slower than the gprbuild version. Is gnatmake deprecated, obsolete, or not maintained?
> It looks like the compiler, linker & binder options that, in your case, gnatmake sends to GNAT, are different than those gprbuild sends, especially optimization options.
> What are the command line options to gnatmake you are using ? And to gprbuild ?
> _________________________
> Gautier's Ada programming
> http://gautiersblog.blogspot.com/search/label/Ada
> NB: follow the above link for a valid e-mail address
I think part of the problem is the version of gnatmake. Version 9.3.0 is vintage 2019. I am not sure how I got this version. When I use the gnat community 2021 version of gnatmake, then everything was ok.

Re: Big differences between gnatmake and gprbuild

<lyy246ugkc.fsf@pushface.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6444&group=comp.lang.ada#6444

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!8nKyDL3nVTTIdBB8axZhRA.user.46.165.242.75.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Big differences between gnatmake and gprbuild
Date: Mon, 27 Dec 2021 17:02:27 +0000
Organization: Aioe.org NNTP Server
Message-ID: <lyy246ugkc.fsf@pushface.org>
References: <9536f60f-acf6-4db6-8998-e938ae2a5947n@googlegroups.com>
<21598422-1ecc-44ad-ba28-c1a7ca4af8bbn@googlegroups.com>
<844f2fbf-b38b-493d-b4cd-1564e740c4e0n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="30439"; posting-host="8nKyDL3nVTTIdBB8axZhRA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:vKOsc4xRxtWAoMVo2f2vXWspT7s=
 by: Simon Wright - Mon, 27 Dec 2021 17:02 UTC

Doug Telford <doug719125@gmail.com> writes:

> I think part of the problem is the version of gnatmake. Version 9.3.0
> is vintage 2019. I am not sure how I got this version. When I use
> the gnat community 2021 version of gnatmake, then everything was ok.

If you give current gnatmake a project file, it will delegate to
gprbuild if it's present.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor