From f23949f3eda545ff0c3ca1c49037b9a83700b099 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 26 Mar 2021 18:41:58 +0100 Subject: ghdlsynth.adb: also allow .psl files without any warning --- src/ghdldrv/ghdlsynth.adb | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) (limited to 'src/ghdldrv') 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; -- cgit v1.2.3