gprbuild 21.0.0 builds, however it reports "GPRBUILD Pro 18.0w (19940713)".
According to https://github.com/AdaCore/gprbuild/blob/v21.0.0/gpr/src/gpr-version.ads#L27, gpr/src/gpr-version.ads
is supposed to be patched during the build.
The patching tool does not seem to be in the repo: https://github.com/AdaCore/gprbuild/issues/53
Pinned Comments
charlie5 commented on 2023-09-16 01:56 (UTC)
hi @wvxvw
Apologies for these problems.
Can you please try the following ...
I've also redirected the doc build output to a log file.
Also, the Ada packages are now available in an unofficial Arch repository.
Thanks for reporting.
Regards.
charlie5 commented on 2023-07-09 16:43 (UTC) (edited on 2023-09-16 01:56 (UTC) by charlie5)
This package is available in the Arch Ada Repository.