diff options
Diffstat (limited to 'src/ghdldrv')
| -rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index fda42bcbc..ffb3fb10d 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -310,12 +310,16 @@ package body Ghdlsynth is Libraries.Work_Library_Name := Id; Libraries.Load_Work_Library (True); else - if Files_Map.Find_Language (Arg) /= Language_Vhdl then - Errorout.Report_Msg - (Warnid_Library, Option, No_Source_Coord, - "unexpected extension for vhdl file %i", - (1 => +Name_Table.Get_Identifier (Arg))); - end if; + case Files_Map.Find_Language (Arg) is + when Language_Vhdl + | Language_Psl => + null; + when others => + Errorout.Report_Msg + (Warnid_Library, Option, No_Source_Coord, + "unexpected extension for vhdl file %i", + (1 => +Name_Table.Get_Identifier (Arg))); + end case; Ghdlcomp.Compile_Load_File (Arg); end if; |