Skip to content

Commit 698db44

Browse files
committed
Avoid raising a 'Fatal_Error' when no gprbuild is accessible
1 parent 7b11447 commit 698db44

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

lkql_checker/src/gnatcheck-compiler.adb

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,10 @@ package body Gnatcheck.Compiler is
110110
if GPRConfig_Exec = null then
111111
GPRConfig_Exec := Locate_Exec_On_Path ("codepeer-gprconfig");
112112

113-
-- If the result is still null, raise a fatal error. We cannot
114-
-- continue the analysis execution.
113+
-- If the result is still null, return the empty list, meaning
114+
-- that no target is available.
115115
if GPRConfig_Exec = null then
116-
Error ("cannot locate gprconfig executable");
117-
raise Fatal_Error;
116+
return Res;
118117
end if;
119118
end if;
120119
end if;

0 commit comments

Comments
 (0)