From c67efb9193ffe59532788c4296e4d2d63bcf538e Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Wed, 14 Feb 2024 10:44:55 +0100 Subject: [PATCH 1/5] Explicitly check all GCC versions we want --- .github/workflows/ci-toolchain.yml | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci-toolchain.yml b/.github/workflows/ci-toolchain.yml index 7e415c480..0f4cecc6d 100644 --- a/.github/workflows/ci-toolchain.yml +++ b/.github/workflows/ci-toolchain.yml @@ -14,7 +14,7 @@ jobs: build: - name: ${{ matrix.os }} + name: ${{ matrix.os }} gcc^${{ matrix.gcc_version }} runs-on: ${{ matrix.os }} @@ -25,6 +25,11 @@ jobs: - macos-latest - ubuntu-latest - windows-latest + gcc_version: + - 10 + - 11 + - 12 + - 13 steps: - name: Check out @@ -37,7 +42,7 @@ jobs: - name: Install FSF toolchain uses: alire-project/alr-install@v1 with: - crates: gnat_native gprbuild + crates: gnat_native^${{matrix.gcc_version}} gprbuild - name: Build alr with default toolchain shell: bash From f1f7cb80eae80cfa43bba66e06de1428a08c9a36 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Wed, 14 Feb 2024 11:11:26 +0100 Subject: [PATCH 2/5] Remove unneeded `aliased` --- src/alire/alire-roots-optional.adb | 2 +- src/alire/alire-roots-optional.ads | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/alire/alire-roots-optional.adb b/src/alire/alire-roots-optional.adb index bc0224eeb..99c20905c 100644 --- a/src/alire/alire-roots-optional.adb +++ b/src/alire/alire-roots-optional.adb @@ -125,7 +125,7 @@ package body Alire.Roots.Optional is -- Value -- ----------- - function Value (This : aliased Root) return Reference + function Value (This : Root) return Reference is begin This.Assert; diff --git a/src/alire/alire-roots-optional.ads b/src/alire/alire-roots-optional.ads index 59b5294ac..3c65dd90b 100644 --- a/src/alire/alire-roots-optional.ads +++ b/src/alire/alire-roots-optional.ads @@ -39,7 +39,7 @@ package Alire.Roots.Optional is function Outside (This : Root) return Boolean; -- True when there is no root at all, broken or valid - function Value (This : aliased Root) return Reference with + function Value (This : Root) return Reference with Pre => This.Is_Valid; function Brokenness (This : Root) return String with From 359d47530c07299650579993881223c52c9b863b Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Wed, 14 Feb 2024 11:51:45 +0100 Subject: [PATCH 3/5] Try to use safer reference --- deps/diskflags | 2 +- src/alire/alire-dependencies-states.adb | 2 +- src/alire/alire-publish.adb | 12 ++++++------ src/alire/alire-publish.ads | 8 ++++---- src/alire/alire-root.adb | 7 ++++++- src/alire/alire-roots-editable.adb | 2 +- src/alire/alire-roots-optional.adb | 7 ++++--- src/alire/alire-roots-optional.ads | 4 ++-- src/alire/alire-roots.adb | 10 +++++++--- src/alire/alire-user_pins.adb | 2 +- src/alr/alr-commands-init.adb | 2 +- src/alr/alr-commands-version.adb | 2 +- src/alr/alr-commands.adb | 6 +++++- 13 files changed, 40 insertions(+), 26 deletions(-) diff --git a/deps/diskflags b/deps/diskflags index edce81e05..60729edf3 160000 --- a/deps/diskflags +++ b/deps/diskflags @@ -1 +1 @@ -Subproject commit edce81e0530835abb91d46438dff617ac16d38d2 +Subproject commit 60729edf31816aca0036b13b2794c39a9bd0172e diff --git a/src/alire/alire-dependencies-states.adb b/src/alire/alire-dependencies-states.adb index 47e923a3c..159f429a7 100644 --- a/src/alire/alire-dependencies-states.adb +++ b/src/alire/alire-dependencies-states.adb @@ -47,7 +47,7 @@ package body Alire.Dependencies.States is Workspace : Any_Path) return Stored_Release is - Opt_Root : constant Roots.Optional.Root := + Opt_Root : Roots.Optional.Root := Roots.Optional.Detect_Root (Workspace); begin if Opt_Root.Is_Valid then diff --git a/src/alire/alire-publish.adb b/src/alire/alire-publish.adb index 9aa86ca29..0c6aadf60 100644 --- a/src/alire/alire-publish.adb +++ b/src/alire/alire-publish.adb @@ -115,7 +115,7 @@ package body Alire.Publish is return +This.Path; else declare - Root : constant Roots.Optional.Root := Alire.Root.Current; + Root : Roots.Optional.Root := Alire.Root.Current; begin Check_Root_Status (+This.Path, Root, This.Options); return Root.Value.Path; @@ -155,7 +155,7 @@ package body Alire.Publish is -- Generated_Filename -- ------------------------ - function Generated_Filename (This : Data) return String + function Generated_Filename (This : in out Data) return String is (TOML_Index.Manifest_File (This.Root.Value.Name, This.Root.Value.Release.Version)); @@ -164,7 +164,7 @@ package body Alire.Publish is -- Generated_Manifest -- ------------------------ - function Generated_Manifest (This : Data) return Absolute_Path + function Generated_Manifest (This : in out Data) return Absolute_Path is (This.Root.Value.Working_Folder / Paths.Release_Folder_Inside_Working_Folder / This.Generated_Filename); @@ -395,7 +395,7 @@ package body Alire.Publish is -- Will have raised if the release is not loadable or incomplete else declare - Root : constant Roots.Optional.Root := Alire.Root.Current; + Root : Roots.Optional.Root := Alire.Root.Current; begin case Root.Status is when Outside => @@ -495,7 +495,7 @@ package body Alire.Publish is procedure Generate_Index_Manifest (Context : in out Data) is User_Manifest : constant Any_Path := Packaged_Manifest (Context); - Workspace : constant Roots.Optional.Root := Root.Current; + Workspace : Roots.Optional.Root := Root.Current; begin if not GNAT.OS_Lib.Is_Read_Accessible_File (User_Manifest) then Raise_Checked_Error @@ -1039,7 +1039,7 @@ package body Alire.Publish is Revision : String := "HEAD"; Options : All_Options := New_Options) is - Root : constant Roots.Optional.Root := Roots.Optional.Search_Root (Path); + Root : Roots.Optional.Root := Roots.Optional.Search_Root (Path); Git : constant VCSs.Git.VCS := VCSs.Git.Handler; Subdir : Unbounded_Relative_Path; diff --git a/src/alire/alire-publish.ads b/src/alire/alire-publish.ads index b1df314c7..1b256fe9b 100644 --- a/src/alire/alire-publish.ads +++ b/src/alire/alire-publish.ads @@ -97,14 +97,14 @@ private -- Branch_Name -- ----------------- - function Branch_Name (This : Data) return String + function Branch_Name (This : in out Data) return String is (Branch_Name (This.Root.Value.Release.Milestone)); ------------- -- PR_Name -- ------------- - function PR_Name (This : Data) return String + function PR_Name (This : in out Data) return String is (This.Root.Value.Name.As_String & " " & This.Root.Value.Release.Version.Image); @@ -112,12 +112,12 @@ private -- Generated_Filename -- ------------------------ - function Generated_Filename (This : Data) return String; + function Generated_Filename (This : in out Data) return String; ------------------------ -- Generated_Manifest -- ------------------------ - function Generated_Manifest (This : Data) return Absolute_Path; + function Generated_Manifest (This : in out Data) return Absolute_Path; end Alire.Publish; diff --git a/src/alire/alire-root.adb b/src/alire/alire-root.adb index ebedb6930..1ef9bbf61 100644 --- a/src/alire/alire-root.adb +++ b/src/alire/alire-root.adb @@ -14,6 +14,11 @@ package body Alire.Root is ------------- function Current return Roots.Root - is (Roots.Optional.Detect_Root (Directories.Detect_Root_Path).Value); + is + Optional_Root : Roots.Optional.Root := + Roots.Optional.Detect_Root (Directories.Detect_Root_Path); + begin + return Optional_Root.Value; + end Current; end Alire.Root; diff --git a/src/alire/alire-roots-editable.adb b/src/alire/alire-roots-editable.adb index 7ad680067..3c254010a 100644 --- a/src/alire/alire-roots-editable.adb +++ b/src/alire/alire-roots-editable.adb @@ -248,7 +248,7 @@ package body Alire.Roots.Editable is Path : Any_Path) return Crate_Name is - Pin_Root : constant Optional.Root := Optional.Detect_Root (Path); + Pin_Root : Optional.Root := Optional.Detect_Root (Path); ------------------------- -- Pin_Is_Parent_Crate -- diff --git a/src/alire/alire-roots-optional.adb b/src/alire/alire-roots-optional.adb index 99c20905c..0d3134e41 100644 --- a/src/alire/alire-roots-optional.adb +++ b/src/alire/alire-roots-optional.adb @@ -125,13 +125,14 @@ package body Alire.Roots.Optional is -- Value -- ----------- - function Value (This : Root) return Reference + function Value (This : in out Root) return Reference is begin This.Assert; -- The following Unrestricted_Access cannot fail as we just asserted -- the value is stored. - return Reference'(Ptr => This.Data.Value'Unrestricted_Access); + return Ref : constant Reference := + Reference'(Ptr => This.Data.Value'Unrestricted_Access); end Value; --------------------- @@ -166,7 +167,7 @@ package body Alire.Roots.Optional is -- Updatable_Dependency -- -------------------------- - function Updatable_Dependency (This : Root) + function Updatable_Dependency (This : in out Root) return Dependencies.Dependency is (Dependencies.New_Dependency (This.Value.Release.Element.Name, diff --git a/src/alire/alire-roots-optional.ads b/src/alire/alire-roots-optional.ads index 3c65dd90b..ee811233e 100644 --- a/src/alire/alire-roots-optional.ads +++ b/src/alire/alire-roots-optional.ads @@ -39,7 +39,7 @@ package Alire.Roots.Optional is function Outside (This : Root) return Boolean; -- True when there is no root at all, broken or valid - function Value (This : Root) return Reference with + function Value (This : in out Root) return Reference with Pre => This.Is_Valid; function Brokenness (This : Root) return String with @@ -55,7 +55,7 @@ package Alire.Roots.Optional is -- UTILITIES - function Updatable_Dependency (This : Root) + function Updatable_Dependency (This : in out Root) return Dependencies.Dependency with Pre => This.Is_Valid; -- If This.Is_Valid, get the corresponding updatable diff --git a/src/alire/alire-roots.adb b/src/alire/alire-roots.adb index 5cdf01b48..3269d6fe7 100644 --- a/src/alire/alire-roots.adb +++ b/src/alire/alire-roots.adb @@ -997,7 +997,7 @@ package body Alire.Roots is declare use Containers.Crate_Name_Sets; use Semver.Extended; - Target : constant Optional.Root := + Target : Optional.Root := Optional.Detect_Root (Pin.Path); begin @@ -1139,7 +1139,11 @@ package body Alire.Roots is --------------- function Load_Root (Path : Any_Path) return Root - is (Roots.Optional.Detect_Root (Path).Value); + is + Optional_Root : Optional.Root := Optional.Detect_Root (Path); + begin + return Optional_Root.Value; + end Load_Root; ------------------------------ -- Export_Build_Environment -- @@ -1187,7 +1191,7 @@ package body Alire.Roots is -- Try to detect a root in this folder declare - Opt : constant Optional.Root := + Opt : Optional.Root := Optional.Detect_Root (Full_Name (Item)); begin if Opt.Is_Valid then diff --git a/src/alire/alire-user_pins.adb b/src/alire/alire-user_pins.adb index e73b98c6a..966774620 100644 --- a/src/alire/alire-user_pins.adb +++ b/src/alire/alire-user_pins.adb @@ -259,7 +259,7 @@ package body Alire.User_Pins is -- At this point, we have the sources at Destination. Last checks ensue. declare - Root : constant Roots.Optional.Root := + Root : Roots.Optional.Root := Roots.Optional.Detect_Root (Destination); begin diff --git a/src/alr/alr-commands-init.adb b/src/alr/alr-commands-init.adb index da28005aa..f52354374 100644 --- a/src/alr/alr-commands-init.adb +++ b/src/alr/alr-commands-init.adb @@ -322,7 +322,7 @@ package body Alr.Commands.Init is --------------------- procedure Generate_Config is - Root : constant Alire.Roots.Optional.Root := + Root : Alire.Roots.Optional.Root := Alire.Roots.Optional.Detect_Root (+Directory.Full_Name); begin Root.Value.Build_Prepare (Saved_Profiles => False, diff --git a/src/alr/alr-commands-version.adb b/src/alr/alr-commands-version.adb index b40674833..8c4e702f5 100644 --- a/src/alr/alr-commands-version.adb +++ b/src/alr/alr-commands-version.adb @@ -41,7 +41,7 @@ package body Alr.Commands.Version is Indexes : constant Alire.Index_On_Disk.Loading.Set := Alire.Index_On_Disk.Loading.Find_All (Alire.Config.Edit.Indexes_Directory, Index_Outcome); - Root : constant Alire.Roots.Optional.Root := + Root : Alire.Roots.Optional.Root := Alire.Roots.Optional.Search_Root (Alire.Directories.Current); Build_Path : constant String := diff --git a/src/alr/alr-commands.adb b/src/alr/alr-commands.adb index 384b90640..1b5825a80 100644 --- a/src/alr/alr-commands.adb +++ b/src/alr/alr-commands.adb @@ -590,7 +590,11 @@ package body Alr.Commands is Cmd.Requires_Workspace; end if; - return Cmd.Optional_Root.Value; + return R : constant Alire.Roots.Optional.Reference := + (Ptr => Cmd.Optional_Root.Value.Ptr.all'Unchecked_Access); + -- Workaround for bug (?) in GNAT 11 about dangling pointers. It should + -- simply be: + -- return Cmd.Optional_Root.Value; end Root; --------- From 88def3b52bb3fcc5f5dfec64a5bc025d308f30e6 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Thu, 15 Feb 2024 11:16:30 +0100 Subject: [PATCH 4/5] Workaround for GNAT 13 troubles with expr. funcs. --- src/alire/alire-roots-editable.adb | 35 ++++++++++++++++++++++-------- 1 file changed, 26 insertions(+), 9 deletions(-) diff --git a/src/alire/alire-roots-editable.adb b/src/alire/alire-roots-editable.adb index 3c254010a..4902edca1 100644 --- a/src/alire/alire-roots-editable.adb +++ b/src/alire/alire-roots-editable.adb @@ -255,7 +255,10 @@ package body Alire.Roots.Editable is ------------------------- function Pin_Is_Parent_Crate return Boolean - is (Directories.Find_Relative_Path_To (Path) = ".."); + is + begin + return Directories.Find_Relative_Path_To (Path) = ".."; + end Pin_Is_Parent_Crate; begin -- When adding a pin from a folder other than the root, notify about it. @@ -297,14 +300,28 @@ package body Alire.Roots.Editable is -- aesthetic, as pins will always override the version. if not This.Solution.Depends_On (Crate) then - This.Add_Dependency - (Dependencies.New_Dependency - (Crate, - (if Pin_Root.Is_Valid and then not Pin_Is_Parent_Crate - then Pin_Root.Updatable_Dependency.Versions - else Semver.Extended.Any)), - Allow_Unknown => True); - -- Pins to local paths are more likely not to be indexed + declare + -- This temporary is used to work around a bug in GNAT 13 + Dep_Ver : Semver.Extended.Version_Set; + begin + if Pin_Root.Is_Valid and then not Pin_Is_Parent_Crate then + declare + -- This temporary is used to work around a bug in GNAT 13 + Updatable_Dep : constant Dependencies.Dependency + := Pin_Root.Updatable_Dependency; + begin + Dep_Ver := Updatable_Dep.Versions; + end; + else + Dep_Ver := Semver.Extended.Any; + end if; + + This.Add_Dependency + (Dependencies.New_Dependency (Crate, Dep_Ver), + Allow_Unknown => True); + -- Pins to local paths are more likely not to be indexed, so we + -- allow unknown dependencies here. + end; end if; -- Remove any previous pin for this crate From 388f77043b40a193cd422b11e6fe035b40c2c8e9 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Thu, 15 Feb 2024 12:09:00 +0100 Subject: [PATCH 5/5] Fix test index to use deterministic external gnat version --- .../gn/gnat_external/gnat_external-external.toml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/testsuite/fixtures/build_hash_index/gn/gnat_external/gnat_external-external.toml b/testsuite/fixtures/build_hash_index/gn/gnat_external/gnat_external-external.toml index f1171a6ba..6a899f8d1 100644 --- a/testsuite/fixtures/build_hash_index/gn/gnat_external/gnat_external-external.toml +++ b/testsuite/fixtures/build_hash_index/gn/gnat_external/gnat_external-external.toml @@ -6,7 +6,6 @@ maintainers-logins = ["mosteo"] [[external]] kind = "version-output" -# We look for make instead that should be always installed. -version-command = ["make", "--version"] -version-regexp = ".*Make ([\\d\\.]+).*" +version-command = ["echo", "1.0"] +version-regexp = "([\\d\\.]+).*" provides = "gnat"