Yes, AdaCore has been doing some very nice followups to the development
of Ada in their blog [5]. But the people that go there, are already
aware of Ada.
On Monday, October 11, 2021 at 8:41:22 PM UTC+2, Fernando Oleo Blanco wrote:
Yes, AdaCore has been doing some very nice followups to the development
of Ada in their blog [5]. But the people that go there, are already
aware of Ada.
Most, if not all, of what is in this blog post [1] is applicable to GNAT/GCC 11.
[1] https://blog.adacore.com/ada-202x-support-in-gnat
gcc-wwwdocs repository at gcc.gnu.org/git
Maybe someone
I decided to try an example. I must confess that I don't know where
the cutoff point for GCC 11 was and what it changes actually did
(the commit log messages aren't that clear if you don't actually
follow the development of GCC/GNAT/Ada in detail).
But here is the idea what the patches could looks like. (And yes,
I know that comp.lang.ada is totally incorrect place for the diff.)
- General improvements in the library, SPARK and with the GCC
ecosystem. I think Ada has somewhat acceptable support for OpenMP,
which was improved in the past few years, for example. It has also
been increasing SPARK support in the libraries.
So, if you have any recommendation, or would like to help, then you are
more than welcomed!
But Adalog's comments are one thing, sorted and relevant informationsI think you meant Adacore's...
for developers are another.
The discussion thread on the GCC ML has been started. You can find it
here: https://gcc.gnu.org/pipermail/gcc/2021-October/237600.html
Do not hesitate to add any comments!
Regards,
GCC 11
- Introduction of the -gnat2022 flag in gnatmake.
Fernando Oleo Blanco <irvise_ml@irvise.xyz> writes:
GCC 11
- Introduction of the -gnat2022 flag in gnatmake.
Actually -gnat2020. Still like that in a May revision of GCC 12.
Supports 128-bit integers & unsigneds. Not sure if this is on all
platforms.
On 20.10.21 23:19, Simon Wright wrote:
Fernando Oleo Blanco <irvise_ml@irvise.xyz> writes:
GCC 11Actually -gnat2020. Still like that in a May revision of GCC 12.
- Introduction of the -gnat2022 flag in gnatmake.
Supports 128-bit integers & unsigneds. Not sure if this is on all
platforms.
In GNAT CE 2021 there is -gnat2022... Maybe they still need to
upstream those changes. I tried it with GCC 11.2.0. You are right, it
is -gnat2020.
However, it is not documented! I ran gnatmake alone to see what flags
it outputs and -gnat2020 is not listed... Maybe this is a bug. It
should definitely be fixed if the changelog is going to have it listed
as an option.
- gnatfind and gnatxref tools have been deleted. They have been
deprecated for years and have been substituted by gprbuild tools.
Fernando Oleo Blanco <irvise_ml@irvise.xyz> writes:
- gnatfind and gnatxref tools have been deleted. They have been
deprecated for years and have been substituted by gprbuild tools.
What "gprbuild tool" replaces gnatxref?
From recent discussions in an AdaCore ticket, the replacement for
gnatxref is libadalang, either via the LSP Ada Language Server, or a
similar custom wrapper.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 335 |
Nodes: | 16 (2 / 14) |
Uptime: | 147:11:15 |
Calls: | 7,411 |
Calls today: | 1 |
Files: | 12,670 |
Messages: | 5,612,993 |