diff options
Diffstat (limited to 'src/libraries.adb')
| -rw-r--r-- | src/libraries.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index 3c10dad97..3a1ba7e1c 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -758,7 +758,9 @@ package body Libraries is end Get_Library_No_Create; -- Get or create a library from an identifier. - function Get_Library (Ident: Name_Id; Loc : Location_Type) + function Get_Library (Ident: Name_Id; + Loc : Location_Type; + Force : Boolean := False) return Iir_Library_Declaration is Library: Iir_Library_Declaration; @@ -777,7 +779,9 @@ package body Libraries is Set_Library_Directory (Library, Null_Identifier); Set_Identifier (Library, Ident); if Load_Library (Library) = False then - Error_Msg_Sem (+Loc, "cannot find resource library %i", +Ident); + if not Force then + Error_Msg_Sem (+Loc, "cannot find resource library %i", +Ident); + end if; end if; Set_Visible_Flag (Library, True); |