Skip to content

Commit 21cd9e1

Browse files
committed
Adapt GNATcheck to the new GPR2 external names
1 parent 5f94f13 commit 21cd9e1

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

lkql_checker/src/gnatcheck-projects.adb

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -380,8 +380,8 @@ package body Gnatcheck.Projects is
380380
for C in Agg_Context.Iterate loop
381381
Project_Options.Add_Switch
382382
(GPR2.Options.X,
383-
String (Name_Value_Map_Package.Key (C)) & "=" &
384-
Name_Value_Map_Package.Element (C));
383+
String (External_Name_Value_Map_Package.Key (C)) & "=" &
384+
External_Name_Value_Map_Package.Element (C));
385385
end loop;
386386

387387
if not My_Project.Tree.Load (Project_Options,
@@ -678,7 +678,9 @@ package body Gnatcheck.Projects is
678678
-- Set GPR_TOOL, if needed
679679

680680
for Cursor in Project_Options.Context.Iterate loop
681-
if Containers.Name_Value_Map_Package.Key (Cursor) = "GPR_TOOL" then
681+
if
682+
Containers.External_Name_Value_Map_Package.Key (Cursor) = "GPR_TOOL"
683+
then
682684
GPR_TOOL_Set := True;
683685
exit;
684686
end if;

0 commit comments

Comments
 (0)