Why is gprbuild on github labelled 25.0.0?

Lucretia · February 15, 2025, 10:09pm

When it’s internal version is GPRBUILD Pro 18.0w (19940713) (x86_64-pc-linux-gnu)??

That cuda stuff requires a later version which isn’t available:

gprbuild 23.0 or later is required, only 18.0w was found

Irvise · February 15, 2025, 10:16pm

When you build GPRbuild yourself, I have noticed that it self-reports as v18. There may be a flag that needs to be passed during build time that should set the correct version.

Anyhow, what I personally do, is to download the prebuilt GPRbuild package from the Alire repo Releases · alire-project/GNAT-FSF-builds · GitHub. It is currently in v24.

Best regards,
Fer

Lucretia · February 15, 2025, 10:34pm

Well, this is the Gentoo package, so would need to be set in the ebuild, if there is one.

Should this show v25 or v18??

Irvise · February 15, 2025, 10:37pm

If you are building the latest version, it should show v25.

Lucretia · February 15, 2025, 10:45pm

If you search on github in the 25.0 branch, for “version,” you get the gpr file and it says w18.

github.com/AdaCore/gprbuild

gpr/src/gpr-version.ads

3db10ae06

------------------------------------------------------------------------------
--                                                                          --
--                           GPR PROJECT MANAGER                            --
--                                                                          --
--          Copyright (C) 2001-2019, Free Software Foundation, Inc.         --
--                                                                          --
-- This library is free software;  you can redistribute it and/or modify it --
-- under terms of the  GNU General Public License  as published by the Free --
-- Software  Foundation;  either version 3,  or (at your  option) any later --
-- version. This library is distributed in the hope that it will be useful, --
-- but WITHOUT ANY WARRANTY;  without even the implied warranty of MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE.                            --
--                                                                          --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception,   --
-- version 3.1, as published by the Free Software Foundation.               --
--                                                                          --
-- You should have received a copy of the GNU General Public License and    --
-- a copy of the GCC Runtime Library Exception along with this program;     --
-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --

This file has been truncated. show original

simonjwright · February 16, 2025, 8:39am

See info in gpr-version.ads:

--  This package spec holds version information for the GPR tools.
--
--  It is patched on the fly during builds to match the current version, date
--  and build type. Consider it as a compilable template rather than real
--  source.

There’s a similar issue with libadalang-tools (gnatpp etc).

So the problem is that the version info isn’t updated in the GNAT-FSF-builds scripts.

Lucretia · February 16, 2025, 10:46am

Well, that could be the issue, only adacore can advise whether it’s that or if the source is well out of date. As I said, it could be either. But you cannot build the cuda stuff without up to date gprbuild.

Lucretia · February 16, 2025, 12:54pm

Well, that’s stupid.

I’ve filed a bug for Gentoo to fix.

Anyone know what the dates should be set to for the following versions?

[I] dev-ada/gprbuild
     Available versions:  24.0.0-r2 (~)25.0.0-r2 {doc ADA_TARGET="gcc_12 gcc_13 gcc_14 gcc_15 gnat_2021"}

Lucretia · February 16, 2025, 1:02pm

With my patch:

 gprbuild --version
GPRBUILD 25.0 (19940713) (x86_64-pc-linux-gnu)
Copyright (C) 2004-2016, AdaCore
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

simonjwright · February 16, 2025, 3:58pm

I’ve never been much bothered about the (19940713) part, though looking at the related git commit should help … actually, the release page, says Oct 24, 2024.

mgrojo · February 16, 2025, 4:05pm

The same happens in Debian/Ubuntu:

$ dpkg --search /usr/bin/gprbuild
gprbuild: /usr/bin/gprbuild
$ /usr/bin/gprbuild --version
GPRBUILD Pro 18.0w (19940713) (x86_64-pc-linux-gnu)
Copyright (C) 2004-2016, AdaCore
This is free software; see the source for copying conditions.
See your AdaCore support agreement for details of warranty and support.
If you do not have a current support agreement, then there is absolutely
no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.

$ dpkg -s gprbuild
Package: gprbuild
Status: install ok installed
Priority: optional
Section: devel
Installed-Size: 4144
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2021.0.0.0778b109-5
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgnat-10 (>= 10.2.1), libgnatprj8 (>= 2021.0.0.0778b109), libxmlada-dom7 (>= 21.0.0), libxmlada-input7 (>= 21.0.0), libxmlada-sax7 (>= 21.0.0), libxmlada-schema7 (>= 21.0.0), libxmlada-unicode7 (>= 21.0.0), gprconfig-kb
Suggests: gnat (>= 5), g++, gcc, gfortran, gprbuild-doc
Description: multi-language extensible build tool
 A set of tools for processing GNAT project files:
 gprconfig detects available compilers,
 gprbuild runs them;
 gprslave helps distributing the build work across the network;
 gprinstall copies the objects to their final destination;
 gprclean removes them.
 The default configuration supports Ada, Assembler, C, C++, Fortran,
 and can be extended to support user source processing tools.
Original-Maintainer: Nicolas Boulenguez <nicolas@debian.org>
Homepage: https://github.com/AdaCore/gprbuild

mgrojo · February 16, 2025, 4:08pm

And a similar problem is present in gnatprove from Alire:

$ gnatprove --version
0.0w
Why3 for gnatprove version 1.6.0+git
/home/mgr/.alire/libexec/spark/bin/alt-ergo: Alt-Ergo version 2.4.0
/home/mgr/.alire/libexec/spark/bin/cvc5: This is cvc5 version 1.1.2 [git tag 1.1.2 branch HEAD]
compiled with GCC version 9.4.0
on Mar  1 2024 17:23:16
[...]

$ which gnatprove
/home/mgr/.alire/bin/gnatprove

$ alr show gnatprove
[...]
   Name: gnatprove
   Version: 14.1.1