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/files_map.adb | 3 +++ src/ghdldrv/ghdlsynth.adb | 16 ++++++++++------ 2 files changed, 13 insertions(+), 6 deletions(-) diff --git a/src/files_map.adb b/src/files_map.adb index 1d9a5c7b8..4cb6d82bf 100644 --- a/src/files_map.adb +++ b/src/files_map.adb @@ -569,6 +569,9 @@ package body Files_Map is then return Language_Verilog; end if; + if Ext (E + 1 .. Ext'Last) = "psl" then + return Language_Psl; + end if; when others => return Language_Unknown; end case; 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