Skip to content

Commit

Permalink
Rebase tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
mosteo committed Nov 16, 2023
1 parent cf77d1b commit 100fc0b
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 4 deletions.
12 changes: 9 additions & 3 deletions src/alire/alire-solutions-diffs.adb
Original file line number Diff line number Diff line change
Expand Up @@ -404,15 +404,19 @@ package body Alire.Solutions.Diffs is
Trace.Log (Prefix, Level);
Trace.Log
(Prefix & Icon (Missing)
& " The solution requires the (potentially large) ");
& " The solution requires the download of");
Trace.Log
(Prefix
& " download of a toolchain not currently installed.");
& " a toolchain not currently installed.");
return;
end if;
end loop;
end Warn_Toolchain_Download;

--------------------------------------
-- Warn_Unsatisfiable_GNAT_External --
--------------------------------------

procedure Warn_Unsatisfiable_GNAT_External is
begin
for Dep of This.Latter.All_Dependencies loop
Expand Down Expand Up @@ -492,8 +496,10 @@ package body Alire.Solutions.Diffs is
if Changed then
Table.Print (Level);

Warn_Unsatisfiable_GNAT_External;
Warn_Toolchain_Download;
Warn_Unsatisfiable_GNAT_External;
-- Only one of those two can happen and emit their warning, so the
-- order doesn't matter.
else
Trace.Log (Prefix & "No changes between former and new solution.",
Level);
Expand Down
2 changes: 1 addition & 1 deletion testsuite/tests/solver/compiler-installed/test.py
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@
# results in a complete solution but with installation warning
alr_with("gnat", delete=True, manual=False)
p = run_alr("with", f"gnat/={version}", quiet=False)
assert_match(".*download of a toolchain not currently installed", p.out)
assert_match(".*solution requires the download", p.out)
match_solution(f"gnat=8888.0.0 (gnat_native) (origin: binary_archive)",
escape=True)

Expand Down

0 comments on commit 100fc0b

Please sign in to comment.